Sophie Pinchinat
Author
Alternate names Sophie Pinchinat, S. Pinchinat
Institution Université de Rennes
Past institutions Université de Rennes, Institut de Recherche en Informatique et Systèmes Aléatoires, École Normale Supérieure de Rennes, Centre National de la Recherche Scientifique, Institut national de recherche en informatique et en automatique +5 more
H-index: 17
I10-index: 32
Works count: 129
Citations count: 984
Supervision Patterns in Discrete Event Systems Diagnosis
2006 · Thierry Jéron, Hervé Marchand, et al.
Beyond 2014
2019 · Wojciech Wideł, Maxime Audinot, et al. · ACM Computing Surveys
Quantified Mu-Calculus for Control Synthesis
2003 · Stéphane Riedweg, Sophie Pinchinat · Lecture notes in computer science