Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 3029 | 703 |
h-index | 29 | 12 |
i10-index | 63 | 20 |
Acces public
Afișați-le pe toate16 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- John C MitchellProfessor of Computer Science, Stanford UniversityAdresă de e-mail confirmată pe Stanford.edu
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryAdresă de e-mail confirmată pe nrl.navy.mil
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUAdresă de e-mail confirmată pe cmu.edu
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteAdresă de e-mail confirmată pe quantinuum.com
- Michael MisloveTulane UniversityAdresă de e-mail confirmată pe tulane.edu
- James WorrellProfessor of Computer Science, Oxford UniversityAdresă de e-mail confirmată pe cs.ox.ac.uk
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKAdresă de e-mail confirmată pe cs.bham.ac.uk
- Jamie VicaryUniversity of CambridgeAdresă de e-mail confirmată pe cl.cam.ac.uk
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityAdresă de e-mail confirmată pe cmu.edu
- Paul SyversonMathematician, U.S. Naval Research LaboratoryAdresă de e-mail confirmată pe nrl.navy.mil
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, SeattleAdresă de e-mail confirmată pe uw.edu
- Samson AbramskyProfessor of Computer Science, UCLAdresă de e-mail confirmată pe ucl.ac.uk
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenAdresă de e-mail confirmată pe ru.nl
- Trajce DimkovPhD Researcher, University of TwenteAdresă de e-mail confirmată pe utwente.nl
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresă de e-mail confirmată pe mpi-sws.org
- Sava KrsticResearch Scientist, Intel Corp.Adresă de e-mail confirmată pe intel.com
- John LaunchburyChief Scientist, GaloisAdresă de e-mail confirmată pe galois.com
- Bertfried FauserKonstanz Germany
Urmăriți
dusko pavlovic
Professor at University of Hawaii
Adresă de e-mail confirmată pe hawaii.edu - Pagina de pornire