Založit si vlastní profil
Veřejný přístup
Zobrazit všechny25 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mailová adresa ověřena na: cs.ru.nl
- Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenE-mailová adresa ověřena na: cs.kuleuven.be
- Dominique DevrieseKU LeuvenE-mailová adresa ověřena na: kuleuven.be
- Leo StefanescoMPI-SWSE-mailová adresa ověřena na: mpi-sws.org
- Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkE-mailová adresa ověřena na: cs.au.dk
- Simon Oddershede GregersenPostdoctoral fellow, New York UniversityE-mailová adresa ověřena na: nyu.edu
- Aïna Linn GeorgesAarhus UniversityE-mailová adresa ověřena na: mpi-sws.org
- Alix TrieuANSSIE-mailová adresa ověřena na: ssi.gouv.fr
- Abel NietoGroqE-mailová adresa ověřena na: groq.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mailová adresa ověřena na: mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichE-mailová adresa ověřena na: inf.ethz.ch
- Rodolphe LepigreMPI-SWSE-mailová adresa ověřena na: mpi-sws.org
- Marianna RapoportUniversity of WaterlooE-mailová adresa ověřena na: uwaterloo.ca
- Sander HuyghebaertVrije Universiteit BrusselE-mailová adresa ověřena na: vub.be
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mailová adresa ověřena na: normalesup.org
- Arthur CharguéraudInriaE-mailová adresa ověřena na: inria.fr
- Joseph TassarottiAssistant Professor, New York UniversityE-mailová adresa ověřena na: nyu.edu
- Matthieu SozeauResarcher, Inria Paris and PPSE-mailová adresa ověřena na: inria.fr
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.E-mailová adresa ověřena na: tudelft.nl