Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 2811 | 2311 |
h-index | 28 | 25 |
i10-indeks | 49 | 47 |
Offentlig adgang
Se alle48 artikler
1 artikel
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerificeret mail på cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerificeret mail på rub.de
- Tim QuatmannRWTH Aachen UniversityVerificeret mail på cs.rwth-aachen.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyVerificeret mail på tue.nl
- Ufuk TopcuThe University of Texas at AustinVerificeret mail på utexas.edu
- Christian DehnertRWTH Aachen UniversityVerificeret mail på cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerificeret mail på cs.rwth-aachen.de
- Milan CeskaBrno University of TechnologyVerificeret mail på fit.vutbr.cz
- Murat CubuktepeUniversity of Texas at AustinVerificeret mail på utexas.edu
- Arnd HartmannsUniversity of TwenteVerificeret mail på utwente.nl
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerificeret mail på informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgVerificeret mail på informatik.uni-freiburg.de
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerificeret mail på eecs.berkeley.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerificeret mail på utwente.nl
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaVerificeret mail på iaik.tugraz.at
- Roman AndriushchenkoPh.D. student, Brno University of TechnologyVerificeret mail på vutbr.cz
- Roderick BloemGraz University of TechnologyVerificeret mail på iaik.tugraz.at
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyVerificeret mail på unitn.it
- Gereon KremerCertora LtdVerificeret mail på cs.stanford.edu
- Ulrich LoupRWTH Aachen UniversityVerificeret mail på cs.rwth-aachen.de
Følg
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Verificeret mail på ru.nl - Startside