Produção Bibliográfica

Transcrição

1 Ano Base 1999 Área de Avaliação CIÊNCIA DA COMPUTAÇÃO Área Básica CIÊNCIA DA COMPUTAÇÃO Instituição UFRN - UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE (RN) Programa SISTEMAS E COMPUTAÇÃO P-9 1 de 5 14/05/01 às 18:30

2 Artigos em Periódicos [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]. Resumo - Qualis - <?>/<?> [ 1 ] 8Bo9 RL745 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; ; Impresso; ;. Trabalho Completo - Qualis - <?>/<?> [ 4 ] 0BE9 TBz02Mh 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; 9B9 TRn79P 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; GE9 TR25P0 Goldbarg, M. C. (Docente): Educação e Qualidade: Repensando Conceitos; Revista Brasileira de Estudos Pedagógicos; 1999; 193; ; ; 23; 58; Português; ; Impresso; ;. 0MV9 TJ83 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; ;. [ 5 ] 2 de 5 14/05/01 às 18:30

3 Anais [ 24 ] [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]. Resumo - Qualis - <?>/<?> [ 6 ] 6GV9 R3ABVGoldbarg, 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; ;. 2GR9 RA2XJBPMGoldbarg, 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; ;. 8LU9 R3SBPLopes, 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; ;. 5LC9 R3XSBPLyra, 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; 6LO9 RXSBPLyra, 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; MP9 RFLFTF3Moreira, 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; ; Impresso; ;. Trabalho Completo - Qualis - <?>/<?> [ 18 ] 2 U9 TW23WFBPDé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; 7 S9 TFL2FTF3Dé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; ; Impresso; ;. 4AL9 T7ABAlvim, 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; ;. BA9 TCB0Bedregal, 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; ; Impresso; ;. 7BC9 TP3FBBedregal, 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; ;. 2Bo9 TP56NBBedregal, 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; ;. 3BA9 TM26XAPBedregal, 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; ;. 5dF9 TP LEde 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; ; Impresso; ;. 3 de 5 14/05/01 às 18:30

4 Anais [ 24 ] [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]. Trabalho Completo - Qualis - <?>/<?> [ 18 ] 5GR9 TX56WRBP8VGottgtroy, 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; ; Vários; ;. 4GC9 TA43ERBP8VGottgtroy, 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; ; Vários; ;. 3GM9 T0CB0Gottgtroy, 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; ; Impresso; ;. 3LP9 TA24JRBP8Leite, 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; ; Impresso; ;. 4LU9 TA2CBPMLeite, o 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.. 4LU9 TM26XAPLyra, 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; 5NU9 TXXJBPMNascimento, 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; ;. 9RE9 TV8VGBPRibeiro, 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; 0S9 TA3SBPSouza, 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; 7S9 TA4XRBP8Souza, 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; ; Impresso; ;. 4 de 5 14/05/01 às 18:30

5 Livro [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]. 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; 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; ;. [ 4 ] 5 de 5 14/05/01 às 18:30