Updated weekly. Details via Crossref

Crossref	Scopus	Google Scholar
2	2	Search

2025	Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic ACM Transactions on Software Engineering and Methodology Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
2025	Lecture Notes in Computer Science Canh Minh Do, Kazuhiro Ogata