ISSN A Refactoring Catalog for Lambda Expressions in Java (INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING)

doi ISSN A monadic semantics for quantum computing in an object oriented language (SCIENCE OF COMPUTER PROGRAMMING)

doi ISSN FJQuantum - A Quantum Object Oriented Language (ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE)

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)

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)

doi ISSN Quantum Arrows in Haskell (Electronic Notes in Theoretical Computer Science)

doi ISSN An Algebra of Pure Quantum Programming (Electronic Notes in Theoretical Computer Science)

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)

Museu Arte Ciência Tecnologia: ação neuroarte 2016 (Design+ arte|ciência|tecnologia: conexões teórico-práticas)

doi A Double Effect λ-calculus for Quantum Computation (Lecture Notes in Computer Science)

Grid Computing for Multi-spectral Tomografic Reconstruction of Chlorophyll Concentration in Ocean Water (Integral Methods in Science and Engineering)

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)

Compilação e Execução de Código da Linguagem QML no Computador Quântico da IBM (VI Workshop-Escola de Informática Teórica (VI WEIT))

doi AsyncRFJ (the XXII Brazilian Symposium)

From Symmetric Pattern-Matching to Quantum Control (International Conference on Foundations of Software Science and Computation Structures)

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)

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))

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)

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))

Estudo de Principios da Mecânica Quântica aplicados à Computação Quântica (Jornada Acadêmica Integrada)

Programação Quântica (26 Jornada Acadêmica Integrada)

Towards a Quantum Monadic Arrow Lambda-calculus (14th Brazilian Symposium on Formal Methods)

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)

Um Compilador para a Linguagem Reativa Síncrona Distribuída (Third Workshop on Languages and Tools for Parallel and Distributed Programming)

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)

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)

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)

Concurrent Quantum Programming in Haskell (VII Congresso Brasileiro de Redes Neurais)

Modelling Quantum Effects in Haskell (Semana Acadêmica PPGC/UFRGS)

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)

Linguagens de Programação para a Computação Pervasiva (Escola Regional de Alto Desempenho -ERAD)

Teoria dos Domínios e Computação Quântica (XXVII CNMAC)

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)

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)

WEIT 2015, the Third Workshop-School on Theoretical Computer Science

XIII Simpósio de Linguagens de Linguagens de Programacão

5th Workshop on Formal Methods

Aplicações de Grades Computacionais: Estudos de Caso em Meteorologia e Hidrologia

Linguagens de Programação para Computação Quântica

Linguagens de Programação Quântica

Um Introdução à Computação Quântica e Prospectos em Inteligência Artificial Quântica

. Projeto Museu arte-ciência-tecnologia: ação neuroarte

Museu arte-ciência-tecnologia/UFSM

Computação Quântica: Estado da Arte e Desafios

Computação Quântica

Uma Introdução a Computação Quântica

QJAVA: SETAS QUÂNTICAS EM JAVA

QHaskell

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Journal of Functional Programming (Online)'

Revisor de periódico 'Revista do CCEI'

Revisor de periódico 'Revista do CCEI'

Uma Calculadora para Aritmética Reala Recursiva

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

Implementação de um interpretador e Verificador de Tipos para o Double Effect Quantum Lambda Calculus

Um Interpretador para o Cálculo Lambda Quântico

Uma linguagem de programação quântica orientada a objetos baseada no Featherweight Java

SIMULAÇÃO DE ALGORITMOS QUÂNTICOS CONSIDERANDO A TEORIA QUÂNTICA MODAL EM HASKELL

QJAVA: SETAS QUÂNTICAS EM JAVA

Cálculo de Ambientes Tipado Sensível ao Contexto para Aplicações Pervasivas

Especificação de uma Ontologia para um Ambiente Hospitalar

Modelagem de Nanomáquinas Quânticas

Representação do Conhecimento contido no PubMed.

Utilização de SVM para predição de pré-cancer

Compilação e Execução de Código da Linguagem QML no Computador Quântico da IBM

Uma Biblioteca para Teoria Quântica Discreta em Haskell

ANIMAÇÃO DE UM FRACTAL UTILIZANDO MÚSICA EM PURE DATA

Implementação do Algoritmo da Teleportação usando Java Closures

Sistemas de Tipos para Capturar Informação de Contexto em Computação Pervasiva

Um Estudo sobre a Utilizacão de Memórias Transacionais para Programacão Concorrente com Memória Compartilhada

Rotas de transporte coletivo em Santa Maria: um estudo de caso utilizando a Google Maps API.

Um Estudo Sobre Honeypot de Baixa Interatividade