Filters (1 )
Filters
Filters
Download Results
278 research outcomes, page 1 of 28
  • publication . Article . 2004
    Open Access Portuguese
    Authors:
    José Palazzo Moreira de Oliveira; Luis C. Lamb;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    Este artigo apresenta uma breve visao da historia da Revista em relacao as Tecnologias da Informacao, descreve as acoes que estao sendo tomadas para incrementar sua participacao na comunidade academica de Ciencia da Computacao utilizando-se das possibilidades da Web, e ...

  • publication . Article . 2007
    Open Access Portuguese
    Authors:
    Luis C. Lamb; José Palazzo Moreira de Oliveira; Lizandro Z. Granville;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    A existência de publicações de alta qualidade é um dos indicadores da maturidade de uma área de pesquisa. O Instituto de Informática da UFRGS vem, então, trabalhando arduamente para conquistar um espaço de reconhecimento nacional para a Revista de Informática Teórica e ...

  • publication . Article . 2010
    Open Access
    Authors:
    Lamb, Luis C.; Palazzo Moreira de Oliveira, José; Granville, Lisandro Z;
    Publisher: Universidade Federal do Rio Grande do Sul

    Este numero da Revista de Informatica Teorica e Aplicada (RITA) tem significado especial. Trata-se do primeiro numero publicado no ano em que a revista completa 20 anos. Durante duas decadas, muitos trabalharam para construir a historia da RITA. Os artigos deste numero ...

  • publication . Article . 2008
    Open Access
    Authors:
    Palazzo Moreira de Oliveira, José;
    Publisher: Universidade Federal do Rio Grande do Sul

    Os editores da Revista de Informática Teórica e Aplicada agradecem ao corpo editorial e aos seguintes revisores, do ano de 2008, por seus esforços em manter o alto padrão de avaliação dos artigos da revista.

  • publication . Article . 2008
    Open Access Portuguese
    Authors:
    Luis C. Lamb; José Palazzo Moreira de Oliveira; Lisandro Z. Granville;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    Esta edição da Revista RITA - Revista de Informática Teórica e Aplicada é dedicada às áreas de computação gráfica e processamento de imagens, contendo artigos referentes aos tutoriais apresentados no SIBGRAPI 2007 - Simpósio Brasileiro de Computação Gráfica e Processame...

  • publication . Article . 2007
    Open Access
    Authors:
    Moreira de Oliveira, José Palazzo;
    Publisher: Universidade Federal do Rio Grande do Sul

    Os editores da Revista de Informática Teórica e Aplicada agradecem ao corpo editorial e aos seguintes revisores, do período 2005-2007, por seus esforços em manter o alto padrão de avaliação dos artigos da revista.

  • publication . Article . 2008
    Open Access
    Authors:
    Lamb, Luis C.; Palazzo Moreira de Oliveira, José; Granville, Lisandro Zambenedetti;
    Publisher: Universidade Federal do Rio Grande do Sul

    A publicação de periódicos de alto nível é um parâmetro de qualidade da pesquisa científica de um país. A RITA (Revista de Informática Teórica e Aplicada) atinge maturidade ao concluir a publicação de 15 volumes. Publicada desde 1989, a RITA possui regularidade e um nov...

  • publication . Article . 2015
    Open Access French
    Authors:
    Cristiá, Maximiliano; Cuenca, Joaquín; Frydman, Claudia;
    Publisher: HAL CCSD

    <jats:p>Model-based testing (MBT) studies how test cases are generated from a model of the system under test (SUT). Many MBT methods rely on building an automaton from the model and then they generate test cases by covering the automaton with different path coverage cri...

  • publication . Article . 2020
    Open Access English
    Authors:
    Rauber Du Bois, André; Ribeiro, Rodrigo; Amaro, Maycon;
    Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul

    Unification is the core of type inference algorithms for modern functional programming languages, like Haskell and SML. As a first step towards a formalization of a type inference algorithm for such programming languages, we present a formalization in Coq of a type unif...

  • publication . Article . 2009
    Open Access
    Authors:
    Lamb, Luis C.; Palazzo Moreira de Oliveira, José; Granville, Lisandro Z.;
    Publisher: Universidade Federal do Rio Grande do Sul

    Esta edição da Revista RITA - Revista de Informática Teórica e Aplicada é dedicada à área de Realidade Virtual, contendo artigos estendidos escritos a partir dos cinco melhores trabalhos apresentados no SVR 2008 – Brazilian Symposium on Virtual and Augmented Reality, re...

278 research outcomes, page 1 of 28
Last index information