2009 |
10 | EE | Alexander Fuchs,
Amit Goel,
Jim Grundy,
Sava Krstic,
Cesare Tinelli:
Ground Interpolation for the Theory of Equality.
TACAS 2009: 413-427 |
9 | EE | Peter Baumgartner,
Alexander Fuchs,
Hans de Nivelle,
Cesare Tinelli:
Computing finite models by reduction to function-free clause logic.
J. Applied Logic 7(1): 58-74 (2009) |
2008 |
8 | EE | Peter Baumgartner,
Alexander Fuchs,
Cesare Tinelli:
(LIA) - Model Evolution with Linear Integer Arithmetic Constraints.
LPAR 2008: 258-273 |
2006 |
7 | EE | Peter Baumgartner,
Alexander Fuchs,
Cesare Tinelli:
Lemma Learning in the Model Evolution Calculus.
LPAR 2006: 572-586 |
6 | EE | Peter Baumgartner,
Alexander Fuchs,
Cesare Tinelli:
Implementing the Model Evolution Calculus.
International Journal on Artificial Intelligence Tools 15(1): 21-52 (2006) |
2005 |
5 | EE | Michel A. Audette,
Hervé Delingette,
Alexander Fuchs,
Oliver R. Astley,
Kiyoyuki Chinzei:
A Topologically Faithful, Tissue-Guided, Spatially Varying Meshing Strategy for Computing Patient-Specific Head Models for Endoscopic Pituitary Surgery Simulation.
CVBIA 2005: 178-188 |
2003 |
4 | | Michel A. Audette,
Hervé Delingette,
Alexander Fuchs,
Yoshihiko Koseki,
Kiyoyuki Chinzei:
A procedure for computing patient-specific anatomical models for finite element-based surgical simulation.
CARS 2003: 356-361 |
3 | EE | Michel A. Audette,
Alexander Fuchs,
Oliver R. Astley,
Yoshihiko Koseki,
Kiyoyuki Chinzei:
Towards Patient-Specific Anatomical Model Generation for Finite Element-Based Surgical Simulation.
IS4TH 2003: 340-352 |
2001 |
2 | EE | Alexander Fuchs:
Almost Regular Triangulations of Trimmend NURBS-Solids.
Eng. Comput. (Lond.) 17(1): 55-65 (2001) |
1998 |
1 | EE | Alexander Fuchs:
Automatic Grid Generation with Almost Regular Delaunay Tetrahedra.
IMR 1998: 133-147 |