Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen25 Artikel
0 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
- Lars BirkedalDept. of Computer Science, Aarhus UniversityBestätigte E-Mail-Adresse bei cs.au.dk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenBestätigte E-Mail-Adresse bei cs.ru.nl
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenBestätigte E-Mail-Adresse bei cs.kuleuven.be
- Dominique DevrieseKU LeuvenBestätigte E-Mail-Adresse bei kuleuven.be
- Leo StefanescoMPI-SWSBestätigte E-Mail-Adresse bei mpi-sws.org
- Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkBestätigte E-Mail-Adresse bei cs.au.dk
- Simon Oddershede GregersenPostdoctoral fellow, New York UniversityBestätigte E-Mail-Adresse bei nyu.edu
- Aïna Linn GeorgesAarhus UniversityBestätigte E-Mail-Adresse bei mpi-sws.org
- Alix TrieuANSSIBestätigte E-Mail-Adresse bei ssi.gouv.fr
- Abel NietoGroqBestätigte E-Mail-Adresse bei groq.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusBestätigte E-Mail-Adresse bei mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichBestätigte E-Mail-Adresse bei inf.ethz.ch
- Rodolphe LepigreMPI-SWSBestätigte E-Mail-Adresse bei mpi-sws.org
- Marianna RapoportUniversity of WaterlooBestätigte E-Mail-Adresse bei uwaterloo.ca
- Sander HuyghebaertVrije Universiteit BrusselBestätigte E-Mail-Adresse bei vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesBestätigte E-Mail-Adresse bei normalesup.org
- Arthur CharguéraudInriaBestätigte E-Mail-Adresse bei inria.fr
- Joseph TassarottiAssistant Professor, New York UniversityBestätigte E-Mail-Adresse bei nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSBestätigte E-Mail-Adresse bei inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Bestätigte E-Mail-Adresse bei tudelft.nl