Lassaad Cheikhrouhou

	2012
9		Lassaad Cheikhrouhou, Werner Stephan, Özgür Dagdelen, Marc Fischlin, Markus Ullmann: Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE. Sicherheit 2012: 83-94
	2008
8		Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock: Automating Interactive Protocol Verification. KI 2008: 30-37
	2006
7		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		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		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		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

Coauthor Index

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

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page