自分のプロフィールを作成
オープン アクセス
すべて表示15 件の論文
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