Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 821 | 741 |
h-index | 15 | 14 |
i10-index | 19 | 18 |
Nyilvános hozzáférés
Összes megtekintése25 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail megerősítve itt: cs.au.dk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mail megerősítve itt: cs.ru.nl
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenE-mail megerősítve itt: cs.kuleuven.be
- Dominique DevrieseKU LeuvenE-mail megerősítve itt: kuleuven.be
- Leo StefanescoMPI-SWSE-mail megerősítve itt: mpi-sws.org
- Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkE-mail megerősítve itt: cs.au.dk
- Simon Oddershede GregersenPostdoctoral fellow, New York UniversityE-mail megerősítve itt: nyu.edu
- Aïna Linn GeorgesAarhus UniversityE-mail megerősítve itt: mpi-sws.org
- Alix TrieuANSSIE-mail megerősítve itt: ssi.gouv.fr
- Abel NietoGroqE-mail megerősítve itt: groq.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mail megerősítve itt: mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichE-mail megerősítve itt: inf.ethz.ch
- Rodolphe LepigreMPI-SWSE-mail megerősítve itt: mpi-sws.org
- Marianna RapoportUniversity of WaterlooE-mail megerősítve itt: uwaterloo.ca
- Sander HuyghebaertVrije Universiteit BrusselE-mail megerősítve itt: vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mail megerősítve itt: normalesup.org
- Arthur CharguéraudInriaE-mail megerősítve itt: inria.fr
- Joseph TassarottiAssistant Professor, New York UniversityE-mail megerősítve itt: nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSE-mail megerősítve itt: inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.E-mail megerősítve itt: tudelft.nl