Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 407 | 273 |
h-index | 9 | 7 |
i10-index | 9 | 5 |
Acces public
Afișați-le pe toate15 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Martin OderskyEPFLAdresă de e-mail confirmată pe epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureAdresă de e-mail confirmată pe ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghAdresă de e-mail confirmată pe sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgAdresă de e-mail confirmată pe cse.gu.se
- Nada AminHarvard UniversityAdresă de e-mail confirmată pe alum.mit.edu
- Tiark RompfPurdue UniversityAdresă de e-mail confirmată pe purdue.edu
- Tobias HeindelTU BerlinAdresă de e-mail confirmată pe tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLAdresă de e-mail confirmată pe epfl.ch
- Samuel GruetterMITAdresă de e-mail confirmată pe mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityAdresă de e-mail confirmată pe msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstituteAdresă de e-mail confirmată pe imdea.org
- Amir ShaikhhaUniversity of EdinburghAdresă de e-mail confirmată pe ed.ac.uk
- Aggelos BiboudisOracleAdresă de e-mail confirmată pe oracle.com
- Heather MillerCarnegie Mellon UniversityAdresă de e-mail confirmată pe cs.cmu.edu
- Olivier BlanvillainEPFLAdresă de e-mail confirmată pe epfl.ch
- Vlad UrechePhD student, LAMP, EPFLAdresă de e-mail confirmată pe epfl.ch
- Russ HarmerCNRS, LyonAdresă de e-mail confirmată pe ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Adresă de e-mail confirmată pe tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamAdresă de e-mail confirmată pe vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Adresă de e-mail confirmată pe tudelft.nl