Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 4861 | 2308 |
h-indeks | 35 | 23 |
i10-indeks | 91 | 52 |
Dostęp publiczny
Wyświetl wszystko61 artykułów
9 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
Bernd BeckerProfessor of Computer Science, University of FreiburgZweryfikowany adres z informatik.uni-freiburg.de
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumZweryfikowany adres z rub.de
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteZweryfikowany adres z cs.rwth-aachen.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyZweryfikowany adres z informatik.uni-freiburg.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Zweryfikowany adres z cwi.nl
Gereon KremerCertora LtdZweryfikowany adres z cs.stanford.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderZweryfikowany adres z colorado.edu
Sebastian JungesAssistant Professor, Radboud University, NijmegenZweryfikowany adres z ru.nl
Ulrich LoupRWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
Peter Csaba OlveczkyProfessor of Computer Science, University of OsloZweryfikowany adres z ifi.uio.no
Armando TacchellaProfessor, Information Processing Systems, University of GenoaZweryfikowany adres z unige.it
Marcello BonsangueProfessor of Computer Science, Leiden UniversityZweryfikowany adres z liacs.leidenuniv.nl
Thomas SturmResearch Director, CNRSZweryfikowany adres z loria.fr
Goran FrehseProfessor of Computer Science, ENSTA ParisZweryfikowany adres z ensta-paris.fr
Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityZweryfikowany adres z embedded.rwth-aachen.de
Einar Broch JohnsenProfessor, University of OsloZweryfikowany adres z ifi.uio.no
Benedikt Christoph WoltersCloudflare, Inc.Zweryfikowany adres z rwth-aachen.de
Martin FränzleProfessor of Computer Science, University of OldenburgZweryfikowany adres z informatik.uni-oldenburg.de
Marc-Andre HermannsRWTH Aachen UniversityZweryfikowany adres z itc.rwth-aachen.de
Samir GenaimUniversidad Complutense de MadridZweryfikowany adres z fdi.ucm.es
Obserwuj![Erika Abraham](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=LtW3iTwAAAAJ&citpid=3)
Erika Abraham
Professor, Computer Science Department, RWTH Aachen University
Zweryfikowany adres z cs.rwth-aachen.de