Search the dblp DataBase

Publications of Author

1. Lassaad Cheikhrouhou, Jörg H. Siekmann
   Planning Diagonalization Proofs. [Citation Graph (0, 0)][DBLP]
   AIMSA, 1998, pp:167-180 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   CADE, 1997, pp:252-255 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   CADE, 2002, pp:144-149 [Conf]
   
4. Lassaad Cheikhrouhou
   Planning Diagonalization Proofs. [Citation Graph (0, 0)][DBLP]
   KI, 1997, pp:377-380 [Conf]
   
5. Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann
   Verifying a Chipcard-Based Biometric Identification Protocol in VSE. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2006, pp:42-56 [Conf]
   
6. Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou
   Adaptation of Declaratively Represented Methods in Proof Planning. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1998, v:23, n:3-4, pp:299-320 [Journal]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1999, v:11, n:3, pp:326-342 [Journal]
   
8. 
   Automating Interactive Protocol Verification. [Citation Graph (, )][DBLP]