| |
| 2008 | ||
|---|---|---|
| 7 | EE | Amine Chaieb: Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL. AISC/MKM/Calculemus 2008: 246-260 |
| 6 | EE | Amine Chaieb, Tobias Nipkow: Proof Synthesis and Reflection for Linear Arithmetic. J. Autom. Reasoning 41(1): 33-59 (2008) |
| 2007 | ||
| 5 | EE | Amine Chaieb, Makarius Wenzel: Context Aware Calculation and Deduction. Calculemus/MKM 2007: 27-39 |
| 2006 | ||
| 4 | EE | Amine Chaieb: Proof-Producing Program Analysis. ICTAC 2006: 287-301 |
| 3 | EE | Amine Chaieb: Verifying Mixed Real-Integer Quantifier Elimination. IJCAR 2006: 528-540 |
| 2005 | ||
| 2 | EE | Amine Chaieb, Tobias Nipkow: Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic. LPAR 2005: 367-380 |
| 1 | EE | Martin Wildmoser, Amine Chaieb, Tobias Nipkow: Bytecode Analysis for Proof Carrying Code. Electr. Notes Theor. Comput. Sci. 141(1): 19-34 (2005) |
| 1 | Tobias Nipkow | [1] [2] [6] |
| 2 | Markus Wenzel (Makarius Wenzel) | [5] |
| 3 | Martin Wildmoser | [1] |