Computing Science Japan Advanced Institute of Science and Technology Nomi Japan

  1. Home
  2. search page
  3. affiliation

Computing Science Japan Advanced Institute of Science and Technology Nomi Japan

국가: Andorra
주요 연구 분야: Verification
주요 키워드: #challenge #quantum #computers
주요 저자:
#Canh Minh Do #Tsubasa Takagi #Kazuhiro Ogata

📄 기관 상세정보

출판수1
총 인용수0
평균 인용수0.00
저자 수3
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (1건)

Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic
저자: Canh Minh Do , Tsubasa Takagi , Kazuhiro Ogata
키워드: #challenge #quantum #computers #cryptography #rewriting
파트: Verification | 연도: 2025