Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 797 | 583 |
h-indeks | 14 | 12 |
i10-indeks | 19 | 16 |
Offentlig tilgang
Vis alle16 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupVerifisert e-postadresse på bc.edu
- Nickolai ZeldovichVerifisert e-postadresse på csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)Verifisert e-postadresse på mit.edu
- Ralf JungAssistant Professor, ETH ZürichVerifisert e-postadresse på inf.ethz.ch
- Tej ChajedUniversity of Wisconsin-MadisonVerifisert e-postadresse på wisc.edu
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifisert e-postadresse på mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerifisert e-postadresse på andrew.cmu.edu
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifisert e-postadresse på cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifisert e-postadresse på cs.au.dk
- Guy L. Steele Jr.Oracle LabsVerifisert e-postadresse på oracle.com
- Gang TanProfessor of computer science and engineering, Penn State UniversityVerifisert e-postadresse på cse.psu.edu
- Greg MorrisettDean and Professor, Cornell UniversityVerifisert e-postadresse på cornell.edu
- Simon SpiesMPI-SWSVerifisert e-postadresse på mpi-sws.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifisert e-postadresse på normalesup.org
- Amin TimanyAarhus UniversityVerifisert e-postadresse på cs.au.dk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifisert e-postadresse på mpi-sws.org
- Michael WickUniversity of MassachusettsVerifisert e-postadresse på cs.umass.edu
- Daniel HuangAssistant ProfessorVerifisert e-postadresse på sfsu.edu
Følg
Joseph Tassarotti
Assistant Professor, New York University
Verifisert e-postadresse på nyu.edu - Startside