Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
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.
Zuliani, Paolo
2007.
A Formal Derivation of Grover's Quantum Search Algorithm.
p.
67.
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.
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.
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.
Altenkirch, Thorsten
and
Green, Alexander S.
2009.
Semantic Techniques in Quantum Computation.
p.
173.
Ying, Mingsheng
Duan, Runyao
Feng, Yuan
and
Ji, Zhengfeng
2009.
Semantic Techniques in Quantum Computation.
p.
311.
Jorrand, Philippe
and
Perdrix, Simon
2009.
Semantic Techniques in Quantum Computation.
p.
206.
Gay, Simon J.
Nagarajan, Rajagopal
and
Papanikolaou, Nikolaos
2009.
Semantic Techniques in Quantum Computation.
p.
414.
Nyman, Peter
2009.
Quantum Interaction.
Vol. 5494,
Issue. ,
p.
158.
Ying, Mingsheng
2010.
Quantum computation, quantum theory and AI.
Artificial Intelligence,
Vol. 174,
Issue. 2,
p.
162.
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.
Ying, Mingsheng
2010.
Programming Languages and Systems.
Vol. 6461,
Issue. ,
p.
16.
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.