Martin Brain

Martin Brain

City, University of London
在 city.ac.uk 的电子邮件经过验证
被引用次数：1759
verification automated reasoning SAT/SMT floating-point
Predrag Janicic

Predrag Janicic

Full professor of Computer Science, Faculty of Mathematics, University of Belgrade
在 matf.bg.ac.rs 的电子邮件经过验证
被引用次数：1565
Automated reasoning automated deduction in geometry SAT/SMT mathematical software
Fatih Turkmen

Fatih Turkmen

University of Groningen
在 rug.nl 的电子邮件经过验证
被引用次数：774
Security Privacy Access Control Medical Informatics SAT/SMT
Ákos Hajdu

Ákos Hajdu

Meta / WhatsApp
在 meta.com 的电子邮件经过验证
被引用次数：470
Formal methods static analysis automated reasoning SAT/SMT
Cristian Mattarei

Cristian Mattarei

Apple Inc.
在 cs.stanford.edu 的电子邮件经过验证
被引用次数：461
Model-Based Safety Assessment Formal Verification Formal Modeling SAT/SMT
David Doose

David Doose

ONERA
在 onera.fr 的电子邮件经过验证
被引用次数：363
real-time formal methods SAT/SMT Temporal Logic
Hao Wu 吴昊

Hao Wu 吴昊

Maynooth University
在 cs.nuim.ie 的电子邮件经过验证
被引用次数：195
Formal Methods SAT/SMT Specification Programming Languages Model-Driven Engineering
Peter Backeman

Peter Backeman

Mälardalen University
在 mdu.se 的电子邮件经过验证
被引用次数：88
Formal Modeling AI SAT/SMT Automated Theorem Proving