Juliana Kaizer Vizzotto

Produção Bibliográfica

    2019 (Total: 1)
  • ISSN A Refactoring Catalog for Lambda Expressions in Java (INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING)
    2018 (Total: 1)
  • doi ISSN A monadic semantics for quantum computing in an object oriented language (SCIENCE OF COMPUTER PROGRAMMING)
    2016 (Total: 1)
  • doi ISSN FJQuantum - A Quantum Object Oriented Language (ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE)
    2015 (Total: 2)
  • ISSN QJava: A Monadic Java Library for Quantum Programming (Revista de Informática Teórica e Aplicada: RITA)
  • doi ISSN Typed context awareness Ambient Calculus for pervasive applications (FORMAL ASPECTS OF COMPUTING)
    2011 (Total: 2)
  • doi ISSN Modelling Parallel Quantum Computing Using Transactional Memory (Electronic Notes in Theoretical Computer Science)
  • doi ISSN Simulando o Modelo ORC-OR através de autômatos celulares quânticos (Revista Brasileira de Computação Aplicada)
    2008 (Total: 1)
  • doi ISSN Quantum Arrows in Haskell (Electronic Notes in Theoretical Computer Science)
    2007 (Total: 1)
  • doi ISSN An Algebra of Pure Quantum Programming (Electronic Notes in Theoretical Computer Science)
    2006 (Total: 2)
  • ISSN Automatizacão da criacão de mapas com Google Maps (Disciplinarum Scientia. Série Ciências Naturais e Tecnológicas)
  • doi ISSN Structuring quantum effects: superoperators as arrows (MSCS. Mathematical Structures in Computer Science)
    2013 (Total: 1)
  • doi A Double Effect λ-calculus for Quantum Computation (Lecture Notes in Computer Science)
    2010 (Total: 1)
  • Grid Computing for Multi-spectral Tomografic Reconstruction of Chlorophyll Concentration in Ocean Water (Integral Methods in Science and Engineering)
    2009 (Total: 2)
  • doi Reasoning about General Quantum Programs over Mixed States (Lecture Notes in Computer Science)
  • doi The Arrow Calculus as a Quantum Programming Language (Lecture Notes in Computer Science)
    2018 (Total: 2)
  • doi AsyncRFJ (the XXII Brazilian Symposium)
  • From Symmetric Pattern-Matching to Quantum Control (International Conference on Foundations of Software Science and Computation Structures)
    2017 (Total: 3)
  • Estudo de semântica formal e sistema de tipos do RxJava (Workshop-Escola de Informática Teórica)
  • Má́quina de Turing reversível: um estudo de caso (Workshop Escola de Informática Teórica)
  • Um interpretador e typechecker para uma linguagem reversível com pattern-matching simétrico e controle quântico (Workshop-Escola de Informática Teórica)
    2016 (Total: 2)
  • A Monadic Semantics for Quantum Computing in Featherweight Java (Simpósio Brasileiro de Linguagens de Programação)
  • Interpretador e Verificador de Tipos para o Cálculo-lambda com Mônadas e Setas (I Escola de Informática Teórica e Métodos Formais (ETMF))
    2015 (Total: 2)
  • Composable Memory Transactions for Java Using a Monadic Intermediate Language (Simpósio Brasileiro de Linguagens de Programação)
  • Towards a Quantum Object-Oriented Language Based on Featherweight Java (V Workshop Escola De Computação e Informação Quântica)
    2013 (Total: 2)
  • doi Quantum Computing: State-of-Art and Challenges (2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT))
  • doi Quantum Monad Using Java Closures (2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT))
    2012 (Total: 1)
  • Estudo de Principios da Mecânica Quântica aplicados à Computação Quântica (Jornada Acadêmica Integrada)
    2011 (Total: 2)
  • Programação Quântica (26 Jornada Acadêmica Integrada)
  • Towards a Quantum Monadic Arrow Lambda-calculus (14th Brazilian Symposium on Formal Methods)
    2010 (Total: 3)
  • Aplicações de Grades Computacionais (X Escola Regional de Alto Desempenho)
  • Quantum Measurements from a Programming Point of View (Workshop Escola de Computação e Informação Quântica)
  • Simulando o modelo ORCH-OR através de autômatos celulares quânticos (II Simpósio de Computação Aplicada - SCA)
    2009 (Total: 1)
  • Um Compilador para a Linguagem Reativa Síncrona Distribuída (Third Workshop on Languages and Tools for Parallel and Distributed Programming)
    2008 (Total: 3)
  • A Semântica Formal da Linguagem RS (Simpósio Brasileiro de Linguagens de Programação)
  • Generating Semantic Networks to the PubMed (XATA 2008: 6ª Conferência Nacional)
  • Memórias transacionais e sua programação usando STM Haskell. (Simpósio Brasileiro de Linguagens de Programação)
    2007 (Total: 2)
  • Structuring General and Complete Quantum Computations in Haskell: The Arrows Approach (XX Concurso de Teses e Dissertações)
  • Towards a Monadic Approach for MArgolus Parallel Quantum Celular Automaton (First Workshop on Languages and Tools for Parallel and Distributed Programming)
    2006 (Total: 2)
  • Quantum Arrows in Haskell (4th International Workshop on Quantum Programming Languages)
  • Towards Quantum Haskell via Quantum Arrows (Primeiro Workshop-Escola de Computação e Informação Quântica)
    2005 (Total: 2)
  • Concurrent Quantum Programming in Haskell (VII Congresso Brasileiro de Redes Neurais)
  • Modelling Quantum Effects in Haskell (Semana Acadêmica PPGC/UFRGS)
    2001 (Total: 2)
  • Linking Logics for Multiparadigm Software Specification (V World Multiconference on Systems, Cybernetics and Informatics (SCI2001) - Special Sesson on Mathematical Structures in Computer Science)
  • Reutilizando Provas através de Mapeamentos entre Lógicas (IV Workshop de Métodos Formais)
    2010 (Total: 1)
  • Linguagens de Programação para a Computação Pervasiva (Escola Regional de Alto Desempenho -ERAD)
    2004 (Total: 1)
  • Teoria dos Domínios e Computação Quântica (XXVII CNMAC)
    1999 (Total: 4)
  • Avaliação Lazy e Mônadas para Entrada e Saída na Linguagem Haskell (Salão de Iniciação Científica da UFRGS)
  • Implementação de Uma Calculadora Explorando a Recursividade e a Computação Exata com Números Naturais (VIII Congresso de Iniciação Científica - Prêmio Jovem Pesquisador)
  • Uma Calculadora para Aritmética Real Recursiva (Congresso Nacional de Matemática Aplicada e Computacional)
  • Utilizando a Linguagem de Programação Funcional Haskell para Implementar a Função Semântica De um Numeral em uma Base Qualquer (Congresso de Iniciação Científica e Tecnológica)
    1998 (Total: 4)
  • Definindo a Semântica dos Numerais Binários (Congresso de Iniciação Científica)
  • Um Estudo sobre a Definição Recursiva da Aritmética nos Números Naturais (Encontro Regional de Matemática Aplicada e Computacional)
  • Um Estudo Sobre Indução e Recursão nos Números Naturais (Salão de Iniciação Científica da UFRGS)
  • Uma Definição Semântica da Linguagem dos Numerais Binários (Mostra de Iniciação Científica)

