Anca Muscholl
Scholar

Anca Muscholl

Google Scholar ID: 79E_MpkAAAAJ
LaBRI, Univ. of Bordeaux
verificationconcurrent systemssynthesis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,878
 
H-index
34
 
i10-index
82
 
Publications
20
 
Co-authors
12
list available
Contact
No contact links provided.
Publications
1 items
On Parameterized Verification Over Tree Topologies
2026
Cited
0
Resume (English only)
Co-authors
12 total
Thomas Schwentick
Thomas Schwentick
Professor of Computer Science, TU Dortmund University
Igor Walukiewicz
Igor Walukiewicz
CNRS, LaBRI, Bordeaux University
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Gabriele Puppis
Gabriele Puppis
Dept. of Mathematics, Computer Science, and Physics
Helmut Seidl
Helmut Seidl
Professor für Informatik, School of CIT, TU München
Javier Esparza
Javier Esparza
Professor of Computer Science, Technical University of Munich
Hugo Gimbert
Hugo Gimbert
chargé de recherche au CNRS, LaBRI, Bordeaux