An algebra of pure quantum programming T Altenkirch, J Grattage, JK Vizzotto, A Sabry Electronic Notes in Theoretical Computer Science 170, 23-47, 2007 | 54 | 2007 |
Structuring quantum effects: Superoperators as arrows J Vizzotto, T Altenkirch, A Sabry Mathematical structures in computer science 16 (3), 453-468, 2006 | 49 | 2006 |
From symmetric pattern-matching to quantum control A Sabry, B Valiron, JK Vizzotto Foundations of Software Science and Computation Structures: 21st …, 2018 | 44 | 2018 |
Concurrent quantum programming in Haskell JK Vizzotto, AC da Rocha Costa VII Congresso Brasileiro de Redes Neurais, Sessao de Computaçao Quântica, 2005 | 16 | 2005 |
Quantum computing: State-of-art and challenges JK Vizzotto 2013 2nd Workshop-School on Theoretical Computer Science, 9-13, 2013 | 14 | 2013 |
The arrow calculus as a quantum programming language JK Vizzotto, AR Du Bois, A Sabry Logic, Language, Information and Computation: 16th International Workshop …, 2009 | 14 | 2009 |
A Double Effect λ-calculus for Quantum Computation JK Vizzotto, BC Calegaro, EK Piveta Brazilian Symposium on Programming Languages, 61-74, 2013 | 12 | 2013 |
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 | 10 | 2016 |
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 |
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 |
Composable memory transactions for java using a monadic intermediate language R Bandeira, AR Du Bois, M Pilla, J Vizzotto, M Machado Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte …, 2015 | 2 | 2015 |