Mijn eigen profiel maken
Medeauteurs
Orna GrumbergProfessor of Computer Science, TechnionGeverifieerd e-mailadres voor cs.technion.ac.il
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Gerard HolzmannNimble ResearchGeverifieerd e-mailadres voor nimbleresearch.com
Moshe Y. VardiRice UniversityGeverifieerd e-mailadres voor cs.rice.edu
Anca MuschollLaBRI, Univ. of BordeauxGeverifieerd e-mailadres voor labri.fr
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaGeverifieerd e-mailadres voor cis.upenn.edu
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityGeverifieerd e-mailadres voor cs.columbia.edu
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienGeverifieerd e-mailadres voor forsyte.tuwien.ac.at
Daniel KroeningAmazonGeverifieerd e-mailadres voor cs.ox.ac.uk
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignGeverifieerd e-mailadres voor illinois.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumGeverifieerd e-mailadres voor ulg.ac.be
Marius MineaAssociate Professor, Politehnica University of TimisoaraGeverifieerd e-mailadres voor cs.upt.ro
Shmuel KatzComputer ScienceGeverifieerd e-mailadres voor cs.technion.ac.il
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryGeverifieerd e-mailadres voor jpl.nasa.gov
Husnu YenigunProfessor of Computer Science, Sabanci UniversityGeverifieerd e-mailadres voor sabanciuniv.edu
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Geverifieerd e-mailadres voor ipipan.waw.pl
Sven ScheweProfessor of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Hongyang QuResearch Fellow, University of SheffieldGeverifieerd e-mailadres voor sheffield.ac.uk
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityGeverifieerd e-mailadres voor ti.informatik.uni-kiel.de
Doron A. Peled
Professor Of Computer Science, Bar Ilan University
Geverifieerd e-mailadres voor cs.biu.ac.il - Homepage