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.
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,
Sofge, Donald A.
2008.
A Survey of Quantum Programming Languages: History, Methods, and Tools.
p.
66.
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.
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.
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.
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.
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.
Hines, P.
2010.
New Structures for Physics.
Vol. 813,
Issue. ,
p.
941.
Ying, Mingsheng
and
Feng, Yuan
2010.
Quantum loop programs.
Acta Informatica,
Vol. 47,
Issue. 4,
p.
221.
Dal Lago, Ugo
Masini, Andrea
and
Zorzi, Margherita
2010.
Quantum implicit computational complexity.
Theoretical Computer Science,
Vol. 411,
Issue. 2,
p.
377.
Gielerak, Roman
and
Sawerwain, Marek
2010.
Generalised quantum weakest preconditions.
Quantum Information Processing,
Vol. 9,
Issue. 4,
p.
441.
Ying, Mingsheng
2010.
Programming Languages and Systems.
Vol. 6461,
Issue. ,
p.
16.
Ying, Mingsheng
2010.
Quantum computation, quantum theory and AI.
Artificial Intelligence,
Vol. 174,
Issue. 2,
p.
162.