Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 11735 | 1999 |
h-index | 50 | 25 |
i10-index | 89 | 46 |
Acces public
Afișați-le pe toate8 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Dan GrossmanComputer Science, University of WashingtonAdresă de e-mail confirmată pe cs.washington.edu
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityAdresă de e-mail confirmată pe andrew.cmu.edu
- Karl CraryCarnegie Mellon UniversityAdresă de e-mail confirmată pe cs.cmu.edu
- David WalkerPrinceton UniversityAdresă de e-mail confirmată pe cs.princeton.edu
- Aleksandar NanevskiIMDEA Software InstituteAdresă de e-mail confirmată pe imdea.org
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghAdresă de e-mail confirmată pe inf.ed.ac.uk
- Fred SchneiderCS Dept, Cornell UniversityAdresă de e-mail confirmată pe cs.cornell.edu
- Gang TanProfessor of computer science and engineering, Penn State UniversityAdresă de e-mail confirmată pe cse.psu.edu
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
- Amal AhmedNortheastern UniversityAdresă de e-mail confirmată pe ccs.neu.edu
- Gregory MalechaBedRock Systems, IncAdresă de e-mail confirmată pe bedrocksystems.com
- Matthew FluetRochester Institute of TechnologyAdresă de e-mail confirmată pe cs.rit.edu
- Matt WelshGoogleAdresă de e-mail confirmată pe mdw.la
- Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityAdresă de e-mail confirmată pe drexel.edu
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupAdresă de e-mail confirmată pe bc.edu
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaAdresă de e-mail confirmată pe cis.upenn.edu
- Ryan WisneskyConexus AIAdresă de e-mail confirmată pe wisnesky.net
- Kevin W. HamlenLouis A. Beecherl, Jr. Distinguished Professor of Computer Science, The University of Texas atAdresă de e-mail confirmată pe utdallas.edu
- Ryan NewtonMIT, Indiana University, FacebookAdresă de e-mail confirmată pe indiana.edu
- Stephen McCamantAssociate Professor, University of MinnesotaAdresă de e-mail confirmată pe cs.umn.edu
Urmăriți
Greg Morrisett
Dean and Professor, Cornell University
Adresă de e-mail confirmată pe cornell.edu - Pagina de pornire