Lassaad Cheikhrouhou

发表

Volker Sorge, Jörg H. Siekmann, Karsten Konrad, 1999 .

Gunter Laßmann, Lassaad Cheikhrouhou, Werner Stephan, 2006, SAFECOMP.

Lassaad Cheikhrouhou, J. Siekmann, Lassaad Cheikhrouhou, 1997, AIMSA.

Volker Sorge, Jörg H. Siekmann, Karsten Konrad, 1997, CADE.

A. Meier, V. Sorge, E. Melis, 1999, Formal Aspects of Computing.

Volker Sorge, Jörg H. Siekmann, Christoph Benzmüller, 2002, CADE.

Volker Sorge, Jörg H. Siekmann, Andreas Meier, 2002 .

Lassaad Cheikhrouhou, Lassaad Cheikhrouhou, 1998 .

Volker Sorge, Jörg H. Siekmann, Karsten Konrad, 1997 .

Marc Fischlin, Lassaad Cheikhrouhou, Werner Stephan, 2012, Sicherheit.

Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou, 1998, Annals of Mathematics and Artificial Intelligence.

A. Meier, K. Konrad, Martin Pollet, 1999, Formal Aspects of Computing.

A. Meier, K. Konrad, Martin Pollet, 1998 .