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
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Thomas HenzingerISTAustriaVerified email at ist.ac.at
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Georg GottlobProfessor of Informatics, University of OxfordVerified email at cs.ox.ac.uk
Tomer KotekTU WienVerified email at forsyte.at
Ayrat KhalimovUniversité libre de BruxellesVerified email at ulb.be
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
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
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