Paul Gastin
Scholar

Paul Gastin

Google Scholar ID: LJNfnhgAAAAJ
Professor, LMF, ENS Paris-Saclay
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
4,362
 
H-index
30
 
i10-index
79
 
Publications
20
 
Co-authors
13
list available
Contact
No contact links provided.
Publications
2 items
Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
2025
Cited
0
High-Level Message Sequence Charts: Satisfiability and Realizability Revisited
2025
Cited
0
Resume (English only)
Co-authors
13 total
Co-author 1
Co-author 1
Benedikt Bollig
Benedikt Bollig
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
Manfred Droste
Manfred Droste
Professor, Institut für Informatik, Universität Leipzig
Co-author 4
Co-author 4
S Akshay
S Akshay
IIT Bombay
Benjamin Monmege
Benjamin Monmege
Assistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et Systèmes
Béatrice Bérard
Béatrice Bérard
professeur émérite d'informatique, Sorbonne Université
B Srivathsan
B Srivathsan
Chennai Mathematical Institute, Associate Professor of Computer Science