Alexander Fuchs
Contact
PhD Student
Department of Computer Science
The University of Iowa
14 MacLean Hall
Iowa City, IA 52242, USA
Phone: (+1) (319) 335-1325
Fax: (+1) (319) 335-3624
Email: fuchs@cs.uiowa.edu
Office: 317 MLH
Research
My research interests currently include
automated reasoning, software verification,
formal methods (in software engineering),
and programming language foundations.
I am currently working in the research group of
Prof. Tinelli
with a focus on the theorem provers
Darwin
and
CVC3.
Professional Activities
Publications
-
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli.
MELIA - Model Evolution With Linear Integer Arithmetic Constraints
Submitted.
[ Abstract
| BibTeX
| Preprint (PDF)
| Slides (PDF)
]
-
Amit Goel, Sava Krstić, Alexander Fuchs.
Deciding Array Formulas with Frugal Axiom Instantiation
6th International Workshop on Satisfiability Modulo Theories (SMT), 2008.
[ Abstract
| BibTeX
| PDF
]
-
Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli.
Computing Finite Models by Reduction to Function-Free Clause Logic
Journal of Applied Logic (JAL), 2007.
[ Abstract
| BibTeX
| Preprint (PDF)
]
-
Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli.
Computing Finite Models by Reduction to Function-Free Clause Logic
Disproving Workshop at International Joint Conference on Automated Reasoning, 2006.
[ Abstract
| BibTeX
| PDF
| Slides (PDF)
]
-
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli.
Lemma Learning in the Model Evolution Calculus
Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2006.
[ Abstract
| BibTeX
| PDF
]
-
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli.
Implementing the Model Evolution Calculus
System description (version 1.1).
Special Issue of the International Journal of Artificial Intelligence Tools (IJAIT), 2005.
[ Abstract
| BibTeX
| Preprint (PDF)
]
-
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli.
Darwin - A Theorem Prover for the Model Evolution Calculus
System description (version ESFOR) at the IJCAR 2004 workshop
ESFOR (aka S4).
[ Abstract
| BibTeX
| PDF
| Slides (PDF)
]
Other Papers
-
Alexander Fuchs.
Finite Model Finding in First-Order Logic
PhD Comprehensive Exam, 2007.
| Abstract
| BibTeX
| PDF
| Slides (PDF)
]
-
Alexander Fuchs.
Instantiation Based First-Order Calculi
PhD Qualifying Exam, 2006.
An introduction of the Model Evolution Calculus,
the Disconnection Tableaux Calculus,
and the Inst-Gen Calculus.
| Abstract
| BibTeX
| PDF
| Slides (PDF)
]
-
Alexander Fuchs.
Darwin - A Theorem Prover for the Model Evolution Calculus
Master's thesis, 2004.
Extended system description and handbook (version 1.0).
[ Abstract
| BibTeX
| PDF
]
Education
I have a Diplom (comparable to M.S.) degree in computer science from the University of Koblenz-Landau in Germany,
and an M.S. in computer science from the University of Iowa,
see my curriculum vitae
(PDF,
HTML).
Alexander Fuchs
Last modified: Thu Apr 26 16:07:34 CDT 2007