Založit si vlastní profil
Spoluautoři
- Anindya BanerjeeProfessor, IMDEA Software InstituteE-mailová adresa ověřena na: imdea.org
- Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignE-mailová adresa ověřena na: illinois.edu
- Peter O'HearnLacework and University College LondonE-mailová adresa ověřena na: ucl.ac.uk
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzE-mailová adresa ověřena na: cs.ucsc.edu
- John ReppyProfessor of Computer Science, University of ChicagoE-mailová adresa ověřena na: cs.uchicago.edu
- Didier RémyINRIAE-mailová adresa ověřena na: inria.fr
- Eugenio MoggiProfessor of Computer Science, Genova UniversityE-mailová adresa ověřena na: unige.it
- Achim JungProfessor of Computer Science, University of Birmingham, UKE-mailová adresa ověřena na: cs.bham.ac.uk
- Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaE-mailová adresa ověřena na: unige.it
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghE-mailová adresa ověřena na: ed.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceE-mailová adresa ověřena na: cl.cam.ac.uk
- Hayo ThieleckeUniversity of BirminghamE-mailová adresa ověřena na: cs.bham.ac.uk
- Kathleen FisherAdjunct Professor of Computer Science, Tufts UniversityE-mailová adresa ověřena na: eecs.tufts.edu
- Anders Thorhauge SandholmGoogleE-mailová adresa ověřena na: sandholm.dk
- Stavros CosmadakisUniversity of PatrasE-mailová adresa ověřena na: cti.gr
- Kim BruceEmeritus Professor of Computer Science, Pomona CollegeE-mailová adresa ověřena na: pomona.edu