×

Found 8 Documents (Results 1–8)

Newest Citations Relevance
Gay, Simon J.; Nagarajan, Rajagopal

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).
MSC:  81P45 68Q60 81P94
Cite Review PDF
Full Text: DOI
Nagarajan, Rajagopal; Papanikolaou, Nikolaos; Williams, David

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).
MSC:  68Q05 81P68 68N20
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

Serial

Year of Publication

Main Field

all top 3

Software