Produção Técnica

    2016 (Total: 1)
  • WEIT 2015, the Third Workshop-School on Theoretical Computer Science
    2009 (Total: 1)
  • XIII Simpósio de Linguagens de Linguagens de Programacão
    2002 (Total: 1)
  • 5th Workshop on Formal Methods
    2010 (Total: 1)
  • Aplicações de Grades Computacionais: Estudos de Caso em Meteorologia e Hidrologia
    2008 (Total: 1)
  • Linguagens de Programação para Computação Quântica
    2006 (Total: 1)
  • Linguagens de Programação Quântica
    2020 (Total: 1)
  • Um Introdução à Computação Quântica e Prospectos em Inteligência Artificial Quântica
    2014 (Total: 1)
  • Computação Quântica: Estado da Arte e Desafios
    2008 (Total: 1)
  • Computação Quântica
    2007 (Total: 1)
  • Uma Introdução a Computação Quântica
    2013 (Total: 1)
  • QJAVA: SETAS QUÂNTICAS EM JAVA
    2006 (Total: 1)
  • QHaskell
    2021 (Total: 2)
  • Revisor de periódico 'Journal of Functional Programming (Online)'
  • Revisor de periódico 'Revista do CCEI'
    2020 (Total: 2)
  • Revisor de periódico 'Journal of Functional Programming (Online)'
  • Revisor de periódico 'Revista do CCEI'
    2019 (Total: 2)
  • Revisor de periódico 'Journal of Functional Programming (Online)'
  • Revisor de periódico 'Revista do CCEI'
    2018 (Total: 2)
  • Revisor de periódico 'Journal of Functional Programming (Online)'
  • Revisor de periódico 'Revista do CCEI'
    2017 (Total: 2)
  • Revisor de periódico 'Journal of Functional Programming (Online)'
  • Revisor de periódico 'Revista do CCEI'
    2016 (Total: 2)
  • Revisor de periódico 'Journal of Functional Programming (Online)'
  • Revisor de periódico 'Revista do CCEI'
    2015 (Total: 2)
  • Revisor de periódico 'Journal of Functional Programming (Online)'
  • Revisor de periódico 'Revista do CCEI'
    2014 (Total: 2)
  • Revisor de periódico 'Journal of Functional Programming (Online)'
  • Revisor de periódico 'Revista do CCEI'
    2013 (Total: 2)
  • Revisor de periódico 'Journal of Functional Programming (Online)'
  • Revisor de periódico 'Revista do CCEI'
    2012 (Total: 2)
  • Revisor de periódico 'Journal of Functional Programming (Online)'
  • Revisor de periódico 'Revista do CCEI'
    2011 (Total: 2)
  • Revisor de periódico 'Journal of Functional Programming (Online)'
  • Revisor de periódico 'Revista do CCEI'
    2010 (Total: 2)
  • Revisor de periódico 'Journal of Functional Programming (Online)'
  • Revisor de periódico 'Revista do CCEI'
    2009 (Total: 2)
  • Revisor de periódico 'Journal of Functional Programming (Online)'
  • Revisor de periódico 'Revista do CCEI'
    2008 (Total: 1)
  • Revisor de periódico 'Revista do CCEI'
    1999 (Total: 1)
  • Uma Calculadora para Aritmética Reala Recursiva

