Searching for authors named "Abdelwaheb Ayari" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Bounded Model Construction for Monadic Second-Order Logics
- …Bounded Model Construction for Monadic Second-Order Logics Abdelwaheb Ayari and David Basin…
- Cited by 19 (2 self) – Add To MetaCart
-
A Higher-Order Interpretation of Deductive Tableau
- … Abdelwaheb Ayari David Basin Institut fur Informatik, Albert-Ludwigs-Universitat Freiburg, Georges…
- Cited by 4 (1 self) – Add To MetaCart
-
Qubos: Deciding Quantified Boolean Logic using Propositional Satisfiability Solvers
- …Qubos: Deciding Quantified Boolean Logic using Propositional Satisfiability Solvers Abdelwaheb…
- Cited by 8 (0 self) – Add To MetaCart
-
Decision Procedures for Inductive Boolean Functions based on Alternating Automata
- …Decision Procedures for Inductive Boolean Functions based on Alternating Automata Abdelwaheb Ayari…
- Cited by 1 (1 self) – Add To MetaCart
-
Generic System Support for Deductive Program Development
- …Generic System Support for Deductive Program Development Abdelwaheb Ayari David A. Basin…
- Cited by 9 (5 self) – Add To MetaCart
-
Structural and Behavioral Modeling with Monadic Logics
- …Structural and Behavioral Modeling with Monadic Logics Abdelwaheb Ayari, David Basin and Stefan…
- Cited by 7 (2 self) – Add To MetaCart
-
LISA: A Specification Language Based on WS2S
- …LISA : A Specification Language Based on WS2S Abdelwaheb Ayari 1 , David Basin 1 , and Andreas…
- Cited by 9 (1 self) – Add To MetaCart
-
Decision Procedures For Inductive Boolean . . .
- … procedures for inductive Boolean functions based on alternating automata Abdelwaheb Ayari, David Basin, Felix…
- Add To MetaCart
Showing 1 through 8.
