Založit si vlastní profil
Veřejný přístup
Zobrazit všechny43 článků
3 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Somesh JhaLubar Chair of Computer Science, University of WisconsinE-mailová adresa ověřena na: cs.wisc.edu
- Orna GrumbergProfessor of Computer Science, TechnionE-mailová adresa ověřena na: cs.technion.ac.il
- Andreas HolzerUniversity of TorontoE-mailová adresa ověřena na: cs.toronto.edu
- Christian SchallhartGoogleE-mailová adresa ověřena na: schallhart.net
- Igor KonnovIndependent Security and Formal Methods ResearcherE-mailová adresa ověřena na: konnov.phd
- Johannes KinderProfessor of Computer Science, LMU MunichE-mailová adresa ověřena na: lmu.de
- Roderick BloemGraz University of TechnologyE-mailová adresa ověřena na: iaik.tugraz.at
- Thomas HenzingerIST AustriaE-mailová adresa ověřena na: ist.ac.at
- Michael TautschnigQueen Mary University of LondonE-mailová adresa ověřena na: qmul.ac.uk
- Georg GottlobProfessor of Informatics, University of CalabriaE-mailová adresa ověřena na: unical.it
- Tomer KotekTU WienE-mailová adresa ověřena na: forsyte.at
- Ayrat KhalimovTU ClausthalE-mailová adresa ověřena na: tu-clausthal.de
- Nicola LeoneUniversity of Calabria, Professor of Computer ScienceE-mailová adresa ověřena na: unical.it
- Mihai ChristodorescuGoogleE-mailová adresa ověřena na: christodorescu.org
- Thomas EiterVienna University of Technology (TU Wien)E-mailová adresa ověřena na: kr.tuwien.ac.at
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandE-mailová adresa ověřena na: usi.ch
- Erich GrädelRWTH Aachen UniversityE-mailová adresa ověřena na: logic.rwth-aachen.de
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityE-mailová adresa ověřena na: nau.edu
- Armin BiereProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Andreas FröhlichJKU LinzE-mailová adresa ověřena na: jku.at
Sledovat
Helmut Veith
Professor of Computer Science, Vienna University of Technology / TU Wien
E-mailová adresa ověřena na: forsyte.tuwien.ac.at - Domovská stránka