Založit si vlastní profil
Veřejný přístup
Zobrazit všechny86 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityE-mailová adresa ověřena na: cs.huji.ac.il
- Ronald FaginIBM Almaden Research CenterE-mailová adresa ověřena na: us.ibm.com
- Joseph HalpernProfessor of Computer Science, Cornell UniversityE-mailová adresa ověřena na: cs.cornell.edu
- Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaE-mailová adresa ověřena na: diag.uniroma1.it
- Yoram MosesTechnionE-mailová adresa ověřena na: ee.technion.ac.il
- Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumE-mailová adresa ověřena na: ulg.ac.be
- Maurizio LenzeriniProfessor of Computer Science, Sapienza University of RomeE-mailová adresa ověřena na: diag.uniroma1.it
- Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.E-mailová adresa ověřena na: unibz.it
- Lydia E. KavrakiRice UniversityE-mailová adresa ověřena na: rice.edu
- Bernhard SteffenProfessor für Informatik, TU DortmundE-mailová adresa ověřena na: cs.uni-dortmund.de
- Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIE-mailová adresa ověřena na: unina.it
- Kuldeep S. MeelAssociate Professor, University of TorontoE-mailová adresa ověřena na: cs.toronto.edu
- Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenE-mailová adresa ověřena na: gu.se
- Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayE-mailová adresa ověřena na: iitb.ac.in
- Oscar NierstraszProfessor Emeritus of Computer Science, Software Composition Group, University of BernE-mailová adresa ověřena na: unibe.ch
- Fabio MogaveroUniversità degli Studi di Napoli Federico IIE-mailová adresa ověřena na: fabiomogavero.com
- Jeffrey UllmanProfessor of Computer Science, Stanford UniversityE-mailová adresa ověřena na: stanford.edu
- Geguang PuProfessor of Computer Science, East China Normal UniversityE-mailová adresa ověřena na: sei.ecnu.edu.cn
- Erich GrädelRWTH Aachen UniversityE-mailová adresa ověřena na: logic.rwth-aachen.de
- Kristin Y. RozierNASAE-mailová adresa ověřena na: nasa.gov