Géraud Canet
Active 2000–2011
- 6
- Papers
- 240
- Citations
- 5
- h-index
- 3
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science88.1%
- Engineering9.9%
- Arts and Humanities0.7%
- Business, Management and Accounting0.7%
- Social Sciences0.7%
Topics
- Formal Methods in Verification21.8%
- Software Testing and Debugging Techniques13.6%
- Petri Nets in System Modeling10.8%
- Software Reliability and Analysis Research8.5%
- Security and Verification in Computing7.1%
- Software Engineering Research4.8%
- Other33.4%
Frequent coauthors
- Benjamin Monate3
- Loïc Correnson3
- Pascal Cuoq3
- Richard Bonichon3
- Armand Puccetti2
- Julien Signoles2
- Patrick Baudin2
- Virgile Prevosto2
- Antoine Petit 00011
- Dmitri Voitsekhovitch1
- Emmanuel Haucourt1
- Eric Goubault1
- Gaël de Chalendar1
- Gérard Dupont1
- Jean-Jacques Lesage1
- Khaled Khelif1
- Michel Hirschowitz1
- Philippe Schnoebelen1
- Samuel Mimram1
- Sandrine Couffin1
- Stéphan Brunessaux1
- Sébastien Labbé 00021
All papers
Loading papers…
