Produção Bibliográfica

(1)

CIÊNCIA DA COMPUTAÇÃO

1.03.00.00-7

SISTEMAS E COMPUTAÇÃO

1999

Programa

Instituição

Área Básica

Área de Avaliação

Ano Base

UFRN - UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE (RN)

23001011022P-9

(2)

[autor 1]; [autor 2];...; [autor n]: [título do trabalho]; [título do periódico]; [ano de publicação]; [volume]; [fascículo]; [série]; [número de páginas]; [número da página inicial]; [idioma]; [ISSN]; [divulgação]; [URL]; [observação].

Artigos em Periódicos

[ 5 ]

Resumo - Qualis - <?>/<?> [ 1 ]

Bedregal, B. R. C. (Docente): omega-continuos cpo's, omega algebraic cpo's, SFP domains and retract of SFP domains as information systems; Logic Journal of the Interested Group in Pure and Applied Logic; 1999; 7; 4; ; 561; 561; Inglês; 1367-0751; Impresso; ; .

8B9 RoL7455

Trabalho Completo - Qualis - <?>/<?> [ 4 ]

Bedregal, B. R. C. (Docente); Acióly, B. M. (Outro Participante): Effectively given continuos domain: a computable interval analysis; Brazilian Electronic Journal on Mathematics of Computation; 1999; zero; 0; ; 1; 22; Inglês; ; Meio digital; http://gmc.ucpel.tche.br/bejmc; .

0B9 TEBz02Mh

Bedregal, B. R. C. (Docente); Lyra, A. (Discente-Autor): Introdução a uma Análise Intervalar Computável; Revista Tecnologia e Informação; 1999; novembro; ; ; 79; 98; Português; ; Impresso; ; .

9B9 TRn79P

Goldbarg, M. C. (Docente): Educação e Qualidade: Repensando Conceitos; Revista Brasileira de Estudos Pedagógicos; 1999; 193; ; ; 23; 58; Português; 0102-3542; Impresso; ; .

GE 9 TR25P0

Muchaluat Saad, D. C. (Outro Participante); Souza, G. L. (Docente); Soares, L. F. G. (Outro Participante); Rodrigues, R. F. (Outro Participante): Versioning Support in the HyperProp System; Journal of Multimedia Tools and

Applications; 1999; 8; 3; ; 325; 339; Inglês; ; Impresso; ; .

(3)

Anais

[autor 1]; [auto r2];...; [autor n]: [título do trabalho]; [título dos anais]; [ano de publicação]; [volume]; [fascículo]; [série]; [número de páginas]; [número da página inicial]; [nome do evento]; [cidade do evento]; [país do evento]; [idioma]; [ISSN]; [divulgação]; [URL]; [observação].

[ 24 ]

Resumo - Qualis - <?>/<?> [ 6 ]

6G9 R3V 3ABV_{Goldbarg, M. C. (Docente); Pacca L.H.L.L. (Outro Participante): VIrus Infection for Acceleration og Genetic}

Algorithms: An Introductory Study; III MIC Metaheuristics International Congress; 1999; 1; ; ; 345; 350; III MIC -Metaheuristics International Congress; Angra dos Reis; BRASIL; Inglês; ; Vários; ; .

2G9 RRA22XJBPM_{Goldbarg, M. C. (Docente); Ramos I. C. O. (Discente-Autor): Rendimento Escolar Corrigido como Garantia de}

Qualidade no Acesso ao Ensino Superior; Anais do XXXI Simpósio Brasileiro de Pesquisa Operacional; 1999; 1; ; ; 234; 242; XXXI Simpósio Brasileiro de Pesquisa Operacional; Juiz de Fora; BRASIL; Português; ; Meio digital; ; .

8L9 R3U3SBP_{Lopes, A. B. (Docente); Ribeiro, C.M.F.A. (Discente-Autor); Souza, G. L. (Docente): Um Modelo para Especificação}

