Scholar
Eugene Asarin
Google Scholar ID: yrkhA5kAAAAJ
professeur d'informatique, IRIF, Université Paris Cité
Timed Systems
Cyber-Physical Systems
Verification
Entropy
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
6,254
H-index
35
i10-index
62
Publications
20
Co-authors
15
list available
Publications
2 items
Weighing Timed Regular Languages: The Final Step (long version)
2026
Cited
0
Weighing Obese Timed Languages
2025
Cited
0
Co-authors
8 total
Thao Dang
CNRS Research Director, Laboratory VERIMAG, Grenoble, France
Sergio Yovine
Universidad ORT Uruguay
Antoine Girard
Senior Researcher, L2S, CNRS
Catalin Dima
Professor of Computer Science, Université Paris-Est Créteil, France
Dejan Nickovic
Austrian Institute of Technology
Dogan Ulus
Bogazici University
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
Joseph Sifakis
Reseracher at Verimag laboratory, Grenoble
