dblp.uni-trier.dewww.uni-trier.de

Lassaad Cheikhrouhou

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EELassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock: Automating Interactive Protocol Verification. KI 2008: 30-37
2006
7EELassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann: Verifying a Chipcard-Based Biometric Identification Protocol in VSE. SAFECOMP 2006: 42-56
2002
6EEJö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
5EEJö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
4EELassaad 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

Coauthor Index

1Christoph Benzmüller (Christoph Benzmueller) [2] [5] [6]
2Vladimir Brezhnev [6]
3Detlef Fehrer [2]
4Armin Fiedler [2] [5] [6]
5Andreas Franke [6]
6Stephan M. Hess [5]
7Helmut Horacek [5] [6]
8Xiaorong Huang [2] [3]
9Manfred Kerber [2] [3]
10Michael Kohlhase [2] [5] [6]
11Karsten Konrad [2] [5]
12Frank Koob [8]
13Gunter Laßmann (Gunter Lassmann) [7]
14Andreas Meier [2] [5] [6]
15Erica Melis [2] [5] [6]
16Markus Moschner [6]
17Andreas Nonnengart [8]
18Immanuel Normann [6]
19Martin Pollet [5] [6]
20Georg Rock [7] [8]
21Wolf Schaarschmidt [2]
22Matthias Schwan [7]
23Jörg H. Siekmann [2] [4] [5] [6]
24Volker Sorge [2] [5] [6]
25Werner Stephan [7] [8]
26Carsten Ullrich [6]
27Claus-Peter Wirth [6]
28Jürgen Zimmer [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)