| 2003 |
|---|
| 8 | EE | Abdelwaheb Ayari,
David A. Basin,
Felix Klaedtke:
Decision procedures for inductive Boolean functions based on alternating automata.
Theor. Comput. Sci. 300(1-3): 301-329 (2003) |
| 2002 |
|---|
| 7 | EE | Abdelwaheb Ayari,
David A. Basin:
QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers.
FMCAD 2002: 187-201 |
| 2001 |
|---|
| 6 | | Abdelwaheb Ayari,
David A. Basin:
A Higher-order Interpretation of Deductive Tableau.
J. Symb. Comput. 31(5): 487-520 (2001) |
| 2000 |
|---|
| 5 | | Abdelwaheb Ayari,
David A. Basin,
Felix Klaedtke:
Decision Procedures for Inductive Boolean Functions Based on Alternating Automata.
CAV 2000: 170-185 |
| 4 | | Abdelwaheb Ayari,
David A. Basin:
Bounded Model Construction for Monadic Second-Order Logics.
CAV 2000: 99-112 |
| 1999 |
|---|
| 3 | EE | Abdelwaheb Ayari,
David A. Basin,
Stefan Friedrich:
Structural and Behavioral Modeling with Monadic Logics.
ISMVL 1999: 142-151 |
| 1997 |
|---|
| 2 | | Abdelwaheb Ayari,
David A. Basin,
Andreas Podelski:
LISA: A Specification Language Based on WS2S.
CSL 1997: 18-34 |
| 1996 |
|---|
| 1 | | Abdelwaheb Ayari,
David A. Basin:
Generic System Support for Deductive Program Development.
TACAS 1996: 313-328 |