Produção Artística

Não informado

Orientações Concluídas

    2018 (Total: 2)
  • AsyncRFJ: Uma Abordagem Assíncrona à Programação Orientada a Objeto Reativa
  • Um Interpretador e Typechecker para uma Linguagem Reversível com Pattern-matching Simétrico e Controle Quântico
    2017 (Total: 1)
  • Implementação de um interpretador e Verificador de Tipos para o Double Effect Quantum Lambda Calculus
    2016 (Total: 2)
  • Um Interpretador para o Cálculo Lambda Quântico
  • Uma linguagem de programação quântica orientada a objetos baseada no Featherweight Java
    2014 (Total: 1)
  • SIMULAÇÃO DE ALGORITMOS QUÂNTICOS CONSIDERANDO A TEORIA QUÂNTICA MODAL EM HASKELL
    2013 (Total: 1)
  • QJAVA: SETAS QUÂNTICAS EM JAVA
    2012 (Total: 1)
  • Cálculo de Ambientes Tipado Sensível ao Contexto para Aplicações Pervasivas
    2010 (Total: 1)
  • Especificação de uma Ontologia para um Ambiente Hospitalar
    2009 (Total: 3)
  • Modelagem de Nanomáquinas Quânticas
  • Representação do Conhecimento contido no PubMed.
  • Utilização de SVM para predição de pré-cancer
    2014 (Total: 1)
  • Uma Biblioteca para Teoria Quântica Discreta em Haskell
    2011 (Total: 1)
  • ANIMAÇÃO DE UM FRACTAL UTILIZANDO MÚSICA EM PURE DATA
    2010 (Total: 2)
  • Implementação do Algoritmo da Teleportação usando Java Closures
  • Sistemas de Tipos para Capturar Informação de Contexto em Computação Pervasiva
    2009 (Total: 1)
  • Um Estudo sobre a Utilizacão de Memórias Transacionais para Programacão Concorrente com Memória Compartilhada
    2008 (Total: 2)
  • Rotas de transporte coletivo em Santa Maria: um estudo de caso utilizando a Google Maps API.
  • Um Estudo Sobre Honeypot de Baixa Interatividade