Skapa en profil
Offentlig åtkomst
Visa alla15 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Martin OderskyEPFLVerifierad e-postadress på epfl.ch
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerifierad e-postadress på ens.fr
- Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghVerifierad e-postadress på sms.ed.ac.uk
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerifierad e-postadress på cse.gu.se
- Nada AminHarvard UniversityVerifierad e-postadress på alum.mit.edu
- Tiark RompfPurdue UniversityVerifierad e-postadress på purdue.edu
- Tobias HeindelTU BerlinVerifierad e-postadress på tu-berlin.de
- Christoph KochProfessor of Computer Science, EPFLVerifierad e-postadress på epfl.ch
- Samuel GruetterMITVerifierad e-postadress på mit.edu
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityVerifierad e-postadress på msu.edu
- Cesar SanchezResearch Professor, IMDEA Software InstituteVerifierad e-postadress på imdea.org
- Amir ShaikhhaUniversity of EdinburghVerifierad e-postadress på ed.ac.uk
- Aggelos BiboudisOracleVerifierad e-postadress på oracle.com
- Heather MillerCarnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Olivier BlanvillainEPFLVerifierad e-postadress på epfl.ch
- Vlad UrechePhD student, LAMP, EPFLVerifierad e-postadress på epfl.ch
- Russ HarmerCNRS, LyonVerifierad e-postadress på ens-lyon.fr
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)Verifierad e-postadress på tuhh.de
- Katja TumaAssistant Professor at the Vrije Universiteit AmsterdamVerifierad e-postadress på vu.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verifierad e-postadress på tudelft.nl