Alexander Fuchs

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Feature Selection

Top Venues

Log. Methods Comput. Sci.

Publications

Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
Ground interpolation for the theory of equality Log. Methods Comput. Sci. 8 (1) (2012)
Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli
Computing finite models by reduction to function-free clause logic. J. Appl. Log. 7 (1) (2009)
Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
Ground Interpolation for the Theory of Equality. TACAS (2009)
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
(LIA) - Model Evolution with Linear Integer Arithmetic Constraints. LPAR (2008)
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
Implementing the Model Evolution Calculus. Int. J. Artif. Intell. Tools 15 (1) (2006)
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
Lemma Learning in the Model Evolution Calculus. LPAR (2006)