Get my own profile
Public access
View all37 articles
7 articles
available
not available
Based on funding mandates
Co-authors
- axel legayUCLouvainVerified email at uclouvain.be
- Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)Verified email at laas.fr
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
- Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéVerified email at irif.fr
- Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
- Andreas GriesmayerImperial College LondonVerified email at arm.com
- Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
- Barbara JobstmannScientist at EPFLVerified email at epfl.ch
- Amedeo CestaCNR -- National Research Council of Italy, ISTCVerified email at istc.cnr.it
- Thomas HenzingerIST AustriaVerified email at ist.ac.at
- matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
- Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk