Juliana Kaizer Vizzotto

zbMath Openvizzotto.juliana-kaizerMaRDI QIDQ903498

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
From symmetric pattern-matching to quantum control	2018-07-17	Paper
FJQuantum. A quantum object oriented language	2017-05-19	Paper
Modelling parallel quantum computing using transactional memory Electronic Notes in Theoretical Computer Science	2016-10-07	Paper
Typed context awareness ambient calculus for pervasive applications Formal Aspects of Computing	2016-01-06	Paper
A double effect \(\lambda \)-calculus for quantum computation Programming Languages	2014-04-16	Paper
Quantum arrows in Haskell Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
An algebra of pure quantum programming Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Grid computing for multi-spectral tomographic reconstruction of chlorophyll concentration in ocean water Integral Methods in Science and Engineering, Volume 2	2010-05-14	Paper
Reasoning about general quantum programs over mixed states Lecture Notes in Computer Science	2009-12-09	Paper
The Arrow Calculus as a Quantum Programming Language Logic, Language, Information and Computation	2009-07-02	Paper
Structuring quantum effects: superoperators as arrows Mathematical Structures in Computer Science	2006-08-28	Paper

Research outcomes over time

This page was built for person: Juliana Kaizer Vizzotto