Juliana Kaizer Vizzotto

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 8

Top Venues

SBLP

Electron. Notes Theor. Comput. Sci.

FoSSaCS

CoRR

Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil (PHD)

Education History

Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil

PHD

Publications

Jânio Elias Teixeira Júnior, Heres Edison Valdivieso Tobar Neto, Cristiano De Faveri, Deise de Brum Saccol, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta
A Refactoring Catalog for Lambda Expressions in Java. Int. J. Softw. Eng. Knowl. Eng. 29 (6) (2019)
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
A monadic semantics for quantum computing in an object oriented language. Sci. Comput. Program. 173 (2019)
Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto
From Symmetric Pattern-Matching to Quantum Control (Extended Version). CoRR (2018)
Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto
From Symmetric Pattern-Matching to Quantum Control. FoSSaCS (2018)
Diogo J. Cardoso, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta
AsyncRFJ: an asynchronous approach to reactive object-oriented programming. SBLP (2018)
Juliana Kaizer Vizzotto
Preface. Electron. Notes Theor. Comput. Sci. 324 (2016)
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
A Monadic Semantics for Quantum Computing in Featherweight Java. SBLP (2016)
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
FJQuantum - A Quantum Object Oriented Language. Electron. Notes Theor. Comput. Sci. 324 (2016)
Douglas Pereira Pasqualin, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta
Typed context awareness Ambient Calculus for pervasive applications. Formal Aspects Comput. 27 (5-6) (2015)
Juliana Kaizer Vizzotto, Bruno Crestani Calegaro
QJava: A Monadic Java Library for Quantum Programming. RITA 22 (1) (2015)
Rafael Bandeira, André Rauber Du Bois, Maurício L. Pilla, Juliana Kaizer Vizzotto, Marcelo Machado
Composable Memory Transactions for Java Using a Monadic Intermediate Language. SBLP (2015)
Juliana Kaizer Vizzotto, Bruno Crestani Calegaro, Eduardo Kessler Piveta
A Double Effect λ-calculus for Quantum Computation. SBLP (2013)
Juliana Kaizer Vizzotto
Quantum Computing: State-of-Art and Challenges. WEIT (2013)
Bruno Crestani Calegaro, Juliana Kaizer Vizzotto
Quantum Monad Using Java Closures. WEIT (2013)
Juliana Kaizer Vizzotto, André Rauber Du Bois
Modelling Parallel Quantum Computing Using Transactional Memory. Electron. Notes Theor. Comput. Sci. 270 (1) (2011)
Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry
The Arrow Calculus as a Quantum Programming Language. WoLLIC (2009)
Juliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry
Reasoning about General Quantum Programs over Mixed States. SBMF (2009)
Giovani Rubert Librelotto, Jonas Bulegon Gassen, Leandro Oliveira Freitas, Juliana Kaizer Vizzotto, Fabio Lorenzi da Silva, Iara Augustin
Aplicando o OntoHealth para o Processamento e Consultas de Ontologias para Ambientes Hospitalares Pervasivos. Braz. J. Inf. Syst. 2 (2009)
Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry
Quantum Arrows in Haskell. Electron. Notes Theor. Comput. Sci. 210 (2008)
Thorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto, Amr Sabry
An Algebra of Pure Quantum Programming. Electron. Notes Theor. Comput. Sci. 170 (2007)
Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry
Structuring quantum effects: superoperators as arrows. Math. Struct. Comput. Sci. 16 (3) (2006)
Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry
Structuring quantum effects: superoperators as arrows CoRR (2005)

Juliana Kaizer Vizzotto.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Juliana Kaizer Vizzotto