Christine Paulin-Mohring (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Christine Paulin-Mohring" in English language version.

refsWebsite

Global rank English rank

5^th place

5^th place

low place

low place

2web.archive.org

1^st place

1^st place

1,185^th place

840^th place

70^th place

63^rd place

1mathgenealogy.org

4,501^st place

3,002^nd place

4,963^rd place

7,139^th place

1academie-sciences.fr

7,547^th place

low place

low place

low place

105^th place

79^th place

academie-sciences.fr

"Lauréats 2015 des prix thématiques" (in French). French Academy of Sciences. Retrieved 29 May 2019.

acm.org

awards.acm.org

"Christine Paulin-Mohring". awards.acm.org. Archived from the original on 28 November 2021. Retrieved 6 October 2020.

acm.org

"ACM Honors Computing Innovators Who Are Changing the World". www.acm.org. Retrieved 6 October 2020.

ae-info.org

"Christine Paulin-Mohring". Member profiles. Academia Europaea. Retrieved 8 October 2020.

amazon.com

Eduardo Gimenez, Christine Paulin-Mohring. Lecture Notes in Computer Science. Types for Proofs and Programs. Springer. ASIN B01K93CDG6.

loc.gov

id.loc.gov

Birth year from Library of Congress catalog entry. Retrieved 1 December 2018.

lri.fr

lri.fr

"introduction". Laboratoire de Recherche en Informatique. 8 July 2016. Retrieved 7 March 2023.
"Short biography". Laboratoire de Recherche en Informatique. Retrieved 11 May 2020.

digicosme.lri.fr

"Labex DigiCosme | Organisation-EN". DigiCosme - Paris-Saclay. Archived from the original on 19 August 2017. Retrieved 10 October 2018.

mathgenealogy.org

Christine Paulin-Mohring at the Mathematics Genealogy Project

unibo.it

jfr.unibo.it

"Editorial Team". Journal of Formalized Reasoning. Retrieved 10 October 2018.

web.archive.org

"Labex DigiCosme | Organisation-EN". DigiCosme - Paris-Saclay. Archived from the original on 19 August 2017. Retrieved 10 October 2018.
"Christine Paulin-Mohring". awards.acm.org. Archived from the original on 28 November 2021. Retrieved 6 October 2020.

worldcat.org

worldcat.org

Types for proofs and programs: international workshop, TYPES 2004, Jouy-en-Josas, France, 15–18 December 2004: revised selected papers. Filliâtre, Jean-Christophe., Paulin-Mohring, Christine, Werner, Benjamin. Berlin: Springer. 2006. ISBN 978-3-540-31429-5. OCLC 262692632.{{cite book}}: CS1 maint: others (link)
Blazy, Sandrine; Paulin-Mohring, Christine; Pichardie, David, eds. (22 July 2013). Interactive theorem proving: 4th International Conference, ITP 2013, Rennes, France, 22–26 July 2013. Proceedings. Berlin: Springer. ISBN 978-3-642-39634-2. OCLC 856650301.

search.worldcat.org

Types for proofs and programs: international workshop, TYPES 2004, Jouy-en-Josas, France, 15–18 December 2004: revised selected papers. Filliâtre, Jean-Christophe., Paulin-Mohring, Christine, Werner, Benjamin. Berlin: Springer. 2006. ISBN 978-3-540-31429-5. OCLC 262692632.{{cite book}}: CS1 maint: others (link)
Blazy, Sandrine; Paulin-Mohring, Christine; Pichardie, David, eds. (22 July 2013). Interactive theorem proving: 4th International Conference, ITP 2013, Rennes, France, 22–26 July 2013. Proceedings. Berlin: Springer. ISBN 978-3-642-39634-2. OCLC 856650301.