Amine Chaieb

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Amine Chaieb
Formal Power Series. J. Autom. Reason. 47 (3) (2011)
Amine Chaieb, Tobias Nipkow
Proof Synthesis and Reflection for Linear Arithmetic. J. Autom. Reason. 41 (1) (2008)
Amine Chaieb
Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL. AISC/MKM/Calculemus (2008)
Amine Chaieb, Makarius Wenzel
Context Aware Calculation and Deduction. Calculemus/MKM (2007)
Amine Chaieb
Proof-Producing Program Analysis. ICTAC (2006)
Amine Chaieb
Verifying Mixed Real-Integer Quantifier Elimination. IJCAR (2006)
Amine Chaieb, Tobias Nipkow
Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic. LPAR (2005)
Martin Wildmoser, Amine Chaieb, Tobias Nipkow
Bytecode Analysis for Proof Carrying Code. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)