Encodability criteria for quantum based systems. (English) Zbl 07872352
MSC:
68Q12
Found 24 Documents (Results 1–24)
Describing and animating quantum protocols. (English) Zbl 07920685
Palmigiano, Alessandra (ed.) et al., Samson Abramsky on logic and structure in computer science and beyond. Cham: Springer. Outst. Contrib. Log. 25, 447-473 (2023).
Encodability criteria for quantum based systems. (English) Zbl 1499.68234
Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 151-169 (2022).
Verifying quantum communication protocols with ground bisimulation. (English) Zbl 1473.68115
Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 21-38 (2020).
On well-founded and recursive coalgebras. (English) Zbl 1455.18001
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020).
Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur)
Probabilistic process algebra to unifying quantum and classical computing in closed systems. (English) Zbl 1428.81062
Bisimulations for probabilistic and quantum processes (invited paper). (English) Zbl 1520.68093
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 2, 14 p. (2018).
MSC:
68Q85
Formalization of quantum protocols using Coq. (English) Zbl 1477.68528
Heunen, Chris (ed.) et al., Proceedings of the 12th international workshop on quantum physics and logic, QPL’15, Oxford, UK, July 15–17, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 195, 71-83 (2015).
Equational reasoning about quantum protocols. (English) Zbl 1464.81018
Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9138, 155-170 (2015).
Termination of nondeterministic quantum programs. (English) Zbl 1359.68092
MSC:
68Q12
Techniques for formal modelling and analysis of quantum systems. (English) Zbl 1264.81073
Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 264-276 (2013).
Bisimulation for quantum processes. (English) Zbl 1284.68425
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 523-534 (2011).
Quantum arrows in Haskell. (English) Zbl 1279.68047
Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 139-152 (2008).
Classical knowledge for quantum cryptographic reasoning. (English) Zbl 1277.81039
Danos, Vincent (ed.) et al., Proceedings of the third international workshop on developments in computational models (DCM 2007), Wrocław, Poland, July 15, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 3, 39-58 (2008).
Quantum patterns and types for entanglement and separability. (English) Zbl 1277.68066
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 125-138 (2007).
Simulating and compiling code for the sequential quantum random access machine. (English) Zbl 1277.68078
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 101-124 (2007).
Distributed measurement-based quantum computation. (English) Zbl 1277.68174
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 73-94 (2007).
A process algebra for reasoning about quantum security. (English) Zbl 1277.68157
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 3-21 (2007).
Filter Results by …
Document Type
- Journal Articles (9)
- Collection Articles (15)
all
top 5
Author
- Deng, Yuxin (5)
- Ying, Mingsheng (5)
- Feng, Yuan (4)
- Nagarajan, Rajagopal (4)
- D’Hondt, Ellie (3)
- Danos, Vincent (2)
- Duan, Runyao (2)
- Gay, Simon J. (2)
- Li, Yangjia (2)
- Peters, Kirstin (2)
- Schmitt, Anna (2)
- Wang, Yong (2)
- Yu, Nengkun (2)
- Adámek, Jiří (1)
- Adão, Pedro (1)
- Boender, Jaap P. (1)
- Bornat, Richard (1)
- da Rocha Costa, Antônio Carlos (1)
- Dai, Guiping (1)
- Du, Wenjie (1)
- Ji, Zhengfeng (1)
- Kammüller, Florian (1)
- Kashefi, Elham (1)
- Long, Huan (1)
- Mateus, Paulo C. (1)
- Milius, Stefan (1)
- Moss, Lawrence S. (1)
- Panangaden, Prakash (1)
- Papanikolaou, Nikolaos I. (1)
- Perdrix, Simon (1)
- Puthoor, Ittoop Vergheese (1)
- Qin, Xudong (1)
- Ren, Xingtian (1)
- Sabry, Amr (1)
- Vandriessche, Yves (1)
- Vizzotto, Juliana Kaizer (1)
- Yang, Qizhe (1)
all
top 5
Serial
- Int. J. Theor. Phys. (2)
- ACM Trans. Comput. Log. (2)
- Acta Inf. (1)
- Inf. Process. Lett. (1)
- Inf. Comput. (1)
- Nat. Comput. (1)
- Log. Methods Comput. Sci. (1)
