Juliana Kaizer Vizzotto

26 papers B 1C 1Journal 8Unranked 14
YearRankTypeTitle / Venue / Authors
2025 — conf
From Sunlight to Qubits: Visualizing Analogies between Photosynthesis and Quantum Information Systems.
ARTECH
Fernando Codevilla, Juliana Kaizer Vizzotto
2025 — conf
Modeling Quantum Computing Constraints: No-Cloning Theorem and Monadic Expressiveness with Type-Level Programming.
SBLP
Flávio Borin Júnior, Juliana Kaizer Vizzotto
2019 J jnl
A Refactoring Catalog for Lambda Expressions in Java.
Int. J. Softw. Eng. Knowl. Eng.
Jânio Elias Teixeira Júnior, Heres Edison Valdivieso Tobar Neto, Cristiano De Faveri, Deise de Brum Saccol, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta
2019 J jnl
A monadic semantics for quantum computing in an object oriented language.
Sci. Comput. Program.
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
2018 — conf
AsyncRFJ: an asynchronous approach to reactive object-oriented programming.
SBLP
Diogo J. Cardoso, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta
2018 J jnl
From Symmetric Pattern-Matching to Quantum Control (Extended Version).
CoRR
Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto
2018 B conf
From Symmetric Pattern-Matching to Quantum Control.
FoSSaCS
Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto
2016 — conf
A Monadic Semantics for Quantum Computing in Featherweight Java.
SBLP
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
2016 — ed.
Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015
WEIT
Juliana Kaizer Vizzotto
2015 — conf
Composable Memory Transactions for Java Using a Monadic Intermediate Language.
SBLP
Rafael Bandeira, André Rauber Du Bois, Maurício L. Pilla, Juliana Kaizer Vizzotto, Marcelo Machado
2015 — conf
FJQuantum - A Quantum Object Oriented Language.
WEIT
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
2015 — conf
Preface.
WEIT
Juliana Kaizer Vizzotto
2015 J jnl
QJava: A Monadic Java Library for Quantum Programming.
RITA
Juliana Kaizer Vizzotto, Bruno Crestani Calegaro
2015 J jnl
Typed context awareness Ambient Calculus for pervasive applications.
Formal Aspects Comput.
Douglas Pereira Pasqualin, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta
2013 — conf
A Double Effect λ-calculus for Quantum Computation.
SBLP
Juliana Kaizer Vizzotto, Bruno Crestani Calegaro, Eduardo Kessler Piveta
2013 — conf
Quantum Computing: State-of-Art and Challenges.
WEIT
Juliana Kaizer Vizzotto
2013 — conf
Quantum Monad Using Java Closures.
WEIT
Bruno Crestani Calegaro, Juliana Kaizer Vizzotto
2009 J jnl
Aplicando o OntoHealth para o Processamento e Consultas de Ontologias para Ambientes Hospitalares Pervasivos.
Braz. J. Inf. Syst.
Giovani Rubert Librelotto, Jonas Bulegon Gassen, Leandro Oliveira Freitas, Juliana Kaizer Vizzotto, Fabio Lorenzi da Silva, Iara Augustin
2009 — conf
Reasoning about General Quantum Programs over Mixed States.
SBMF
Juliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry
2009 C conf
The Arrow Calculus as a Quantum Programming Language.
WoLLIC
Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry
2008 — conf
Modelling Parallel Quantum Computing Using Transactional Memory.
QPL/DCM@ICALP
Juliana Kaizer Vizzotto, André Rauber Du Bois
2006 — —
Estruturando computaçõoes quânticas gerais e completas em Haskell: abordagem das setas.
Juliana Kaizer Vizzotto
2006 — conf
Quantum Arrows in Haskell.
QPL
Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry
2006 J jnl
Structuring quantum effects: superoperators as arrows.
Math. Struct. Comput. Sci.
Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry
2005 — conf
An Algebra of Pure Quantum Programming.
QPL
Thorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto, Amr Sabry
2005 J jnl
Structuring quantum effects: superoperators as arrows
CoRR
Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry