Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 437 | 213 |
h-indeks | 5 | 4 |
i10-indeks | 5 | 3 |
Współautorzy
- Francesco Zappa NardelliFacebookZweryfikowany adres z fb.com
- Lee PikeAWS Automated ReasoningZweryfikowany adres z amazon.com
- Alwyn GoodloeResearch Computer Engineer, NASAZweryfikowany adres z nasa.gov
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Zweryfikowany adres z mpi-sws.org
- Soham Sundar ChakrabortyTU DelftZweryfikowany adres z tudelft.nl
- Benoit MontaguInriaZweryfikowany adres z inria.fr
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaZweryfikowany adres z cis.upenn.edu
- Gregory MalechaBedRock Systems, IncZweryfikowany adres z bedrocksystems.com
- Andre DeHonUniversity of PennsylvaniaZweryfikowany adres z acm.org
- Greg MorrisettDean and Professor, Cornell UniversityZweryfikowany adres z cornell.edu
- Greg SullivanDover MicrosystemsZweryfikowany adres z sulliwood.org
- Olin ShiversNortheastern UniversityZweryfikowany adres z ccs.neu.edu
- Jonathan SmithProfessor of Computer and Information Science, University of PennsylvaniaZweryfikowany adres z cis.upenn.edu
- Florian BourseProfesseur agrégéZweryfikowany adres z ens.fr
- David NaccacheENS (Equipe Securité) & visiting RHUL (ISG)Zweryfikowany adres z ens.fr
- Antoine AmarilliI don't endorse Scholar, and just use it for recommendations and alerts. Please ignore this profile.Zweryfikowany adres z a3nm.net