×
Edit Profile (opens in new tab)

Doligez, Damien

Co-Author Distance
Author ID: doligez.damien Recent zbMATH articles by "Doligez, Damien"
Published as: Doligez, Damien
Documents Indexed: 6 Publications since 2002
Co-Authors: 16 Co-Authors with 6 Joint Publications
170 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
2 Delahaye, David
2 Prevosto, Virgile
1 Bonichon, Richard
1 Brunel, Julien
1 Cousineau, Denis
1 Gilbert, Frédéric
1 Halmagrand, Pierre
1 Hansen, René Rydhof
1 Hardin, Thérèse
1 Hermant, Olivier
1 Lamport, Leslie
1 Lawall, Julia L.
1 Merz, Stephan
1 Muller, Gilles
1 Ricketts, Daniel
1 Vanzetto, Hernán

Serials

1 Journal of Automated Reasoning

Fields

6 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

4 Publications have been cited 29 times in 24 Documents Cited by ▼ Year ▼
Zenon: An extensible automated theorem prover producing checkable proofs. Zbl 1137.68572
Bonichon, Richard; Delahaye, David; Doligez, Damien
15
2007
Zenon modulo: when Achilles outruns the tortoise using deduction modulo. Zbl 1406.68105
Delahaye, David; Doligez, Damien; Gilbert, Frédéric; Halmagrand, Pierre; Hermant, Olivier
8
2013
TLA\(^{ + }\) proofs. Zbl 1372.68168
Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán
5
2012
Algorithms and proofs inheritance in the FOC language. Zbl 1064.68095
Prevosto, Virgile; Doligez, Damien
1
2002
Zenon modulo: when Achilles outruns the tortoise using deduction modulo. Zbl 1406.68105
Delahaye, David; Doligez, Damien; Gilbert, Frédéric; Halmagrand, Pierre; Hermant, Olivier
8
2013
TLA\(^{ + }\) proofs. Zbl 1372.68168
Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán
5
2012
Zenon: An extensible automated theorem prover producing checkable proofs. Zbl 1137.68572
Bonichon, Richard; Delahaye, David; Doligez, Damien
15
2007
Algorithms and proofs inheritance in the FOC language. Zbl 1064.68095
Prevosto, Virgile; Doligez, Damien
1
2002
all cited Publications top 5 cited Publications
all top 5

Cited by 46 Authors

3 Delahaye, David
3 Dubois, Catherine
2 Bury, Guillaume
2 Cauderlier, Raphaël
2 Halmagrand, Pierre
2 Hermant, Olivier
2 Sutcliffe, Geoff
1 Altisen, Karine
1 Berkani, Karim
1 Bezem, Marc
1 Bhayat, Ahmed
1 Brady, Edwin C.
1 Brown, Chad Edward
1 Burel, Guillaume
1 Carlier, Matthieu
1 Conchon, Sylvain
1 Corbineau, Pierre
1 Cristiá, Maximiliano
1 Defourné, Antoine
1 Devismes, Stéphane
1 Fu, Jun
1 Gallicchio, James
1 Gauthier, Thibault
1 Gilbert, Frédéric
1 Goel, Aman
1 Hendriks, Dimitri
1 Jacquel, Mélanie
1 Janičić, Predrag
1 Ji, Kailiang
1 Kaliszyk, Cezary
1 Konnov, Igor V.
1 Lescuyer, Stéphane
1 Mitsch, Stefan
1 Narboux, Julien
1 Platzer, André
1 Reger, Giles
1 Rioboo, Renaud
1 Rossi, Gianfranco
1 Sakallah, Karem A.
1 Slama, Franck
1 Tan, Hongyan
1 Tan, Yong Kiam
1 Tran, Thanh-Hai
1 Urban, Josef
1 Widder, Josef
1 Wu, Jinzhao

Cited in 5 Serials

6 Journal of Automated Reasoning
1 Theoretical Computer Science
1 Annals of Mathematics and Artificial Intelligence
1 Mathematical Problems in Engineering
1 Logical Methods in Computer Science

Cited in 3 Fields

22 Computer science (68-XX)
8 Mathematical logic and foundations (03-XX)
1 General algebraic systems (08-XX)

Citations by Year