Crea el meu perfil
Accés públic
Mostra-ho tot43 articles
3 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Somesh JhaLubar Chair of Computer Science, University of WisconsinCorreu electrònic verificat a cs.wisc.edu
- Orna GrumbergProfessor of Computer Science, TechnionCorreu electrònic verificat a cs.technion.ac.il
- Andreas HolzerUniversity of TorontoCorreu electrònic verificat a cs.toronto.edu
- Christian SchallhartGoogleCorreu electrònic verificat a schallhart.net
- Igor KonnovIndependent Security and Formal Methods ResearcherCorreu electrònic verificat a konnov.phd
- Johannes KinderProfessor of Computer Science, LMU MunichCorreu electrònic verificat a lmu.de
- Roderick BloemGraz University of TechnologyCorreu electrònic verificat a iaik.tugraz.at
- Thomas HenzingerIST AustriaCorreu electrònic verificat a ist.ac.at
- Michael TautschnigQueen Mary University of LondonCorreu electrònic verificat a qmul.ac.uk
- Georg GottlobProfessor of Informatics, University of CalabriaCorreu electrònic verificat a unical.it
- Tomer KotekTU WienCorreu electrònic verificat a forsyte.at
- Ayrat KhalimovTU ClausthalCorreu electrònic verificat a tu-clausthal.de
- Nicola LeoneUniversity of Calabria, Professor of Computer ScienceCorreu electrònic verificat a unical.it
- Mihai ChristodorescuGoogleCorreu electrònic verificat a christodorescu.org
- Thomas EiterVienna University of Technology (TU Wien)Correu electrònic verificat a kr.tuwien.ac.at
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandCorreu electrònic verificat a usi.ch
- Erich GrädelRWTH Aachen UniversityCorreu electrònic verificat a logic.rwth-aachen.de
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityCorreu electrònic verificat a nau.edu
- Armin BiereProfessor of Computer Science, University of FreiburgCorreu electrònic verificat a informatik.uni-freiburg.de
- Andreas FröhlichJKU LinzCorreu electrònic verificat a jku.at
Segueix
Helmut Veith
Professor of Computer Science, Vienna University of Technology / TU Wien
Correu electrònic verificat a forsyte.tuwien.ac.at - Pàgina d'inici