Alain Finkel
Scholar

Alain Finkel

Google Scholar ID: jq7H21IAAAAJ
LMF ENS Paris Saclay
model checkingfoundations of algorithmic verificationtheoretical computer
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,435
 
H-index
20
 
i10-index
40
 
Publications
20
 
Co-authors
34
list available
Contact
Emailcontact@lmf.frLinkedInOpen ↗
Publications
3 items
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
Co-author 1
Béatrice Bérard
Béatrice Bérard
professeur émérite d'informatique, Sorbonne Université
Co-author 3
Co-author 3
Jerome Leroux
Jerome Leroux
CNRS researcher, LaBRI, France
Co-author 5
Co-author 5
Michael Blondin
Michael Blondin
Associate professor, Université de Sherbrooke
Sébastien Bardin
Sébastien Bardin
CEA, List, Université Paris-Saclay
Co-author 8
Co-author 8