Mathieu Sassolas
Active 2010–2025
- 18
- Papers
- 177
- Citations
- 7
- h-index
- 7
- 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 Science87.2%
- Decision Sciences12.8%
Topics
- Formal Methods in Verification28.3%
- Logic, programming, and type systems9.5%
- Petri Nets in System Modeling8.8%
- Game Theory and Applications7.1%
- Advanced Software Engineering Methodologies5.7%
- Distributed systems and fault tolerance5.7%
- Other35%
Frequent coauthors
- Béatrice Bérard10
- John Mullins5
- Serge Haddad5
- Jean-François Raskin3
- Olga Kouchnarenko3
- Claudine Picaronny2
- Lynda Mokdad2
- Mohab Safey El Din2
- Romain Brenguier2
- Christèle Faure1
- Didier Lime1
- El Habib Boudjema1
- Gilles Benattar1
- Guillaume Scerri1
- Guillermo A. Pérez1
- Lorenzo Clemente1
- Léonard Brice1
- Marie van den Bogaard1
- Marsha Chechik1
- Mickael Randour1
- Nathalie Sznajder1
- Ocan Sankur1
- Olivier H. Roux1
- Paul Hunter 00011
All papers
Loading papers…
