Martin Brain

Martin Brain

City, University of London
Verified email at city.ac.uk
Cited by 1764
verification automated reasoning SAT/SMT floating-point
Predrag Janicic

Predrag Janicic

Full professor of Computer Science, Faculty of Mathematics, University of Belgrade
Verified email at matf.bg.ac.rs
Cited by 1567
Automated reasoning automated deduction in geometry SAT/SMT mathematical software
Fatih Turkmen

Fatih Turkmen

University of Groningen
Verified email at rug.nl
Cited by 777
Security Privacy Access Control Medical Informatics SAT/SMT
Ákos Hajdu

Ákos Hajdu

Meta / WhatsApp
Verified email at meta.com
Cited by 470
Formal methods static analysis automated reasoning SAT/SMT
Cristian Mattarei

Cristian Mattarei

Apple Inc.
Verified email at cs.stanford.edu
Cited by 461
Model-Based Safety Assessment Formal Verification Formal Modeling SAT/SMT
David Doose

David Doose

ONERA
Verified email at onera.fr
Cited by 363
real-time formal methods SAT/SMT Temporal Logic
Hao Wu 吴昊

Hao Wu 吴昊

Maynooth University
Verified email at cs.nuim.ie
Cited by 195
Formal Methods SAT/SMT Specification Programming Languages Model-Driven Engineering
Peter Backeman

Peter Backeman

Mälardalen University
Verified email at mdu.se
Cited by 88
Formal Modeling AI SAT/SMT Automated Theorem Proving