Scholar
Alain Finkel
Google Scholar ID: jq7H21IAAAAJ
LMF ENS Paris Saclay
model checking
foundations of algorithmic verification
theoretical computer
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
7,377
H-index
36
i10-index
89
Publications
20
Co-authors
34
list available
Publications
5 items
Quantitative coverability for probabilistic well-structured transition systems
2026
Cited
0
Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic
2026
Cited
0
Formalizing Style in Personal Narratives
2025
Cited
0
An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
2025
Cited
0
Soundness of reset workflow nets
Logic in Computer Science · 2024
Cited
0
Co-authors
11 total
Béatrice Bérard
professeur émérite d'informatique, Sorbonne Université
Jerome Leroux
CNRS researcher, LaBRI, France
Michael Blondin
Associate professor, Université de Sherbrooke
Sébastien Bardin
CEA, List, Université Paris-Saclay
Grégoire Sutre
Research Fellow, CNRS, University of Bordeaux
Javier Esparza
Professor of Computer Science, Technical University of Munich
Jean Goubault-Larrecq
Unknown affiliation
Christoph Haase
University of Oxford
