Amine Chaieb
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2005–2008
Best venue rank
Australasian
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | AISC | Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL. | Amine Chaieb |
| 2006 | CADE | Verifying Mixed Real-Integer Quantifier Elimination. | Amine Chaieb |
| 2006 | ICTAC | Proof-Producing Program Analysis. | Amine Chaieb |
| 2005 | LPAR | Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic. | Amine Chaieb, Tobias Nipkow |