Author:
Anticoli Linda,Piazza Carla,Taglialegne Leonardo,Zuliani Paolo
Publisher
Springer International Publishing
Reference8 articles.
1. Lecture Notes in Computer Science;Y Feng,2015
2. Feng, Y., Yu, N., Ying, M.: Model checking quantum Markov chains. J. Comput. Syst. Sci. 79, 1181–1198 (2013)
3. Gay, S., Nagarajan, R., Papanikolaou, N.: Probabilistic model-checking of quantum protocols. In: Proceedings of the 2nd International Workshop on Developments in Computational Models (2006)
4. Green, A.S., Lumsdaine, P.L., Ross, N.J., Selinger, P., Valiron, B.: Quipper: a scalable quantum programming language. SIGPLAN Not. 48(6), 333–342 (2013)
5. Knill, E.: Conventions for Quantum Pseudocode. Technical report, Los Alamos National Laboratory (1996)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Speeding up Answer Set Programming by Quantum Computing;Proceedings of the 2024 Workshop on Quantum Search and Information Retrieval;2024-06-03
2. Quantum encoding of dynamic directed graphs;Journal of Logical and Algebraic Methods in Programming;2024-01
3. Formal Verification of Quantum Programs: Theory, Tools, and Challenges;ACM Transactions on Quantum Computing;2023-12-16
4. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits;Proceedings of the ACM on Programming Languages;2023-06-06
5. AutoQ: An Automata-Based Quantum Circuit Verifier;Computer Aided Verification;2023