Juliana Vizzotto

Cited by

	All	Since 2020
Citations	289	92
h-index	9	5
i10-index	9	2

2005200620072008200920102011201220132014201520162017201820192020202120222023202420254 12 8 11 14 6 16 7 9 5 6 31 12 24 28 14 18 19 12 25 4

Co-authors

Amr SabryProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Andre Rauber Du BoisProfessor de Ciência da Computação, Universidade Federal de PelotasVerified email at inf.ufpel.edu.br
Eduardo Kessler PivetaLecturer - Computer Science, Universidade Federal de Santa MariaVerified email at inf.ufsm.br
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Samuel da Silva FeitosaUniversidade Federal da Fronteira SulVerified email at uffs.edu.br
Bruno Crestani CalegaroProfessor de Ensino Básico, Técnico e Tecnológico; Instituto Federal de Santa Catarina; Campus ChapecóVerified email at ifsc.edu.br
Haroldo Fraga de Campos VelhoSenior Researcher, INPE (National Institute for Space Research, Brazil)Verified email at inpe.br
Andrea CharãoProfessor of Computer Science, Federal University of Santa Maria, BrazilVerified email at inf.ufsm.br
Graçaliz DimuroUniversidade Federal do Rio GrandeVerified email at furg.br
Roberto Pinto SoutoLaboratório Nacional de Computação CientíficaVerified email at lncc.br
Philippe NavauxProfessor Informatics Institute, UFRGSVerified email at inf.ufrgs.br
Mirkos MartinsComputer Science Professor UFNVerified email at ufn.edu.br
Douglas Pereira PasqualinIT Analyst, Universidade Federal de Santa MariaVerified email at inf.ufpel.edu.br
Mauricio Lima PillaUFPELVerified email at inf.ufpel.edu.br
Renata ReiserUniversidade Federal de PelotasVerified email at inf.ufpel.edu.br
Fernando DottiProfessor of Computer Science at PUCRS BrazilVerified email at pucrs.br
José Carlos RamalhoProfessor Auxiliar, Departamento de Informática, Universidade do MinhoVerified email at di.uminho.pt
Marilton Sanchotene de AguiarUniversidade Federal de PelotasVerified email at inf.ufpel.edu.br
Carlos CanalUniversity of MalagaVerified email at lcc.uma.es

Juliana Vizzotto

Professora de Ciência da Computação, Universidade Federal de Santa Maria

Verified email at inf.ufsm.br - Homepage

semântica de linguagens de programação computação quântica sistemas de tipos de linguagens de programação lógica te


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An algebra of pure quantum programming T Altenkirch, J Grattage, JK Vizzotto, A Sabry Electronic Notes in Theoretical Computer Science 170, 23-47, 2007	57	2007
From symmetric pattern-matching to quantum control A Sabry, B Valiron, JK Vizzotto Foundations of Software Science and Computation Structures: 21st …, 2018	52	2018
Structuring quantum effects: Superoperators as arrows J Vizzotto, T Altenkirch, A Sabry Mathematical structures in computer science 16 (3), 453-468, 2006	52	2006
Concurrent quantum programming in Haskell JK Vizzotto, AC da Rocha Costa VII Congresso Brasileiro de Redes Neurais, Sessao de Computaçao Quântica, 2005	17	2005
Quantum computing: State-of-art and challenges JK Vizzotto 2013 2nd Workshop-School on Theoretical Computer Science, 9-13, 2013	15	2013
The arrow calculus as a quantum programming language JK Vizzotto, AR Du Bois, A Sabry International Workshop on Logic, Language, Information, and Computation, 379-393, 2009	14	2009
FJQuantum–a quantum object oriented language SS Feitosa, JK Vizzotto, EK Piveta, AR Du Bois Electronic Notes in Theoretical Computer Science 324, 67-77, 2016	12	2016
A Double Effect λ-calculus for Quantum Computation JK Vizzotto, BC Calegaro, EK Piveta Brazilian Symposium on Programming Languages, 61-74, 2013	12	2013
Recursos midiáticos na educação a distância em enfermagem: uma revisão narrativa da literatura KS Speroni, JK Vizzotto Vidya 35 (1), 16-16, 2015	10	2015
Reasoning about general quantum programs over mixed states JK Vizzotto, GR Librelotto, A Sabry Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009	9	2009
Quantum arrows in haskell JK Vizzotto, AC da Rocha Costa, A Sabry Electronic Notes in Theoretical Computer Science 210, 139-152, 2008	6	2008
Mecânica Quântica: da Física para a Computação SS Feitosa, CL Nogueira, JK Vizzotto Revista ComInG-Communications and Innovations Gazette 1 (1), 46-56, 2016	4	2016
Quantum monad using Java closures BC Calegaro, JK Vizzotto 2013 2nd Workshop-School on Theoretical Computer Science, 34-39, 2013	4	2013
Typed context awareness ambient calculus for pervasive applications DP Pasqualin, JK Vizzotto, EK Piveta Formal Aspects of Computing 27, 885-916, 2015	3	2015
Modelling parallel quantum computing using transactional memory JK Vizzotto, AR Du Bois Electronic Notes in Theoretical Computer Science 270 (1), 183-190, 2011	3	2011
Linguagens de programação quântica-um apanhado geral JK Vizzotto, AC da Rocha Costa Workshop-Escola de Computaçao e Informaçao Quântica, 2006	3	2006
Structuring general and complete quantum computations in Haskell: the arrows approach JK Vizzotto	3	2006
A monadic semantics for quantum computing in an object oriented language S da Silva Feitosa, JK Vizzotto, EK Piveta, AR Du Bois Science of Computer Programming 173, 37-55, 2019	2	2019
A Monadic Semantics for Quantum Computing in Featherweight Java S da Silva Feitosa, JK Vizzotto, EK Piveta, AR Du Bois Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil …, 2016	2	2016
Qjava: A monadic java library for quantum programming JK Vizzotto, BC Calegaro Revista de Informática Teórica e Aplicada 22 (1), 242-266, 2015	2	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors