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
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
12 total
Co-author 1
Igor Walukiewicz
CNRS, LaBRI, Bordeaux University
Co-author 3
Co-author 4
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
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up