Abdelwaheb Ayari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1996–2002
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | FMCAD | QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers. | Abdelwaheb Ayari, David A. Basin |
| 2000 | CAV | Bounded Model Construction for Monadic Second-Order Logics. | Abdelwaheb Ayari, David A. Basin |
| 2000 | CAV | Decision Procedures for Inductive Boolean Functions Based on Alternating Automata. | Abdelwaheb Ayari, David A. Basin, Felix Klaedtke |
| 1997 | CSL | LISA: A Specification Language Based on WS2S. | Abdelwaheb Ayari, David A. Basin, Andreas Podelski |
| 1996 | TACAS | Generic System Support for Deductive Program Development. | Abdelwaheb Ayari, David A. Basin |