Get my own profile
Public access
View all14 articles
3 articles
available
not available
Based on funding mandates
Co-authors
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Anca MuschollLaBRI, Univ. of BordeauxVerified email at labri.fr
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignVerified email at illinois.edu
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Marius MineaAssociate Professor, Politehnica University of TimisoaraVerified email at cs.upt.ro
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumVerified email at ulg.ac.be
Shmuel KatzComputer ScienceVerified email at cs.technion.ac.il
Husnu YenigunProfessor of Computer Science, Sabanci UniversityVerified email at sabanciuniv.edu
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified email at ipipan.waw.pl
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityVerified email at ti.informatik.uni-kiel.de
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Edith ElkindNorthwestern UniversityVerified email at northwestern.edu
Kousha EtessamiUniversity of EdinburghVerified email at inf.ed.ac.uk
Follow
Doron A. Peled
Professor Of Computer Science, Bar Ilan University
Verified email at cs.biu.ac.il - Homepage