Juliana Kaizer Vizzotto

According to our database, Juliana Kaizer Vizzotto authored at least 24 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Modeling Quantum Computing Constraints: No-Cloning Theorem and Monadic Expressiveness with Type-Level Programming.

Flávio Borin Júnior, Juliana Kaizer Vizzotto

Proceedings of the 29th Brazilian Symposium on Programming Languages, 2025

From Sunlight to Qubits: Visualizing Analogies between Photosynthesis and Quantum Information Systems.

Fernando Codevilla, Juliana Kaizer Vizzotto

Proceedings of the 2025 12th International Conference on Digital and Interactive Arts: Media Art Cultures, 2025

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

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

2018

From Symmetric Pattern-Matching to Quantum Control (Extended Version).

Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto

CoRR, 2018

AsyncRFJ: an asynchronous approach to reactive object-oriented programming.

Diogo J. Cardoso, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

From Symmetric Pattern-Matching to Quantum Control.

Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2016

A Monadic Semantics for Quantum Computing in Featherweight Java.

Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

2015

QJava: A Monadic Java Library for Quantum Programming.

Juliana Kaizer Vizzotto, Bruno Crestani Calegaro

RITA, 2015

Typed context awareness Ambient Calculus for pervasive applications.

Douglas Pereira Pasqualin, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta

Formal Aspects Comput., 2015

Preface.

Juliana Kaizer Vizzotto

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

FJQuantum - A Quantum Object Oriented Language.

Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

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

Proceedings of the Programming Languages, 2015

2013

Quantum Computing: State-of-Art and Challenges.

Juliana Kaizer Vizzotto

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Quantum Monad Using Java Closures.

Bruno Crestani Calegaro, Juliana Kaizer Vizzotto

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

A Double Effect λ-calculus for Quantum Computation.

Juliana Kaizer Vizzotto, Bruno Crestani Calegaro, Eduardo Kessler Piveta

Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013

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

The Arrow Calculus as a Quantum Programming Language.

Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry

Proceedings of the Logic, 2009

Reasoning about General Quantum Programs over Mixed States.

Juliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry

Proceedings of the Formal Methods: Foundations and Applications, 2009

2008

Modelling Parallel Quantum Computing Using Transactional Memory.

Juliana Kaizer Vizzotto, André Rauber Du Bois

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008

2006

Estruturando computaçõoes quânticas gerais e completas em Haskell: abordagem das setas.

Juliana Kaizer Vizzotto

PhD thesis, 2006

Structuring quantum effects: superoperators as arrows.

Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry

Math. Struct. Comput. Sci., 2006

Quantum Arrows in Haskell.

Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry

Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006

2005

An Algebra of Pure Quantum Programming.

Thorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto, Amr Sabry

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005