Get my own profile
Public access
View all47 articles
5 articles
available
not available
Based on funding mandates
Co-authors
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Andreas HolzerUniversity of TorontoVerified email at cs.toronto.edu
Christian SchallhartGoogleVerified email at schallhart.net
Igor KonnovPrincipal scientist, Informal SystemsVerified email at informal.systems
Johannes KinderProfessor of Computer Science, Bundeswehr University MunichVerified email at unibw.de
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Thomas HenzingerISTAustriaVerified email at ist.ac.at
Georg GottlobProfessor of Informatics, University of OxfordVerified email at cs.ox.ac.uk
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Tomer KotekTU WienVerified email at forsyte.at
Mihai ChristodorescuVisa ResearchVerified email at christodorescu.org
Erich GrädelRWTH Aachen UniversityVerified email at logic.rwth-aachen.de
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Ayrat KhalimovUniversité libre de BruxellesVerified email at ulb.be
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
Armin BiereAlbert-Ludwigs-Universität FreiburgVerified email at informatik.uni-freiburg.de
Azadeh FarzanAssociate Professor, University of TorontoVerified email at cs.toronto.edu
Follow
Helmut Veith
Professor of Computer Science, Vienna University of Technology / TU Wien
Verified email at forsyte.tuwien.ac.at - Homepage