×
Edit Profile (opens in new tab)

Cheikhrouhou, Lassaad

Co-Author Distance
Author ID: cheikhrouhou.lassaad Recent zbMATH articles by "Cheikhrouhou, Lassaad"
Published as: Cheikhrouhou, Lassaad
Documents Indexed: 4 Publications since 1997
Co-Authors: 21 Co-Authors with 4 Joint Publications
261 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
3 Siekmann, Jörg H.
2 Benzmüller, Christoph Ewald
2 Fiedler, Armin
2 Huang, Xiaorong
2 Kerber, Manfred
2 Kohlhase, Michael
2 Meier, Andreas
2 Melis, Erica
2 Sorge, Volker
1 Brezhnev, Vladimir
1 Fehrer, Detlef
1 Franke, Andreas
1 Horacek, Helmut
1 Konrad, Karsten
1 Moschner, Markus
1 Normann, Immanuel
1 Pollet, Martin
1 Schaarschmidt, Wolf
1 Ullrich, Carsten A.
1 Wirth, Claus-Peter
1 Zimmer, Jürgen

Serials

1 Annals of Mathematics and Artificial Intelligence

Fields

4 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

3 Publications have been cited 20 times in 18 Documents Cited by ▼ Year ▼
\(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker
10
1997
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen
7
2002
Planning diagonalization proofs. Zbl 0929.03020
Cheikhrouhou, Lassaad; Siekmann, Jörg
3
1998
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen
7
2002
Planning diagonalization proofs. Zbl 0929.03020
Cheikhrouhou, Lassaad; Siekmann, Jörg
3
1998
\(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker
10
1997
all cited Publications top 5 cited Publications
all top 5

Cited by 34 Authors

2 Kaliszyk, Cezary
2 Melis, Erica
2 Siekmann, Jörg H.
1 Andrews, Peter B.
1 Autexier, Serge
1 Barsotti, Damián
1 Benzmüller, Christoph Ewald
1 Bradley, Elizabeth
1 Brauburger, Jürgen
1 Brown, Chad Edward
1 de Nivelle, Hans
1 Delahaye, David
1 Fehrer, Detlef
1 Franke, Andreas
1 Gast, Holger
1 Gauthier, Thibault
1 Hogan, Apollo
1 Horacek, Helmut
1 Kohlhase, Michael
1 Kolbe, Thomas H.
1 Kumar, Ramana
1 Lyaletski, Alexander V.
1 Mayero, Micaela
1 Nieto, Leonor Prensa
1 Norrish, Michael
1 Paskevich, Andrei
1 Stolle, Reinhard
1 Sutcliffe, Geoff
1 Tiu, Alwen Fernanto
1 Urban, Josef
1 Verchinine, Konstantin
1 Wirth, Claus-Peter
1 Zimmer, Jürgen
1 Zinn, Claus
all top 5

Cited in 8 Serials

4 Journal of Applied Logic
3 Journal of Symbolic Computation
3 Journal of Automated Reasoning
1 Artificial Intelligence
1 Information Sciences
1 Information and Computation
1 Formal Aspects of Computing
1 The Journal of Logic and Algebraic Programming

Cited in 2 Fields

17 Computer science (68-XX)
5 Mathematical logic and foundations (03-XX)

Citations by Year