Skapa en profil
Offentlig åtkomst
Visa alla48 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerifierad e-postadress på cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerifierad e-postadress på rub.de
- Tim QuatmannRWTH Aachen UniversityVerifierad e-postadress på cs.rwth-aachen.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyVerifierad e-postadress på tue.nl
- Ufuk TopcuThe University of Texas at AustinVerifierad e-postadress på utexas.edu
- Christian DehnertRWTH Aachen UniversityVerifierad e-postadress på cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerifierad e-postadress på cs.rwth-aachen.de
- Milan CeskaBrno University of TechnologyVerifierad e-postadress på fit.vutbr.cz
- Murat CubuktepeUniversity of Texas at AustinVerifierad e-postadress på utexas.edu
- Arnd HartmannsUniversity of TwenteVerifierad e-postadress på utwente.nl
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerifierad e-postadress på informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgVerifierad e-postadress på informatik.uni-freiburg.de
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerifierad e-postadress på eecs.berkeley.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerifierad e-postadress på utwente.nl
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaVerifierad e-postadress på iaik.tugraz.at
- Roman AndriushchenkoPh.D. student, Brno University of TechnologyVerifierad e-postadress på vutbr.cz
- Roderick BloemGraz University of TechnologyVerifierad e-postadress på iaik.tugraz.at
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyVerifierad e-postadress på unitn.it
- Gereon KremerCertora LtdVerifierad e-postadress på cs.stanford.edu
- Ulrich LoupRWTH Aachen UniversityVerifierad e-postadress på cs.rwth-aachen.de
Följ
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Verifierad e-postadress på ru.nl - Startsida