Scholar
Tomas Vojnar
Google Scholar ID: YbSGwKwAAAAJ
FI, Masaryk University & FIT, Brno University of Technology
static analysis
dynamic analysis and testing
formal verification
automata
logics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,351
H-index
20
i10-index
45
Publications
20
Co-authors
93
list available
Contact
Email
vojnar@fi.muni.cz
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Research Experience
Professor at the Department of Computer Systems and Communications, Faculty of Informatics, Masaryk University
Head of the Department of Computer Systems and Communications
Member of the Dean's College, Faculty of Informatics
Member of the Academic Board for Fundamentals of Computer Science
Member of the Scientific Council of the Faculty of Informatics
Co-authors
93 total
Lukas Holik
Brno University of Tehcnology
Peter Habermehl
Professor of Computer Science, IRIF, University Paris Cité
Ondřej Lengál
Brno University of Technology
Bohuslav Křena
Unknown affiliation
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
Radu Iosif
CNRS/VERIMAG
Milan Ceska
Brno University of Technology
Parosh Abdulla
Professor of Computer Science, Uppsala University
×
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