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
Contact
No contact links provided.
Publications
4 items
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
Resume (English only)
Co-authors
34 total
Co-author 1
Béatrice Bérard
professeur émérite d'informatique, Sorbonne Université
Co-author 3
Jerome Leroux
CNRS researcher, LaBRI, France
Co-author 5
Michael Blondin
Associate professor, Université de Sherbrooke
Sébastien Bardin
CEA, List, Université Paris-Saclay
Grégoire Sutre
Research Fellow, CNRS, University of Bordeaux
