 | 2009 |
|---|
| 6 |       | Juliana Kaizer Vizzotto,
Giovani Rubert Librelotto,
Amr Sabry:
Reasoning about General Quantum Programs over Mixed States.
SBMF 2009: 321-335 |
| 5 | | Juliana Kaizer Vizzotto,
André Rauber Du Bois,
Amr Sabry:
The Arrow Calculus as a Quantum Programming Language.
WoLLIC 2009: 379-393 |
| 2008 |
|---|
| 4 | | Juliana Kaizer Vizzotto,
Antônio Carlos da Rocha Costa,
Amr Sabry:
Quantum Arrows in Haskell.
Electr. Notes Theor. Comput. Sci. 210: 139-152 (2008) |
| 2007 |
|---|
| 3 | | Thorsten Altenkirch,
Jonathan Grattage,
Juliana Kaizer Vizzotto,
Amr Sabry:
An Algebra of Pure Quantum Programming.
Electr. Notes Theor. Comput. Sci. 170: 23-47 (2007) |
| 2006 |
|---|
| 2 | | Juliana Kaizer Vizzotto,
Thorsten Altenkirch,
Amr Sabry:
Structuring quantum effects: superoperators as arrows.
Mathematical Structures in Computer Science 16(3): 453-468 (2006) |
| 2005 |
|---|
| 1 | | Juliana Kaizer Vizzotto,
Thorsten Altenkirch,
Amr Sabry:
Structuring quantum effects: superoperators as arrows
CoRR abs/quant-ph/0501151: (2005) |
