Skapa en profil
Offentlig åtkomst
Visa alla28 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerifierad e-postadress på tecnico.ulisboa.pt
- Bernardo ToninhoUniversidade Nova de LisboaVerifierad e-postadress på fct.unl.pt
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerifierad e-postadress på cmu.edu
- Carsten SchürmannComputer Science, IT University of CopenhagenVerifierad e-postadress på itu.dk
- Hongwei XiBoston UniversityVerifierad e-postadress på cs.bu.edu
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerifierad e-postadress på andrew.cmu.edu
- Rowan DaviesCrew Tech Lead/Principal Engineer, Commonwealth Bank of AustraliaVerifierad e-postadress på cba.com.au
- Ankush DasAssistant Professor, Boston UniversityVerifierad e-postadress på bu.edu
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifierad e-postadress på mpi-sws.org
- David WalkerPrinceton UniversityVerifierad e-postadress på cs.princeton.edu
- Karl CraryCarnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Conal ElliottVerifierad e-postadress på conal.net
- Dan NesmithVerifierad e-postadress på millimark.net
- Robert J. SimmonsCarnegie Mellon University (formerly)Verifierad e-postadress på cs.cmu.edu
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerifierad e-postadress på inria.fr
- Jorge A. PérezAssociate Professor, University of GroningenVerifierad e-postadress på rug.nl
- Brigitte PientkaMcGill UniversityVerifierad e-postadress på cs.mcgill.ca
- Jan HoffmannCarnegie Mellon UniversityVerifierad e-postadress på cmu.edu
- Stephanie BalzerCarnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Kaustuv ChaudhuriINRIAVerifierad e-postadress på chaudhuri.info
Följ
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
Verifierad e-postadress på cs.cmu.edu - Startsida