Pierre-Olivier Ribet
According to our database1,
Pierre-Olivier Ribet
authored at least 5 papers
between 2002 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2002
2004
2006
2008
2010
2012
2014
2016
2018
2020
0
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the ISPD 2020: International Symposium on Physical Design, Taipei, Taiwan, March 29, 2020
2015
Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015
2005
Vérification formelle de systèmes. Contribution à la réduction de l'explosion combinatoire.
PhD thesis, 2005
2003
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
2002
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002