Juliana Carpes Imperial

Instituição:

Universidade Federal do Rio de Janeiro

Centro:

PR-6 Pró-Reitoria de Gestão e Governança

Unidade:

Superintendência de Tecnologia da Informação e Comunicação

Departamento:

Divisão de Desenvolvimento de Sistemas

ORCID:

não disponível no Lattes


Formação:

  • Pontifícia Universidade Católica do Rio de Janeiro

    Informática | Doutorado | 2003 - 2007

  • Pontifícia Universidade Católica do Rio de Janeiro

    Informática | Mestrado | 2001 - 2003

  • Pontifícia Universidade Católica do Rio de Janeiro

    Engenharia de Computação | Graduação | 1997 - 2001

  • Colégio Ph

    | Ensino Médio (2o grau) | 1994 - 1996

  • Colégio Van Gogh

    | Ensino Fundamental (1o grau) | 1993 - 1993

  • Colégio Marista São José

    | Ensino Fundamental (1o grau) | 1986 - 1992
Laboratórios:
Nenhum laboratório cadastrado
Nuvens de Palavras:
Artigos:

(0.00% artigos com DOI)

Titulo DOI Ano
PINC - SISTEMA DO PROGRAMA DE INICIAÇÃO CIENTÍFICA DAS FACULDADES DE MEDICINA E ENFERMAGEM DA UFRJ 2021
Eventos:

(0.00% eventos com DOI)

Titulo DOI Ano
Serviço da Web do Sistema Integrado de Gestão Acadêmica da UFRJ (SIGA) 2021
Serviço da Web do Sistema de Pessoal da UFRJ (SIRHu) para Recuperar Dados de Servidores 2020
PINC ? Sistema do Programa de Iniciação Científica da Faculdade de Medicina da UFRJ 2019
Litebase: A Database System for Mobile Devices 2014
Confiança em Agentes Inteligentes 2011
Proof-Carrying Code Usando Cálculo de Hoare 2010
Lógica Modal para Sistemas Multi-Agentes Abertos 2010
Proof-Carrying Code Usando Cálculo de Hoare 2009
Generating Multistep Methods for Special Ordinary Differential Equations of Higher-Order 2009
Análise de Métodos Numéricos para Resolver Equações Diferenciais 2008
Correção de Programas 2008
Confiança em Agentes Inteligentes 2007
A Logic for Expressing Trust in Intelligent Agents 2007
Lógica Modal para Sistemas Multi-Agentes Abertos 2007
Some Strategies for the Semi-Automatic Use of Hoare Logic 2006
Generating Multistep Methods for Special Ordinary Differential Equations of Higher-Order 2006
Analysing Methods to Solve Ordinary Differential Equations 2006
Monitores no Minix 2.0 2006
Simulador de Máquina de Turing 2005
Some Strategies for the Automatic Use of Hoare Logic 2004
Proof-Carrying Code Usando Cálculo de Hoare 2004
Especificação e Prova de Correção de MKSEC em BAN 2004
Publicações:
Minha Rede: