Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Juliana Kaizer Vizzotto
2010 – today
- 2011
[j4]Juliana Kaizer Vizzotto, André Rauber Du Bois: Modelling Parallel Quantum Computing Using Transactional Memory. Electr. Notes Theor. Comput. Sci. 270(1): 183-190 (2011)
2000 – 2009
- 2009
[c2]Juliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry: Reasoning about General Quantum Programs over Mixed States. SBMF 2009: 321-335
[c1]Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry: The Arrow Calculus as a Quantum Programming Language. WoLLIC 2009: 379-393- 2008
[j3]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
[j2]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
[j1]Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry: Structuring quantum effects: superoperators as arrows. Mathematical Structures in Computer Science 16(3): 453-468 (2006)- 2005
[i1]Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry: Structuring quantum effects: superoperators as arrows. CoRR abs/quant-ph/0501151 (2005)
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 22:06 CET by the dblp team



