Travelled to:1 × Denmark
1 × Germany
1 × USA
Collaborated with:D.A.Basin F.Klaedtke A.Podelski
Talks about:base (2) construct (1) procedur (1) function (1) automata (1) support (1) program (1) languag (1) generic (1) develop (1)
Person: Abdelwaheb Ayari
DBLP: Ayari:Abdelwaheb
Contributed to:
2000
1997
1996Wrote 4 papers:
- CAV-2000-AyariB #bound #higher-order #logic #monad
- Bounded Model Construction for Monadic Second-Order Logics (AA, DAB), pp. 99–112.
- CAV-2000-AyariBK #automaton #induction
- Decision Procedures for Inductive Boolean Functions Based on Alternating Automata (AA, DAB, FK), pp. 170–185.
- CSL-1997-AyariBP #named #specification
- LISA: A Specification Language Based on WS2S (AA, DAB, AP), pp. 18–34.
- TACAS-1996-AyariB #deduction #development
- Generic System Support for Deductive Program Development (AA, DAB), pp. 313–328.