Get my own profile
Public access
View all38 articles
6 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