×

Paulin-Mohring, Christine

Compute Distance To:
Author ID: paulin-mohring.christine Recent zbMATH articles by "Paulin-Mohring, Christine"
Published as: Paulin-Mohring, Christine; Paulin-Mohring, C.
External Links: MGP · Wikidata · GND · IdRef · theses.fr

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 116 times in 108 Documents Cited by Year
Inductive definitions in the system Coq; rules and properties. Zbl 0844.68073
Paulin-Mohring, Christine
47
1993
Proofs of randomized algorithms in Coq. Zbl 1178.68667
Audebaud, Philippe; Paulin-Mohring, Christine
19
2009
The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML. Zbl 1073.68678
Marché, C.; Paulin-Mohring, C.; Urbain, X.
18
2004
Proofs of randomized algorithms in Coq. Zbl 1235.68325
Audebaud, Philippe; Paulin-Mohring, Christine
8
2006
Synthesis of ML programs in the system Coq. Zbl 0804.68132
Paulin-Mohring, Christine; Werner, Benjamin
6
1993
Reasoning about Java programs with aliasing and frame conditions. Zbl 1152.68524
Marché, Claude; Paulin-Mohring, Christine
4
2005
Modelisation of timed automata in Coq. Zbl 1087.68575
Paulin-Mohring, Christine
4
2001
Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Zbl 1268.68006
4
2013
Circuits as streams in Coq: verification of a sequential multiplier. Zbl 1407.68439
Paulin-Mohring, Christine
3
1996
Introduction to the calculus of inductive constructions. Zbl 1431.03026
Paulin-Mohring, Christine
2
2015
A constructive denotational semantics for Kahn networks in Coq. Zbl 1195.68063
Paulin-Mohring, Christine
1
2009
Introduction to the calculus of inductive constructions. Zbl 1431.03026
Paulin-Mohring, Christine
2
2015
Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Zbl 1268.68006
4
2013
Proofs of randomized algorithms in Coq. Zbl 1178.68667
Audebaud, Philippe; Paulin-Mohring, Christine
19
2009
A constructive denotational semantics for Kahn networks in Coq. Zbl 1195.68063
Paulin-Mohring, Christine
1
2009
Proofs of randomized algorithms in Coq. Zbl 1235.68325
Audebaud, Philippe; Paulin-Mohring, Christine
8
2006
Reasoning about Java programs with aliasing and frame conditions. Zbl 1152.68524
Marché, Claude; Paulin-Mohring, Christine
4
2005
The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML. Zbl 1073.68678
Marché, C.; Paulin-Mohring, C.; Urbain, X.
18
2004
Modelisation of timed automata in Coq. Zbl 1087.68575
Paulin-Mohring, Christine
4
2001
Circuits as streams in Coq: verification of a sequential multiplier. Zbl 1407.68439
Paulin-Mohring, Christine
3
1996
Inductive definitions in the system Coq; rules and properties. Zbl 0844.68073
Paulin-Mohring, Christine
47
1993
Synthesis of ML programs in the system Coq. Zbl 0804.68132
Paulin-Mohring, Christine; Werner, Benjamin
6
1993
all top 5

Cited by 198 Authors

5 Barthe, Gilles
5 Miculan, Marino
4 Dufourd, Jean-François
4 Dybjer, Peter
3 Hasan, Osman
3 Jacobs, Bart
3 Lochbihler, Andreas
3 Tahar, Sofiène
3 Wolff, Burkhart
2 Berger, Ulrich
2 Bertot, Yves
2 Brucker, Achim D.
2 Corbineau, Pierre
2 da Costa, Umberto Souza
2 Frade, Maria João
2 Grégoire, Benjamin
2 Hölzl, Johannes
2 Honsell, Furio
2 Lakhnech, Yassine
2 Liquori, Luigi
2 Luo, Zhaohui
2 Martins Moreira, Anamaria
2 Momigliano, Alberto
2 Musicante, Martin A.
2 Paulin-Mohring, Christine
2 Pinto, Jorge Sousa
2 Scagnetto, Ivan
2 Schürmann, Carsten
2 Setzer, Anton
2 Souza Neto, Plácido A.
2 Terrasse, Delphine
2 Werner, Benjamin
1 Abbasi, Rosa
1 Abel, Andreas M.
1 Abid, Mohamed Amine
1 Adams, Robin
1 Affeldt, Reynald
1 Ahrendt, Wolfgang
1 Altenkirch, Thorsten
1 Alves, Sandra
1 Aransay, Jesús
1 Aspinall, David
1 Audebaud, Philippe
1 Balabonski, Thibaut
1 Barras, Bruno
1 Basin, David A.
1 Beckert, Bernhard
1 Bengtson, Jesper
1 Benton, Nick
1 Berghofer, Stefan
1 Beringer, Lennart
1 Bezem, Marc
1 Bidlingmaier, Martin E.
1 Boender, Jaap P.
1 Bol, Roland N.
1 Bordg, Anthony
1 Botta, Nicola
1 Boulanger, Frédéric
1 Brede, Nuria
1 Bundy, Alan
1 Chalin, Patrice
1 Chandy, Kanianthra Mani
1 Chemouil, David
1 Choppy, Christine
1 Ciaffaglione, Alberto
1 Cockx, Jesper
1 Coquand, Thierry
1 Cornes, Cristina
1 Cruz-Filipe, Luís
1 Czajka, Łukasz
1 Dal Lago, Ugo
1 D’Argenio, Pedro Rubén
1 Darulova, Eva
1 de Boer, Frank S.
1 Dehlinger, Christophe
1 Dennis, Louise Abigail
1 Despeyroux, Joëlle
1 Devriese, Dominique
1 Doczkal, Christian
1 Dowek, Gilles
1 Duclos, Mathilde
1 Eberl, Manuel
1 Elleuch, Maissa
1 Faissole, Florian
1 Felty, Amy P.
1 Fernández, Maribel
1 Fischer, Charles N.
1 Florido, Mário
1 Fontaine, Allyx
1 Forster, Yannick
1 Furber, Robert W. J.
1 Gedell, Tobias
1 Geuvers, Jan Herman
1 Gladisch, Christoph D.
1 Green, Ian
1 Groote, Jan Friso
1 Hagemeier, Christian
1 Hagiwara, Manabu
1 Hähnle, Reiner
1 Haslbeck, Max W.
...and 98 more Authors

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.