Updated weekly. Details via Crossref

Crossref	Scopus	Google Scholar
3	2	Search

2026	Lecture Notes in Computer Science Yoann Marquer, Domenico Bianculli
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