Amine Chaieb

According to our database, Amine Chaieb authored at least 9 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Formal Power Series.

Amine Chaieb

J. Autom. Reason., 2011

2008

Automated methods for formal proofs in simple arithmetics and algebra (Automatische Methoden für formale Beweise in einfachen Arithmetiken und Algebren)

Amine Chaieb

PhD thesis, 2008

Proof Synthesis and Reflection for Linear Arithmetic.

Amine Chaieb, Tobias Nipkow

J. Autom. Reason., 2008

Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL.

Amine Chaieb

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Context Aware Calculation and Deduction.

Amine Chaieb, Makarius Wenzel

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006

Proof-Producing Program Analysis.

Amine Chaieb

Proceedings of the Theoretical Aspects of Computing, 2006

Verifying Mixed Real-Integer Quantifier Elimination.

Amine Chaieb

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

Bytecode Analysis for Proof Carrying Code.

Martin Wildmoser, Amine Chaieb, Tobias Nipkow

Proceedings of the First Workshop on Bytecode Semantics, 2005

Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic.

Amine Chaieb, Tobias Nipkow

Proceedings of the Logic for Programming, 2005