Formal da Configuração de Aplicações Baseadas no PREMO; 17 Simpósio Brasileiro de Redes de Computadores; 1999; I; ; ; 371; 372; 17 Simpósio Brasileiro de Redes de Computadores; Salvador; BRASIL; Português; ; Impresso; ; .

5L9 RCR33XSBP_{Lyra, A. (Discente-Autor); Bedregal, B. R. C. (Docente): Comparando computações intervalares nos modelos BSS e}

BSS intervalar; Resumos do XXII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC; 1999; 1; ; ; 369; 369; XXII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC; Santos-SP; BRASIL; Português; ; Impresso; ; .

6L9 RORXSBP_{Lyra, A. (Discente-Autor); Bedregal, B. R. C. (Docente): O método do dobro no ensino da operação multiplicação da}

matemática; Resumos do XXII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC; 1999; 1; ; ; 158; 158; XXII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC; Santos-SP; BRASIL; Português; ; Impresso; ; .

MP

9 RFLFTF3_{Moreira, A. M. (Docente): Proof Preservation in Component Generalization; Formal Methods'99; 1999; II; ; LNCS;}

1866; 1866; First World Congress in Formal Methods; Toulouse; FRANÇA; Inglês; 3-540-66588-9; Impresso; ; .

2 U9 TW23WFBP_{Déharbe, D. B. P. (Docente): Uma Abordagem Modular na Verificação de Descrições de Hardware; WMF'99 Second}

Workshop on Formal Methods; 1999; I; ; ; 23; 31; Workshop de Métodos Formais; Florianópolis; BRASIL; Português; ; Impresso; ; .

7 S9 TFL22FTF3_{Déharbe, D. B. P. (Docente); Moreira, A. M. (Docente): Symbolic Model Checking with Fewer Fixpoint Computations;}

FM'99 - Formal Methods; 1999; I; ; LNCS; 272; 288; First World Congres in Formal Methods; Toulouse; FRANÇA; Inglês; 3-540-66587-0; Impresso; ; .

4A9 T7AL B_{Alvim, A. C. (Outro Participante); Ribeiro, C. C. (Outro Participante); Aloise, D. J. (Docente); Glover, F. (Outro}

Participante): Local Search for Bin Packing Problem; III Meta Heuristics International Conference; 1999; 1; ; ; 7; 12; III Meta Heuristics International Conference; Angra dos Reis; BRASIL; Inglês; ; Impresso; ; .

BA

9 TC B0_{Bedregal, B. R. C. (Docente): A semantical system of finite information for the real number; CIT'99: Trends in}

Information Technology; 1999; 1; ; ; 167; 172; International Conference on Information Technologies; Bhubaneswar; INDIA; Inglês; 0-07-463747-9; Impresso; ; .

7B9 TP3FC B_{Bedregal, B. R. C. (Docente): Continuous information systems as a finite information logic for continuous domains;}

Proceeding of the II Workshop on Formal Methods WMF99; 1999; 1; ; ; 3; 12; II Workshop on Formal Methods -WMF99; Florianópolis-SC; BRASIL; Inglês; ; Impresso; ; .

2B9 TP5o 66NB_{Bedregal, B. R. C. (Docente): omega-continuous cpo's, omega-algebraic cpo's, SFP domains and retract of SFP}

domains as information systems.; Proceeding of 6th Workshop on Logic, Language, Information and Computation (WoLLIC'99); 1999; 1; ; ; 51; 60; 6th Workshop on Logic, Language, Language, Information and Computation (WoLLIC'99); National Park of Itatiaia-RJ; BRASIL; Inglês; ; Impresso; ; .

3B9 TMA266XAP_{Bedregal, B. R. C. (Docente); Acióly, B. M. (Outro Participante): An interval domain logic with application to interval}

constraint satisfaction problems; Memórias de la XXV Conferencia Latinoamericana de Informática - CLEI; 1999; 2; ; ; 661; 672; XXV Conferencia Latinoamericana de Informática - CLEI; Assunção; PARAGUAI; Inglês; ; Impresso; ; .

5d9 TP LF E_{de Paula, V. C. C. (Docente); Justo, G.R.R. (Outro Participante); Cunha, P.R.F. (Outro Participante): Formal}

Specification of Dynamic Architectural Styles; Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99); 1999; IV; ; ; 1939; 1945; 1999 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99); Las Vegas; ESTADOS UNIDOS; Inglês; 1-89-2512-12-2; Impresso; ; .

(4)

Anais

[autor 1]; [auto r2];...; [autor n]: [título do trabalho]; [título dos anais]; [ano de publicação]; [volume]; [fascículo]; [série]; [número de páginas]; [número da página inicial]; [nome do evento]; [cidade do evento]; [país do evento]; [idioma]; [ISSN]; [divulgação]; [URL]; [observação].

[ 24 ]

5G9 TX5R6WRBP8V_{Gottgtroy, M. P. B. (Docente); Gottgtroy, P.C.M. (Discente-Autor): Rede Educacional de Ensino em Informática: Um}

Caminho para os Novos Desafios do Novo Milênio; XVIII Congresso da Sociedade Brasileira de Computação; 1999; 1; ; ; 591; 606; Workshop de Ensino de Informática; Rio de janeiro; BRASIL; Português; 8587424017; Vários; ; .

4G9 TAC433ERBP8V_{Gottgtroy, M. P. B. (Docente); Oliveira, M.A. (Discente-Autor): Concepção Multi-agentes para Implementação do}

Raciocínio Aproximado; Anais do XVIII Congresso da Sociedade Brasileira de Computação; 1999; 4; ; ; 313; 320; ENIA'99 - Encontro Nacional de Inteligência Artificial; Rio de Janeiro; BRASIL; Português; 8587424017; Vários; ; .

3G9 TTM0CB0_{Gottgtroy, M. P. B. (Docente); Oliveira, M.A. (Discente-Autor): Multi Agent Conception for Implementation of}

Approximate Reasonning; Trends in Information Technology; 1999; 01; ; ; 109; 115; CIT'99 - International Conf on Information Technology; Bhubaneswar; INDIA; Inglês; 0074637479; Impresso; ; .

3L9 TAP244JRBP8_{Leite, J. C. (Docente): Projeto de Interfaces de Usuário: Perspectivas Cognitivas e Semióticas; Anais do XIX}

Congresso da SBC; 1999; 2; ; ; 425; 476; Jornada de Atualização em Informática (JAI-SBC); Rio de Janeiro; BRASIL; Português; 85-87424-03-3; Impresso; ; .

o

4L9 TA2U2CBPM_{Leite, J. C. (Docente): Uma Linguagem de Especificação para a Engenharia Semiótica de Interfaces de Usuário;}

Atas do II Workshop sobre Fatores Humanos em Sistemas Computacionais; 1999; 1; ; ; 23; 24; II Workshop sobre Fatores Humanos em Sistemas Computacionais; Campinas; BRASIL; Português; ; Meio digital; ; os artigos completos desses anais apenas estão disponíveis em CD-Rom..

4L9 TMU266XAPP_{Lyra, A. (Discente-Autor); Bedregal, B. R. C. (Docente): Uma análise computável do contínuo: a máquina BSS}

intervalar; Memórias de la XXV Conferencia Latinoamericana de Informática - CLEI; 1999; 2; ; ; 649; 660; XXV Conferencia Latinoamericana de Informática - CLEI; Assunção; PARAGUAI; Português; ; Impresso; ; .

5N9 TXXU JBPM_{Nascimento, H.A.D. (Outro Participante); Longo, H. J. (Outro Participante); Aloise, D. J. (Docente): Uma Heurística}

O(n.m) para o Corte Bi-dimensional Guilhotinado; XXXI SBPO - Simpósio Brasileiro de Pesquisa Operacional; 1999; 1; ; ; 1197; 1206; XXXI SBPO - Simpósio Brasileiro de Pesquisa Operacional; Juiz de Fora; BRASIL; Português; ; Meio magnético; ; .

9R9 TV8VE GBP_{Ribeiro, C.M.F.A. (Discente-Autor); Souza, G. L. (Docente); Lopes, A. B. (Docente): Especificação Formal de um}

Modelo de Sincronização Baseado no PREMO; V Simpósio Brasileiro de Sistemas Multimídia e Hipermídia; 1999; I; ; ; 82; 101; V Simpósio Brasileiro de Sistemas Multimídia e Hipermídia; Goiânia; BRASIL; Português; ; Impresso; ; .

0S9 TA3SS SBP_{Souza, G. L. (Docente); Soares, L. F. G. (Outro Participante); Moura, M. S. (Discente-Autor); Batista, T. V. (Outro}

Participante): SMMM - Um Sistema de Correio Eletrônico Multimídia Seguro; Anais do 17o Simpósio Brasileiro de Redes de Computadores; 1999; 1; ; ; 3; 18; SBRC'99 - 17o Simpósio Brasileiro de Redes de Computadores; Salvador, BA; BRASIL; Português; ; Impresso; ; .

7S9 TA4S 4XRBP8_{Souza, G. L. (Docente); Soares, L. F. G. (Outro Participante); Moura, M. S. (Discente-Autor); Batista, T. V. (Outro}

Participante): SMMM: Um Sistema de Correio Eletrônico Multimídia Seguro; Anais do XIX Congresso Nacional da Sociedade Brasileira de Computação; 1999; 1; ; ; 461; 472; XVIII Concurso de trabalhos de Iniciação Científica -CTIC; Rio de Janeiro, RJ; BRASIL; Português; 85-87424-02-5; Impresso; ; .

(5)

[autor1]; [autor2];...; [autorn]: [nome da publicação]; [ano de publicação]; [natureza]; [título] ; [nome do editor];[número da edição]; [nome da editora]; [cidade da editora]; [país da editora]; [número de páginas]; [volume]; [fascículo]; [série]; [idioma]; [ISBN]; [divulgação]; [URL]; [observação].

Livro

[ 4 ]

Capítulo [ 1 ]

Souza, G. L. (Docente): Aplicações Multimídia Distribuídas; 1999; Capítulo; Livro Texto da II Escola de Informática da SBC, Edição Nordeste; Riverson Rios; 1; UFC; Fortaleza, CE; BRASIL; 24; 1; 1; ; Portugês; ; Impresso; ; .

Coletânea [ 3 ]

Moreira, A. M. (Docente): Proceedings of the II Workshop on Formal Methods; 1999; Coletânea; Proceedings of the II Workshop on Formal Methods; Ana C. V. de Melo e Anamaria Martins Moreira; 1; EDUSP; São Paulo; BRASIL; 107; 1; ; ; português e inglês; ; Impresso; ; .

Silva, I. S. (Docente): Proceedings of XII Symposium on Integrated Circuits and Systems Design; 1999; Coletânea; Proceedings of XII Symposium on Integrated Circuits and Systems Design; Vladimir Castro Alves, Marcelo Lubaszewski, Ivan Saraiva Silva; ; IEEE CS Press; Los Alamitos; ESTADOS UNIDOS; 236; I; ; ; Inglês; 0-7695-0387-X; Impresso; ; .

Souza, G. L. (Docente): Anais do V Simpósio Brasileiro de Sistemas Multimídia e Hipermídia; 1999; Coletânea; Anais do V Simpósio Brasileiro de Sistemas Multimídia e Hipermídia; Guido Lemos De Souza Filho e Eduardo Simões de Albuquerque; 1; Cegraf, UFG; Goiânia; BRASIL; 295; 1; ; ; Portugês e Inglês; ; Impresso; ; .