Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Zuliani, Paolo
2007.
A Formal Derivation of Grover's Quantum Search Algorithm.
p.
67.
Selesnick, S. A.
2007.
Type structure and chiral breaking in the standard model.
Journal of Mathematical Physics,
Vol. 48,
Issue. 7,
Feng, Yuan
Duan, Runyao
Ji, Zhengfeng
and
Ying, Mingsheng
2007.
Probabilistic bisimulations for quantum processes.
Information and Computation,
Vol. 205,
Issue. 11,
p.
1608.
Lampis, Michael
Ginis, Kyriakos G.
Papakyriakou, Michalis A.
and
Papaspyrou, Nikolaos S.
2008.
Quantum Data and Control Made Easier.
Electronic Notes in Theoretical Computer Science,
Vol. 210,
Issue. ,
p.
85.
Perdrix, Simon
2008.
A Hierarchy of Quantum Semantics.
Electronic Notes in Theoretical Computer Science,
Vol. 192,
Issue. 3,
p.
71.
Perdrix, Simon
2008.
Static Analysis.
Vol. 5079,
Issue. ,
p.
270.
Sofge, Donald A.
2008.
A Survey of Quantum Programming Languages: History, Methods, and Tools.
p.
66.
Ying, Mingsheng
Duan, Runyao
Feng, Yuan
and
Ji, Zhengfeng
2009.
Semantic Techniques in Quantum Computation.
p.
311.
Nyman, Peter
2009.
Quantum Interaction.
Vol. 5494,
Issue. ,
p.
158.
Rüdiger, Roland
2009.
Quantenprogrammierung.
Informatik-Spektrum,
Vol. 32,
Issue. 2,
p.
93.
Jorrand, Philippe
and
Perdrix, Simon
2009.
Semantic Techniques in Quantum Computation.
p.
206.
Zuliani, Paolo
2009.
Reasoning about faulty quantum programs.
Acta Informatica,
Vol. 46,
Issue. 6,
p.
403.
Gay, Simon J.
Nagarajan, Rajagopal
and
Papanikolaou, Nikolaos
2009.
Semantic Techniques in Quantum Computation.
p.
414.
Altenkirch, Thorsten
and
Green, Alexander S.
2009.
Semantic Techniques in Quantum Computation.
p.
173.
Hines, P.
2010.
New Structures for Physics.
Vol. 813,
Issue. ,
p.
941.
Gielerak, Roman
and
Sawerwain, Marek
2010.
Generalised quantum weakest preconditions.
Quantum Information Processing,
Vol. 9,
Issue. 4,
p.
441.
Dal Lago, Ugo
Masini, Andrea
and
Zorzi, Margherita
2010.
Quantum implicit computational complexity.
Theoretical Computer Science,
Vol. 411,
Issue. 2,
p.
377.
Ying, Mingsheng
2010.
Quantum computation, quantum theory and AI.
Artificial Intelligence,
Vol. 174,
Issue. 2,
p.
162.
Ying, Mingsheng
and
Feng, Yuan
2010.
Quantum loop programs.
Acta Informatica,
Vol. 47,
Issue. 4,
p.
221.
Ying, Mingsheng
2010.
Programming Languages and Systems.
Vol. 6461,
Issue. ,
p.
16.