Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 2819 | 2319 |
h-index | 28 | 25 |
i10-index | 49 | 47 |
Acces public
Afișați-le pe toate48 de articole
1 articol
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteAdresă de e-mail confirmată pe cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumAdresă de e-mail confirmată pe rub.de
- Tim QuatmannRWTH Aachen UniversityAdresă de e-mail confirmată pe cs.rwth-aachen.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyAdresă de e-mail confirmată pe tue.nl
- Ufuk TopcuThe University of Texas at AustinAdresă de e-mail confirmată pe utexas.edu
- Christian DehnertRWTH Aachen UniversityAdresă de e-mail confirmată pe cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityAdresă de e-mail confirmată pe cs.rwth-aachen.de
- Milan CeskaBrno University of TechnologyAdresă de e-mail confirmată pe fit.vutbr.cz
- Murat CubuktepeUniversity of Texas at AustinAdresă de e-mail confirmată pe utexas.edu
- Arnd HartmannsUniversity of TwenteAdresă de e-mail confirmată pe utwente.nl
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyAdresă de e-mail confirmată pe informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgAdresă de e-mail confirmată pe informatik.uni-freiburg.de
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyAdresă de e-mail confirmată pe eecs.berkeley.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteAdresă de e-mail confirmată pe utwente.nl
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaAdresă de e-mail confirmată pe iaik.tugraz.at
- Roman AndriushchenkoPh.D. student, Brno University of TechnologyAdresă de e-mail confirmată pe vutbr.cz
- Roderick BloemGraz University of TechnologyAdresă de e-mail confirmată pe iaik.tugraz.at
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyAdresă de e-mail confirmată pe unitn.it
- Gereon KremerCertora LtdAdresă de e-mail confirmată pe cs.stanford.edu
- Ulrich LoupRWTH Aachen UniversityAdresă de e-mail confirmată pe cs.rwth-aachen.de
Urmăriți
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Adresă de e-mail confirmată pe ru.nl - Pagina de pornire