Crea el meu perfil
Accés públic
Mostra-ho tot59 articles
9 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Bernd BeckerProfessor of Computer Science, University of FreiburgCorreu electrònic verificat a informatik.uni-freiburg.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumCorreu electrònic verificat a rub.de
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteCorreu electrònic verificat a cs.rwth-aachen.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyCorreu electrònic verificat a informatik.uni-freiburg.de
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Correu electrònic verificat a cwi.nl
- Gereon KremerCertora LtdCorreu electrònic verificat a cs.stanford.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderCorreu electrònic verificat a colorado.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenCorreu electrònic verificat a ru.nl
- Ulrich LoupRWTH Aachen UniversityCorreu electrònic verificat a cs.rwth-aachen.de
- Peter Csaba OlveczkyProfessor of Computer Science, University of OsloCorreu electrònic verificat a ifi.uio.no
- Armando TacchellaProfessor, Information Processing Systems, University of GenoaCorreu electrònic verificat a unige.it
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityCorreu electrònic verificat a liacs.leidenuniv.nl
- Thomas SturmResearch Director, CNRSCorreu electrònic verificat a loria.fr
- Goran FrehseProfessor of Computer Science, ENSTA ParisCorreu electrònic verificat a ensta-paris.fr
- Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityCorreu electrònic verificat a embedded.rwth-aachen.de
- Einar Broch JohnsenProfessor, University of OsloCorreu electrònic verificat a ifi.uio.no
- Benedikt Christoph WoltersCloudflare, Inc.Correu electrònic verificat a rwth-aachen.de
- Martin FränzleProfessor of Computer Science, University of OldenburgCorreu electrònic verificat a informatik.uni-oldenburg.de
- Marc-Andre HermannsRWTH Aachen UniversityCorreu electrònic verificat a itc.rwth-aachen.de
- Samir GenaimUniversidad Complutense de MadridCorreu electrònic verificat a fdi.ucm.es
Segueix
Erika Abraham
Professor, Computer Science Department, RWTH Aachen University
Correu electrònic verificat a cs.rwth-aachen.de