내 프로필 만들기
공개 액세스
모두 보기자료 15개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- John C MitchellProfessor of Computer Science, Stanford UniversityStanford.edu의 이메일 확인됨
- Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratorynrl.navy.mil의 이메일 확인됨
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUcmu.edu의 이메일 확인됨
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter Institutequantinuum.com의 이메일 확인됨
- Michael MisloveTulane Universitytulane.edu의 이메일 확인됨
- James WorrellProfessor of Computer Science, Oxford Universitycs.ox.ac.uk의 이메일 확인됨
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKcs.bham.ac.uk의 이메일 확인됨
- Jamie VicaryUniversity of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon Universitycmu.edu의 이메일 확인됨
- Paul SyversonMathematician, U.S. Naval Research Laboratorynrl.navy.mil의 이메일 확인됨
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, Seattleuw.edu의 이메일 확인됨
- Samson AbramskyProfessor of Computer Science, UCLucl.ac.uk의 이메일 확인됨
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University Nijmegenru.nl의 이메일 확인됨
- Trajce DimkovPhD Researcher, University of Twenteutwente.nl의 이메일 확인됨
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusmpi-sws.org의 이메일 확인됨
- Sava KrsticResearch Scientist, Intel Corp.intel.com의 이메일 확인됨
- John LaunchburyChief Scientist, Galoisgalois.com의 이메일 확인됨
- Bertfried FauserKonstanz Germany