Edit Profile (opens in new tab) Paulin-Mohring, Christine Compute Distance To: Compute Author ID: paulin-mohring.christine Published as: Paulin-Mohring, Christine; Paulin-Mohring, C. External Links: MGP · Wikidata · GND · IdRef · theses.fr Documents Indexed: 13 Publications since 1993 5 Contributions as Editor Co-Authors: 12 Co-Authors with 11 Joint Publications 151 Co-Co-Authors all top 5 Co-Authors 5 single-authored 4 Audebaud, Philippe 2 Marché, Claude 2 Werner, Benjamin 1 Andronick, June 1 Baelde, David 1 Blazy, Sandrine 1 Chetali, Boutheina 1 Courtieu, Pierre 1 Filliâtre, Jean-Christophe 1 Gross-Amblard, David 1 Pichardie, David 1 Urbain, Xavier Serials 4 Lecture Notes in Computer Science 2 Science of Computer Programming 1 Journal of Symbolic Computation 1 The Journal of Logic and Algebraic Programming Fields 17 Computer science (68-XX) 5 General and overarching topics; collections (00-XX) 3 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications 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.68073Paulin-Mohring, Christine 47 1993 Proofs of randomized algorithms in Coq. Zbl 1178.68667Audebaud, Philippe; Paulin-Mohring, Christine 19 2009 The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML. Zbl 1073.68678Marché, C.; Paulin-Mohring, C.; Urbain, X. 18 2004 Proofs of randomized algorithms in Coq. Zbl 1235.68325Audebaud, Philippe; Paulin-Mohring, Christine 8 2006 Synthesis of ML programs in the system Coq. Zbl 0804.68132Paulin-Mohring, Christine; Werner, Benjamin 6 1993 Reasoning about Java programs with aliasing and frame conditions. Zbl 1152.68524Marché, Claude; Paulin-Mohring, Christine 4 2005 Modelisation of timed automata in Coq. Zbl 1087.68575Paulin-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.68439Paulin-Mohring, Christine 3 1996 Introduction to the calculus of inductive constructions. Zbl 1431.03026Paulin-Mohring, Christine 2 2015 A constructive denotational semantics for Kahn networks in Coq. Zbl 1195.68063Paulin-Mohring, Christine 1 2009 Introduction to the calculus of inductive constructions. Zbl 1431.03026Paulin-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.68667Audebaud, Philippe; Paulin-Mohring, Christine 19 2009 A constructive denotational semantics for Kahn networks in Coq. Zbl 1195.68063Paulin-Mohring, Christine 1 2009 Proofs of randomized algorithms in Coq. Zbl 1235.68325Audebaud, Philippe; Paulin-Mohring, Christine 8 2006 Reasoning about Java programs with aliasing and frame conditions. Zbl 1152.68524Marché, Claude; Paulin-Mohring, Christine 4 2005 The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML. Zbl 1073.68678Marché, C.; Paulin-Mohring, C.; Urbain, X. 18 2004 Modelisation of timed automata in Coq. Zbl 1087.68575Paulin-Mohring, Christine 4 2001 Circuits as streams in Coq: verification of a sequential multiplier. Zbl 1407.68439Paulin-Mohring, Christine 3 1996 Inductive definitions in the system Coq; rules and properties. Zbl 0844.68073Paulin-Mohring, Christine 47 1993 Synthesis of ML programs in the system Coq. Zbl 0804.68132Paulin-Mohring, Christine; Werner, Benjamin 6 1993 all cited Publications top 5 cited Publications 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 all top 5 Cited in 25 Serials 12 Journal of Automated Reasoning 9 Theoretical Computer Science 7 Formal Aspects of Computing 4 Information and Computation 3 Annals of Pure and Applied Logic 3 MSCS. Mathematical Structures in Computer Science 3 Journal of Functional Programming 3 Logical Methods in Computer Science 2 Science of Computer Programming 2 The Journal of Logic and Algebraic Programming 1 Acta Informatica 1 The Journal of Symbolic Logic 1 Studia Logica 1 Journal of Symbolic Computation 1 Journal of Cryptology 1 Computational Geometry 1 International Journal of Computer Mathematics 1 Pattern Recognition 1 Theory and Applications of Categories 1 Journal of the European Mathematical Society (JEMS) 1 Journal of Applied Mathematics 1 Journal of Applied Logic 1 RAIRO. Theoretical Informatics and Applications 1 Frontiers of Computer Science in China 1 Computer Science Review all top 5 Cited in 11 Fields 95 Computer science (68-XX) 35 Mathematical logic and foundations (03-XX) 6 Information and communication theory, circuits (94-XX) 4 Category theory; homological algebra (18-XX) 2 Algebraic topology (55-XX) 2 Numerical analysis (65-XX) 2 Quantum theory (81-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.