Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rita/AmaralH00,
  author       = {Fernando N{\'{a}}ufel do Amaral and
                  Edward Hermann Haeusler},
  title        = {A logic-based approach for real-time object-oriented software development},
  journal      = {{RITA}},
  volume       = {7},
  number       = {1},
  pages        = {69--88},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rita/AmaralH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rita/AraujoG00,
  author       = {Arnaldo de Albuquerque Ara{\'{u}}jo and
                  Silvio Jamil Ferzoli Guimar{\~{a}}es},
  title        = {Recupera{\c{c}}{\~{a}}o de Informa{\c{c}}{\~{a}}o Visual com Base
                  no Conte{\'{u}}do em Imagens e V{\'{\i}}deos Digitais},
  journal      = {{RITA}},
  volume       = {7},
  number       = {2},
  pages        = {43--72},
  year         = {2000},
  timestamp    = {Wed, 27 Oct 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rita/AraujoG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rita/BorbaS00,
  author       = {Paulo Borba and
                  Augusto Sampaio},
  title        = {Basic Laws of {ROOL:} an object-oriented language},
  journal      = {{RITA}},
  volume       = {7},
  number       = {1},
  pages        = {49--68},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rita/BorbaS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rita/DeharbeMRR00,
  author       = {David D{\'{e}}harbe and
                  Anamaria Martins Moreira and
                  Leila Ribeiro and
                  Vanderlei Moraes Rodrigues},
  title        = {Introdu{\c{c}}{\~{a}}o a M{\'{e}}todos Formais: Especifica{\c{c}}{\~{a}}o,
                  Sem{\^{a}}ntica e Verifica{\c{c}}{\~{a}}o de Sistemas Concorrentes},
  journal      = {{RITA}},
  volume       = {7},
  number       = {1},
  pages        = {7--48},
  year         = {2000},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rita/DeharbeMRR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rita/LoretoTR00,
  author       = {Aline Brum Loreto and
                  Laira Vieira Toscani and
                  Leila Ribeiro},
  title        = {Complexity analysis of reactive graph grammars},
  journal      = {{RITA}},
  volume       = {7},
  number       = {1},
  pages        = {109--128},
  year         = {2000},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rita/LoretoTR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rita/Machado00,
  author       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Formal testing from structured algebraic specifications: normalisationand
                  the oracle problem},
  journal      = {{RITA}},
  volume       = {7},
  number       = {1},
  pages        = {89--108},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rita/Machado00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rita/RaposoCBKSSMA00,
  author       = {Alberto Barbosa Raposo and
                  Adailton Jos{\'{e}} Alves Da Cruz and
                  Alessandro de Lima Bicho and
                  Alfredo K. Kojima and
                  Carlos A. M. dos Santos and
                  Isla C. F. da Silva and
                  L{\'{e}}o Pini Magalh{\~{a}}es and
                  Paulo C. P. de Andrade},
  title        = {Ferramentas de Programa{\c{c}}{\~{a}}o Livres para Computa{\c{c}}{\~{a}}o
                  Gr{\'{a}}fica e Anima{\c{c}}{\~{a}}o por Computador},
  journal      = {{RITA}},
  volume       = {7},
  number       = {2},
  pages        = {7--42},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rita/RaposoCBKSSMA00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rita/Rodrigues00,
  author       = {Maria Andr{\'{e}}ia F. Rodrigues},
  title        = {Aplica{\c{c}}{\~{o}}es Gr{\'{a}}ficas em Medicina: T{\'{e}}cnicas
                  e Modelos Realistas de Deforma{\c{c}}{\~{a}}o},
  journal      = {{RITA}},
  volume       = {7},
  number       = {2},
  pages        = {89--101},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rita/Rodrigues00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rita/RodriguesBG00,
  author       = {Vanderlei Moraes Rodrigues and
                  Dominique Borrione and
                  Philippe Georgelin},
  title        = {Using the {ACL2} Theorem Prover to Reason about {VHDL} Components},
  journal      = {{RITA}},
  volume       = {7},
  number       = {1},
  pages        = {129--148},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rita/RodriguesBG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rita/Zhao00,
  author       = {Liang Zhao},
  title        = {Scene Segmentation by Oscillatory Correlation},
  journal      = {{RITA}},
  volume       = {7},
  number       = {2},
  pages        = {73--88},
  year         = {2000},
  timestamp    = {Mon, 24 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rita/Zhao00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}