Laurence Rideau

19 papers B 2Misc 1Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
ACM Trans. Math. Softw.
Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau
2022 J jnl
ACM Trans. Math. Softw.
Jean-Michel Muller, Laurence Rideau
2018 J jnl
J. Autom. Reason.
Yves Bertot, Laurence Rideau, Laurent Théry
2017 J jnl
CoRR
Yves Bertot, Laurence Rideau, Laurent Théry
2016 B conf
CPP
Sophie Bernard, Yves Bertot, Laurence Rideau, Pierre-Yves Strub
2015 J jnl
CoRR
Sophie Bernard, Yves Bertot, Laurence Rideau, Pierre-Yves Strub
2013 B conf
ITP
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
2013 Misc conf
SYNASC
Érik Martin-Dorel, Laurence Rideau, Laurent Théry, Micaela Mayero, Ioana Pasca
2012 conf
NASA Formal Methods
Nicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry
2011 conf
Calculemus/MKM
Jónathan Heras, María Poza, Maxime Dénès, Laurence Rideau
2010 ed.
AISC/MKM/Calculemus
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
2009 conf
TPHOLs
François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau
2008 J jnl
J. Autom. Reason.
Laurence Rideau, Bernard P. Serpette, Xavier Leroy
2007 conf
TPHOLs
Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry
2003 conf
UITP@TPHOLs
Philippe Audebaud, Laurence Rideau
2002 J jnl
ARIMA J.
Hanane Naciri, Laurence Rideau
2001 conf
TPHOLs
Marc Daumas, Laurence Rideau, Laurent Théry
1999 J jnl
SIGSAM Bull.
Yves Bertot, Laurence Rideau, Loïc Pottier, Laurent Thiry
1994 conf
CODES
Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, Patrice Quinton, Laurence Rideau, Frédéric Rousseau, Olivier Sentieys