Založit si vlastní profil
Veřejný přístup
Zobrazit všechny59 článků
9 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Bernd BeckerProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mailová adresa ověřena na: rub.de
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteE-mailová adresa ověřena na: cs.rwth-aachen.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Gereon KremerCertora LtdE-mailová adresa ověřena na: cs.stanford.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderE-mailová adresa ověřena na: colorado.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenE-mailová adresa ověřena na: ru.nl
- Ulrich LoupRWTH Aachen UniversityE-mailová adresa ověřena na: cs.rwth-aachen.de
- Peter Csaba OlveczkyProfessor of Computer Science, University of OsloE-mailová adresa ověřena na: ifi.uio.no
- Armando TacchellaProfessor, Information Processing Systems, University of GenoaE-mailová adresa ověřena na: unige.it
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityE-mailová adresa ověřena na: liacs.leidenuniv.nl
- Thomas SturmResearch Director, CNRSE-mailová adresa ověřena na: loria.fr
- Goran FrehseProfessor of Computer Science, ENSTA ParisE-mailová adresa ověřena na: ensta-paris.fr
- Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityE-mailová adresa ověřena na: embedded.rwth-aachen.de
- Einar Broch JohnsenProfessor, University of OsloE-mailová adresa ověřena na: ifi.uio.no
- Benedikt Christoph WoltersCloudflare, Inc.E-mailová adresa ověřena na: rwth-aachen.de
- Martin FränzleProfessor of Computer Science, University of OldenburgE-mailová adresa ověřena na: informatik.uni-oldenburg.de
- Marc-Andre HermannsRWTH Aachen UniversityE-mailová adresa ověřena na: itc.rwth-aachen.de
- Samir GenaimUniversidad Complutense de MadridE-mailová adresa ověřena na: fdi.ucm.es
Sledovat
Erika Abraham
Professor, Computer Science Department, RWTH Aachen University
E-mailová adresa ověřena na: cs.rwth-aachen.de