รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด | ตั้งแต่ปี 2019 | |
---|---|---|
การอ้างอิง | 3031 | 705 |
ดัชนี h | 29 | 12 |
ดัชนี i10 | 63 | 20 |
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด16 บทความ
0 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
- John C MitchellProfessor of Computer Science, Stanford Universityยืนยันอีเมลแล้วที่ Stanford.edu
- Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratoryยืนยันอีเมลแล้วที่ nrl.navy.mil
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUยืนยันอีเมลแล้วที่ cmu.edu
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter Instituteยืนยันอีเมลแล้วที่ quantinuum.com
- Michael MisloveTulane Universityยืนยันอีเมลแล้วที่ tulane.edu
- James WorrellProfessor of Computer Science, Oxford Universityยืนยันอีเมลแล้วที่ cs.ox.ac.uk
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKยืนยันอีเมลแล้วที่ cs.bham.ac.uk
- Jamie VicaryUniversity of Cambridgeยืนยันอีเมลแล้วที่ cl.cam.ac.uk
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon Universityยืนยันอีเมลแล้วที่ cmu.edu
- Paul SyversonMathematician, U.S. Naval Research Laboratoryยืนยันอีเมลแล้วที่ nrl.navy.mil
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, Seattleยืนยันอีเมลแล้วที่ uw.edu
- Samson AbramskyProfessor of Computer Science, UCLยืนยันอีเมลแล้วที่ ucl.ac.uk
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University Nijmegenยืนยันอีเมลแล้วที่ ru.nl
- Trajce DimkovPhD Researcher, University of Twenteยืนยันอีเมลแล้วที่ utwente.nl
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusยืนยันอีเมลแล้วที่ mpi-sws.org
- Sava KrsticResearch Scientist, Intel Corp.ยืนยันอีเมลแล้วที่ intel.com
- John LaunchburyChief Scientist, Galoisยืนยันอีเมลแล้วที่ galois.com
- Bertfried FauserKonstanz Germany