Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 805 | 725 |
h-index | 15 | 14 |
i10-index | 18 | 17 |
Acces public
Afișați-le pe toate25 de articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresă de e-mail confirmată pe cs.ru.nl
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenAdresă de e-mail confirmată pe cs.kuleuven.be
- Dominique DevrieseKU LeuvenAdresă de e-mail confirmată pe kuleuven.be
- Leo StefanescoMPI-SWSAdresă de e-mail confirmată pe mpi-sws.org
- Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkAdresă de e-mail confirmată pe cs.au.dk
- Simon Oddershede GregersenPostdoctoral fellow, New York UniversityAdresă de e-mail confirmată pe nyu.edu
- Aïna Linn GeorgesAarhus UniversityAdresă de e-mail confirmată pe mpi-sws.org
- Alix TrieuANSSIAdresă de e-mail confirmată pe ssi.gouv.fr
- Abel NietoGroqAdresă de e-mail confirmată pe groq.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresă de e-mail confirmată pe mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichAdresă de e-mail confirmată pe inf.ethz.ch
- Rodolphe LepigreMPI-SWSAdresă de e-mail confirmată pe mpi-sws.org
- Marianna RapoportUniversity of WaterlooAdresă de e-mail confirmată pe uwaterloo.ca
- Sander HuyghebaertVrije Universiteit BrusselAdresă de e-mail confirmată pe vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresă de e-mail confirmată pe normalesup.org
- Arthur CharguéraudInriaAdresă de e-mail confirmată pe inria.fr
- Joseph TassarottiAssistant Professor, New York UniversityAdresă de e-mail confirmată pe nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSAdresă de e-mail confirmată pe inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Adresă de e-mail confirmată pe tudelft.nl