Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 812 | 732 |
h-indeks | 15 | 14 |
i10-indeks | 18 | 17 |
Dostęp publiczny
Wyświetl wszystko25 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Lars BirkedalDept. of Computer Science, Aarhus UniversityZweryfikowany adres z cs.au.dk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenZweryfikowany adres z cs.ru.nl
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenZweryfikowany adres z cs.kuleuven.be
- Dominique DevrieseKU LeuvenZweryfikowany adres z kuleuven.be
- Leo StefanescoMPI-SWSZweryfikowany adres z mpi-sws.org
- Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkZweryfikowany adres z cs.au.dk
- Simon Oddershede GregersenPostdoctoral fellow, New York UniversityZweryfikowany adres z nyu.edu
- Aïna Linn GeorgesAarhus UniversityZweryfikowany adres z mpi-sws.org
- Alix TrieuANSSIZweryfikowany adres z ssi.gouv.fr
- Abel NietoGroqZweryfikowany adres z groq.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusZweryfikowany adres z mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichZweryfikowany adres z inf.ethz.ch
- Rodolphe LepigreMPI-SWSZweryfikowany adres z mpi-sws.org
- Marianna RapoportUniversity of WaterlooZweryfikowany adres z uwaterloo.ca
- Sander HuyghebaertVrije Universiteit BrusselZweryfikowany adres z vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesZweryfikowany adres z normalesup.org
- Arthur CharguéraudInriaZweryfikowany adres z inria.fr
- Joseph TassarottiAssistant Professor, New York UniversityZweryfikowany adres z nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSZweryfikowany adres z inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Zweryfikowany adres z tudelft.nl