Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Feng, Yuan
Duan, Runyao
Ji, Zhengfeng
and
Ying, Mingsheng
2007.
Probabilistic bisimulations for quantum processes.
Information and Computation,
Vol. 205,
Issue. 11,
p.
1608.
Selesnick, S. A.
2007.
Type structure and chiral breaking in the standard model.
Journal of Mathematical Physics,
Vol. 48,
Issue. 7,
Zuliani, Paolo
2007.
A Formal Derivation of Grover's Quantum Search Algorithm.
p.
67.
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.
Sofge, Donald A.
2008.
A Survey of Quantum Programming Languages: History, Methods, and Tools.
p.
66.
Perdrix, Simon
2008.
Static Analysis.
Vol. 5079,
Issue. ,
p.
270.
Altenkirch, Thorsten
and
Green, Alexander S.
2009.
Semantic Techniques in Quantum Computation.
p.
173.
Nyman, Peter
2009.
Quantum Interaction.
Vol. 5494,
Issue. ,
p.
158.
Gay, Simon J.
Nagarajan, Rajagopal
and
Papanikolaou, Nikolaos
2009.
Semantic Techniques in Quantum Computation.
p.
414.
Zuliani, Paolo
2009.
Reasoning about faulty quantum programs.
Acta Informatica,
Vol. 46,
Issue. 6,
p.
403.
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.
Ying, Mingsheng
Duan, Runyao
Feng, Yuan
and
Ji, Zhengfeng
2009.
Semantic Techniques in Quantum Computation.
p.
311.
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.
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.
Gielerak, Roman
and
Sawerwain, Marek
2010.
Generalised quantum weakest preconditions.
Quantum Information Processing,
Vol. 9,
Issue. 4,
p.
441.
Hines, P.
2010.
New Structures for Physics.
Vol. 813,
Issue. ,
p.
941.