Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen9 Artikel
0 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
Marcello BonsangueProfessor of Computer Science, Leiden UniversityBestätigte E-Mail-Adresse bei liacs.leidenuniv.nl
Alexandra SilvaCornell UniversityBestätigte E-Mail-Adresse bei cornell.edu
Joost KokVice-Dean Mathematics and Computer ScienceBestätigte E-Mail-Adresse bei tue.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Bestätigte E-Mail-Adresse bei cwi.nl
Filippo BonchiCNRS ENS-LyonBestätigte E-Mail-Adresse bei ens-lyon.fr
Farhad ArbabProfessor of Computer Science, Leiden UniversityBestätigte E-Mail-Adresse bei liacs.nl
Catuscia PalamidessiInriaBestätigte E-Mail-Adresse bei lix.polytechnique.fr
Helle Hvid HansenAssociate Professor at University of GroningenBestätigte E-Mail-Adresse bei rug.nl
Christel BaierTU DresdenBestätigte E-Mail-Adresse bei tu-dresden.de
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenBestätigte E-Mail-Adresse bei cs.ru.nl
Marjan SirjaniMälardalen UniversityBestätigte E-Mail-Adresse bei mdh.se
Davide SangiorgiProfessor of Computer Science, University of BolognaBestätigte E-Mail-Adresse bei cs.unibo.it
Jurriaan RotRadboud UniversityBestätigte E-Mail-Adresse bei cs.ru.nl
Joost WinterUniversity of WarsawBestätigte E-Mail-Adresse bei mimuw.edu.pl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyBestätigte E-Mail-Adresse bei win.tue.nl
Enric Cosme LlópezUniversitat de ValènciaBestätigte E-Mail-Adresse bei uv.es
Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaBestätigte E-Mail-Adresse bei uv.es
Prakash PanangadenProfessor of Computer Science, McGill UniversityBestätigte E-Mail-Adresse bei cs.mcgill.ca
Henning BasoldLIACS - Leiden UniversityBestätigte E-Mail-Adresse bei liacs.leidenuniv.nl
Meng SunProfessor, School of Mathematical Science, Peking UniversityBestätigte E-Mail-Adresse bei math.pku.edu.cn