2008 |
8 | EE | Lassaad Cheikhrouhou,
Andreas Nonnengart,
Werner Stephan,
Frank Koob,
Georg Rock:
Automating Interactive Protocol Verification.
KI 2008: 30-37 |
2006 |
7 | EE | Lassaad Cheikhrouhou,
Georg Rock,
Werner Stephan,
Matthias Schwan,
Gunter Lassmann:
Verifying a Chipcard-Based Biometric Identification Protocol in VSE.
SAFECOMP 2006: 42-56 |
2002 |
6 | EE | Jörg H. Siekmann,
Christoph Benzmüller,
Vladimir Brezhnev,
Lassaad Cheikhrouhou,
Armin Fiedler,
Andreas Franke,
Helmut Horacek,
Michael Kohlhase,
Andreas Meier,
Erica Melis,
Markus Moschner,
Immanuel Normann,
Martin Pollet,
Volker Sorge,
Carsten Ullrich,
Claus-Peter Wirth,
Jürgen Zimmer:
Proof Development with OMEGA.
CADE 2002: 144-149 |
1999 |
5 | EE | Jörg H. Siekmann,
Stephan M. Hess,
Christoph Benzmüller,
Lassaad Cheikhrouhou,
Armin Fiedler,
Helmut Horacek,
Michael Kohlhase,
Karsten Konrad,
Andreas Meier,
Erica Melis,
Martin Pollet,
Volker Sorge:
L<Omega>UI: Lovely <Omega>MEGA User Interface.
Formal Asp. Comput. 11(3): 326-342 (1999) |
1998 |
4 | EE | Lassaad Cheikhrouhou,
Jörg H. Siekmann:
Planning Diagonalization Proofs.
AIMSA 1998: 167-180 |
3 | | Xiaorong Huang,
Manfred Kerber,
Lassaad Cheikhrouhou:
Adaptation of Declaratively Represented Methods in Proof Planning.
Ann. Math. Artif. Intell. 23(3-4): 299-320 (1998) |
1997 |
2 | | Christoph Benzmüller,
Lassaad Cheikhrouhou,
Detlef Fehrer,
Armin Fiedler,
Xiaorong Huang,
Manfred Kerber,
Michael Kohlhase,
Karsten Konrad,
Andreas Meier,
Erica Melis,
Wolf Schaarschmidt,
Jörg H. Siekmann,
Volker Sorge:
Omega: Towards a Mathematical Assistant.
CADE 1997: 252-255 |
1 | | Lassaad Cheikhrouhou:
Planning Diagonalization Proofs.
KI 1997: 377-380 |