Scholar
Anca Muscholl
Google Scholar ID: 79E_MpkAAAAJ
LaBRI, Univ. of Bordeaux
verification
concurrent systems
synthesis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,878
H-index
34
i10-index
82
Publications
20
Co-authors
12
list available
Publications
1 items
On Parameterized Verification Over Tree Topologies
2026
Cited
0
Co-authors
9 total
Thomas Schwentick
Professor of Computer Science, TU Dortmund University
Igor Walukiewicz
CNRS, LaBRI, Bordeaux University
Gabriele Puppis
Dept. of Mathematics, Computer Science, and Physics
Helmut Seidl
Professor für Informatik, School of CIT, TU München
Javier Esparza
Professor of Computer Science, Technical University of Munich
Hugo Gimbert
chargé de recherche au CNRS, LaBRI, Bordeaux
Jerome Leroux
CNRS researcher, LaBRI, France
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
