An Algebra of Pure Quantum Programming. - Thorsten Altenkirch; Jonathan Grattage; Juliana Kaizer Vizzotto; Amr Sabry (QPL, 2005)

Quantum Arrows in Haskell. - Juliana Kaizer Vizzotto; Antônio Carlos da Rocha Costa; Amr Sabry (QPL, 2006)

Structuring quantum effects: superoperators as arrows. - Juliana Kaizer Vizzotto; Thorsten Altenkirch; Amr Sabry (Math. Struct. Comput. Sci., 2006)

Estruturando computaçõoes quânticas gerais e completas em Haskell: abordagem das setas. - Juliana Kaizer Vizzotto (2006)

Modelling Parallel Quantum Computing Using Transactional Memory. - Juliana Kaizer Vizzotto; André Rauber Du Bois (QPL/DCM@ICALP, 2008)

Reasoning about General Quantum Programs over Mixed States. - Juliana Kaizer Vizzotto; Giovani Rubert Librelotto; Amr Sabry (SBMF, 2009)

The Arrow Calculus as a Quantum Programming Language. - Juliana Kaizer Vizzotto; André Rauber Du Bois; Amr Sabry (WoLLIC, 2009)

Aplicando o OntoHealth para o Processamento e Consultas de Ontologias para Ambientes Hospitalares Pervasivos. - Giovani Rubert Librelotto; Jonas Bulegon Gassen; Leandro Oliveira Freitas; Juliana Kaizer Vizzotto; Fabio Lorenzi da Silva; Iara Augustin (Braz. J. Inf. Syst., 2009)

A Double Effect λ-calculus for Quantum Computation. - Juliana Kaizer Vizzotto; Bruno Crestani Calegaro; Eduardo Kessler Piveta (SBLP, 2013)

Quantum Monad Using Java Closures. - Bruno Crestani Calegaro; Juliana Kaizer Vizzotto (WEIT, 2013)

Quantum Computing: State-of-Art and Challenges. - Juliana Kaizer Vizzotto (WEIT, 2013)

Composable Memory Transactions for Java Using a Monadic Intermediate Language. - Rafael Bandeira; André Rauber Du Bois; Maurício L. Pilla; Juliana Kaizer Vizzotto; Marcelo Machado (SBLP, 2015)

FJQuantum - A Quantum Object Oriented Language. - Samuel da Silva Feitosa; Juliana Kaizer Vizzotto; Eduardo Kessler Piveta; André Rauber Du Bois (WEIT, 2015)

Preface. - Juliana Kaizer Vizzotto (WEIT, 2015)

Typed context awareness Ambient Calculus for pervasive applications. - Douglas Pereira Pasqualin; Juliana Kaizer Vizzotto; Eduardo Kessler Piveta (Formal Aspects Comput., 2015)

QJava: A Monadic Java Library for Quantum Programming. - Juliana Kaizer Vizzotto; Bruno Crestani Calegaro (RITA, 2015)

A Monadic Semantics for Quantum Computing in Featherweight Java. - Samuel da Silva Feitosa; Juliana Kaizer Vizzotto; Eduardo Kessler Piveta; André Rauber Du Bois (SBLP, 2016)

From Symmetric Pattern-Matching to Quantum Control. - Amr Sabry; Benoît Valiron; Juliana Kaizer Vizzotto (FoSSaCS, 2018)

AsyncRFJ: an asynchronous approach to reactive object-oriented programming. - Diogo J. Cardoso; Juliana Kaizer Vizzotto; Eduardo Kessler Piveta (SBLP, 2018)

From Symmetric Pattern-Matching to Quantum Control (Extended Version). - Amr Sabry; Benoît Valiron; Juliana Kaizer Vizzotto (CoRR, 2018)

A Refactoring Catalog for Lambda Expressions in Java. - Jânio Elias Teixeira Júnior; Heres Edison Valdivieso Tobar Neto; Cristiano De Faveri; Deise de Brum Saccol; Juliana Kaizer Vizzotto; Eduardo Kessler Piveta (Int. J. Softw. Eng. Knowl. Eng., 2019)

A monadic semantics for quantum computing in an object oriented language. - Samuel da Silva Feitosa; Juliana Kaizer Vizzotto; Eduardo Kessler Piveta; André Rauber Du Bois (Sci. Comput. Program., 2019)