Založit si vlastní profil
Veřejný přístup
Zobrazit všechny22 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Grigore RosuUniversity of Illinois at Urbana ChampaignE-mailová adresa ověřena na: illinois.edu
- Willem VisserComputer Science Division, Stellenbosch UniversityE-mailová adresa ověřena na: cs.sun.ac.za
- Giles RegerAmazon and University of ManchesterE-mailová adresa ověřena na: manchester.ac.uk
- Koushik SenProfessor of Computer Science, University of California, BerkeleyE-mailová adresa ověřena na: cs.berkeley.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityE-mailová adresa ověřena na: nau.edu
- Kim G. LarsenDirector, Professor Aalborg UniversityE-mailová adresa ověřena na: cs.aau.dk
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGE-mailová adresa ověřena na: univ-grenoble-alpes.fr
- Rich WashingtonGoogleE-mailová adresa ověřena na: google.com
- Radu GrosuProfessor of Computer ScienceE-mailová adresa ověřena na: tuwien.ac.at
- Natarajan ShankarSRI International Computer Science LaboratoryE-mailová adresa ověřena na: csl.sri.com
- Gerard HolzmannNimble ResearchE-mailová adresa ověřena na: nimbleresearch.com
- Armin BiereProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityE-mailová adresa ověřena na: cs.sunysb.edu
- Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de LouvainE-mailová adresa ověřena na: uclouvain.be
- Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkE-mailová adresa ověřena na: dtu.dk
- Ezio BartocciFaculty of Informatics, TU WienE-mailová adresa ověřena na: tuwien.ac.at
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityE-mailová adresa ověřena na: cispa.de
- Oleg SokolskyUniversity of PennsylvaniaE-mailová adresa ověřena na: cis.upenn.edu
- Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEME-mailová adresa ověřena na: uni-paderborn.de
- Gordon J. PaceDepartment of Computer Science, University of MaltaE-mailová adresa ověřena na: um.edu.mt
Sledovat
Klaus Havelund
Senior Research Scientist, Jet Propulsion Laboratory
E-mailová adresa ověřena na: jpl.nasa.gov - Domovská stránka