The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lassaad Cheikhrouhou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002