Concepedia

Juliana Kaizer Vizzotto

JK

3

Publications

87

Citations

3

H-Index

2006

Active since

Affiliations

Indiana University(Current)

University of Nottingham

Universidade Federal do Rio Grande do Sul

Juliana Kaizer Vizzotto is an author at Indiana University specializing in quantum entanglement, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsQuantum ScienceComputer ScienceQuantum ComputingQuantum ProgrammingQuantum EntanglementQuantum Programming LanguagesPhysicsNatural Sciences

Publications per year

2006–2016

3

Publications

3

An Algebra of Pure Quantum Programming

Thorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto et al. · Electronic Notes in Theoretical Computer Science · 2007 · 38 citations · Full text

Structuring quantum effects: superoperators as arrows

Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry · Mathematical Structures in Computer Science · 2006 · 36 citations · Full text

Engineering, Haskell Programming Language, Quantum Programming Languages +17

FJQuantum – A Quantum Object Oriented Language

Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta et al. · Electronic Notes in Theoretical Computer Science · 2016 · 13 citations · Full text

Quantum Science, Engineering, Quantum Computing +13

Rows per page

1–3 of 3