Get my own profile
Public access
View all64 articles
8 articles
available
not available
Based on funding mandates
Co-authors
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerified email at informatik.uni-freiburg.de
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
- Gereon KremerCertora LtdVerified email at cs.stanford.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
- Ulrich LoupRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
- Peter Csaba OlveczkyProfessor of Computer Science, University of OsloVerified email at ifi.uio.no
- Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
- Thomas SturmResearch Director, CNRSVerified email at loria.fr
- Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityVerified email at embedded.rwth-aachen.de
- Goran FrehseProfessor of Computer Science, ENSTA ParisVerified email at ensta-paris.fr
- Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
- Benedikt Christoph WoltersCloudflare, Inc.Verified email at rwth-aachen.de
- Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
- Marc-Andre HermannsRWTH Aachen UniversityVerified email at itc.rwth-aachen.de
- Samir GenaimUniversidad Complutense de MadridVerified email at fdi.ucm.es
Follow
Erika Abraham
Professor, Computer Science Department, RWTH Aachen University
Verified email at cs.rwth-aachen.de