Publicações

Artigos publicados em revistas de circulação internacional especializadas

  1. T.Kowaltowski, C.L.Lucchesi e J.Stolfi, ``Applications of Finite Automata in Debugging Natural Language Vocabularies'', Journal of the Brazilian Computing Society, 1(3), 5-11, (1995).
  2. P.J.de Rezende e D.T.Lee, ``Point Set Pattern Matching in d-Dimensions'', Algorithmica. An International Journal in Computer Science, 13, 387-404, (1995).
  3. M.V.S.P.de Aragão, P.Hansen e B.Jaumard, ``Boole's Conditions of Possible Experience and Reasoning Under Uncertainty'', Discrete Applied Mathematics, 60, 181-193, (1995).
  4. J.C.Setubal e R.J.Anderson, ``A Parallel Implementation of the Push-Relabel Algorithm for the Maximum Flow Problem'', Distributed Computing Journal, 29(1), 17-26, (1995).
  5. T.Kowaltowski, C.L.Lucchesi e J.Stolfi, ``Minimization of Binary Finite Automata'', Journal of the Brazilian Computing Society, 1(3), 36-42, (1995).
  6. C.M.H.de Figueiredo, J.Meidanis e C.P.de Mello, ``A Linear-Time Algorithm for Proper Interval Graph Recongnition'', Information Processing Letters, 56, 179-184, Serie: Elsevier-Holland, (1995).
  7. E.Martins, ``Estimators for Fault Tolerance Coverage Evaluation'', IEEE Transactions on Information Theory, 44(2), 261-274, (1995).
  8. C.C.de Souza e M.Laurent, ``Some New Classes of Facets for the Equicut Polytope'', Discrete Applied Mathematics, 62, 167-191, Serie: North-Holland, (1995).
  9. M.C.C.Baranauskas, ``Observational Studies about Novices Interacting in a Prolog Environment Based on Tools'', Information Sciences. An international Journal, 23, 89-109, Serie: Kluwer Academic Publishers, (1995).

Trabalhos completos publicados em anais de congressos nacionais

  1. C.M.B.Medeiros e C.D.de Aguiar, ``Uma Arquitetura para Integrar Bancos de Dados Heterogêneos Aplicada a Sistemas de Planejamento Urbano'', Proc. XXII Semish, 551-562, (1995).
  2. J.L.Szwarcfiter, C.P.de Mello e C.M.H.de Figueiredo, ``Sources, Sinks, Even and Odd Pairs in Comparability Graphs'', I Oficina Nac.em Problemas Combinatórios:Teoria,Algorit.e Aplicações, 33-39, (1995).
  3. E.Martins, ``Integrando Injeção de Falhas e Testes Formais na Validação da Tolerância'', SBES - Simpósio Brasileiro de Engenharia de Software, 223-239, (1995).
  4. G.C.Magalhães, E.Z.V.Dias e S.L.A.F.Granado, ``Uso de Versões na Garantia de Consistência em Ambientes Mistos de Projetos e Operação'', X Simpósio Brasileiro de Banco de Dados, 321-333, (1995).
  5. M.V.S.P.de Aragão, C.C.de Souza, W.A.Carnielli e E.Monte Carmelo, ``Upper Bounds for Minimum Covering Codes by Tabu Search'', II Ofic.Nac.de Problemas Combinatórios: Teoria,Algorit.e Aplicações, 50-58, (1995).
  6. M.V.S.P.de Aragão, V.Pureza e P.M.Franca, ``Modelo para Análise de Desempenho de Meta-Heurísticas Baseadas em Busca Tabu'', XXVII Simpósio Brasileiro de Pesquisa Operacional, (1995).
  7. M.V.S.P.de Aragão e H.J.Longo, ``Times Assíncronos para o SCP'', XXVII Simpósio Brasileiro de Pesquisa Operacional, (1995).
  8. E.R.M.Madeira e L.A.P.Lima Jr, ``The Federative Trader Model of the Multiware Platform'', 13o Simpósio Brasileiro de Redes de Computadores - SBRC'95, 549-563, (1995).
  9. J.C.Setubal e C.F.Bella Cruz, ``Uma Adaptação do Algoritmo de Edmonds para Execução em Paralelo'', II Ofic.Nac.em Problemas Combinatórios: Teoria, Algorit. e Aplicações, 39-49, (1995).
  10. J.Wainer e A.M.Monteiro, ``Epistemic Extention of a Conditional Logic'', 2nd Workshop on Logic, Language, Information and Computation-WOLLIC'95, (1995).
  11. H.Saggion e A.M.B.Rizzoni Carvalho, ``Análise Textual Visando a Tradução Automática'', XXV Seminário Integrado de Software e Hardware, I, 201-212, (1995).
  12. L.E.Buzato, H.K.E.Liesenberg e F.N.de Lucena, ``Xchart-Based Complex Dialogue Development'', Simpósio Nipo-Brasileiro de Ciência e Tecnologia, 387-396, (1995).
  13. C.M.H.de Figueiredo, J.Meidanis e C.P.de Mello, ``Local Condictions for Edge-Coloring'', II Ofic.Nac.em Problemas Combinatórios: Teoria,Algorit.e Aplicações, 26-38, (1995).
  14. E.R.M.Madeira e F.M.Costa, ``Suporte a Grupos Cooperativos na Plataforma Multiware'', 15o Congresso da SBC - SEMISH, 563-574, (1995).
  15. G.C.Magalhães, ``Caracterização de Cargas de Trabalho para Benchmarks de Sistemas de Informações Geográficas'', XXI Conferência Latino-Americana de Informática - PANEL'95, 399-410, (1995).
  16. C.L.Lucchesi e M.H.de Carvalho, ``Bases for the Matching Lattice of Matching-Covered Graphs'', Resenhas do IME-USP - Semana de Combinatória, 2, 219-227, (1995).
  17. P.S.de Souza e R.de F.Rodrigues, ``Times Assincronos: Uma Abordagem Multi-Algorítmica com Múltiplos Objetivos'', XXVII Simpósio Brasileiro de Pesquisa Operacional, (1995).
  18. P.S.de Souza e E.Camponogara, ``A Solução de um Problema de Transporte Através de Sua Decomposição'', XX Seminário Integrado de Hardware and Software, II, (1995).
  19. C.C.de Souza, C.E.Ferreira e Y.Wakabayashi, ``Reconstruction of DNA Fragments: a Graph Model'', Anais do Congresso Nacional de Matemática Aplicada e Computacional, I, 90-94, (1995).
  20. P.S.de Souza e E.Camponogara, ``Modelo Matemático de um Modelo de Suprimento de Demandas'', II Simpósio Brasileiro de Automação Inteligente, (1995).
  21. L.E.Buzato, ``Tolerância a Falhas, Orientação a Objetos e Ações Atômicas'', VI Simpósio de Computadores Tolerantes a Falhas, 33-47, (1995).
  22. E.R.M.Madeira e L.O.B.Lento, ``Um Esquema para Acessar Objetos em Ambientes Distribuidos'', 13o Simpósio Brasileiro de Redes de Computadores - SBRC'95, 301-317, (1995).
  23. E.R.M.Madeira e C.K.Silveira, ``Um Esquema para o Gerenciamento de Aplicações em Redes TCP-IP'', 13o Simpósio Brasileiro de Redes de Computadores - SBRC'95, 567-585, (1995).
  24. G.C.Magalhães, J.L.de Oliveira e C.Q.Cunha, ``Modelo de Objetos para Construção de Interfaces Visuais Dinâmicas'', IX Simpósio Brasileiro de Engenharia de Software, 143-158, (1995).
  25. N.J.Leite, ``A Morphological Parallel Algorithm for Classifying Binary Image Contours'', SibGrapi'95, (1995).
  26. N.J.Leite, ``A Parallel Algorithm for Photomosaicking Based on Mathematical Morphology'', SibGrapi'95, (1995).
  27. C.M.F.Rubira e B.Randell, ``Object-Oriented Environmental Fault Tolerance'', VI Simpósio de Computadores Tolerantes a Falhas, 417-439, (1995).
  28. P.S.de Souza e W.E.Ribeiro, ``Heurísticas de Construção para o Prize Collecting TSP'', XXVII Simpósio Brasileiro de Pesquisa Operacional, (1995).
  29. M.C.C.Baranauskas, E.L.Borges e M.A.F.Borges, ``Da Simulação à Criação de Modelos: Um Contexto para Aprendizagem na Empresa'', VI SBIE - Anais do VI Simpósio Brasileiro de Informática Educativa, 11, 154, (1995).
  30. M.C.C.Baranauskas, L.D.Fernandes e A.Furquim, ``Jogos no Computador e a Formação de Recursos Humanos na Indústria'', VI SBIE - Anais do VI Simpósio Brasileiro de Informática Educativa, (1995).

Resumos publicados em anais de congressos nacionais

  1. C.L.Lucchesi, A.Moroni e L.P.Magalhães, ``Modelagem e Visualização de Superfícies Isopotenciais'', SibGrapi'95, 301-302, (1995).
  2. C.M.H.de Figueiredo, J.Meidanis e C.P.de Mello, ``Edge-Colouring, Indifference Graphs and Odd Maximum Degree Graphs'', I Ofic.Nac.em Problemas Combinatórios: Teoria,Algorit.e Aplicações, 11-14, (1995).
  3. C.P.de Mello e L.A.P.Lozada, ``Classes de Grafos Clique-Convergentes'', XVIII Congresso Nacional de Matemática Aplicada e Computacional, 325-328, (1995).
  4. E.R.M.Madeira e M.R.R.Araújo, ``Implementação do Repositório de Interfaces para a CORBA'', III Congresso de Iniciação Científica, (1995).
  5. A.Gomide, ``Ensino de Programação e o Paradigma Procedural'', XVIII Congresso Nacional de Matemática Aplicada e Computacional, I, 320-321, (1995).
  6. J.Stolfi e R.L.W.Liesenfeld, ``Animação Dinâmica de Corpos Elásticos'', VIII Simpósio Bras.de Computação Gráfica e Processamento de Imagens, 320-321, (1995).
  7. P.J.de Rezende e C.N.Gon, ``GeoPro: Geometria Projetiva Orientada com Tratamento de Degenerações'', VIII Simpósio Bras.de Computação Gráfica e Processamento de Imagens, 315-316, (1995).
  8. P.J.de Rezende e I.C.Garcia, ``Astral: Animação Gráfica de Algorítmos e Estruturas de Dados - Uma Abordagem Construtiva'', VIII Simpósio Bras.de Computação Gráfica e Processamento de Imagens, 317-318, (1995).

Trabalhos completos publicados em anais de congressos internacionais

  1. A.V.Moura, J.S.Travelho, N.Pereira Filho, M.Dreux e R.Borer, ``A Finite Difference Method Applied to the k-e-g Turbulence Model in a Constant-Density Jet in Still Air'', Italian-Latin American Conference on Indust. and Applied Mathematics, Brasil , 1-3, (1995).
  2. E.R.M.Madeira, ``A Model for a Federative Trader'', IFIP ICODP'95 - Int.Conference on Open Distributed Processing, Australia , 155-166, (1995).
  3. N.L.S.da Fonseca, J.A.Silvester e S.S.Wang, ``D-BMAP Models for the Performance Analysis of ATM Network'', 2nd. IFIP Workshop on Performance and Modeling of ATM Networks, Estados Unidos , (1995).
  4. N.L.S.da Fonseca e J.A.Silvester, ``On the Delay Computation Feed Forward ATM Networks'', International Telecomunications Symposium, Estados Unidos , (1995).
  5. J.Meidanis, C.P.de Mello e C.M.H.de Figueiredo, ``On Edge-Colouring Indifference Graphs'', II Latin American Theoretical Informatics, Chile , 911, 286-299, (1995).
  6. N.L.S.da Fonseca e J.A.Silvester, ``Modeling the Output Process of an ATM Multiplexer with Markov Modulated Arrivals'', IEEE International Conference on Communications, Estados Unidos , (1995).
  7. J.Meidanis e J.C.Setubal, ``Multiple Alignment of Biological Sequences with Gap Flexibility'', II Latin American Theoretical Informatics, Chile , 911, 411-426, (1995).
  8. J.Meidanis, ``Distance and Similarity in the Presence of Nonincreasing Gap-Weighting Functions'', II South American Workshop on String Processing, Chile , 27-37, (1995).
  9. A.Moroni, C.L.Lucchesi e L.P.Magalhães, ``Modelling 3D-Isosurfaces Using Particle Systems-GRAPHICOM95 - Tutorials and Main Program Reports'', GRAFO Computer Graphics Society - State Education Center, Russia , 1, (1995).
  10. H.Saggion e A.M.B.Rizzoni Carvalho, ``Text Structure Aiming at Machine Translation'', XII Reunion Nacional de Inteligencia Artificial. Morelos, Mexico , 94-100, (1995).
  11. H.Saggion e A.M.B.Rizzoni Carvalho, ``Cálculo de la Estructura de un Texto en un Sistema de Procesamiento de Lenguaje Natural'', XI Congreso de Lenguajes Naturales y Lenguajes Formales, Russia , 551-558, (1995).
  12. M.V.S.P.de Aragão, P.Hansen, B.Jaumard e D.G.D.Nguetse, ``Models and Algorithms for Probabilistic and Bayesian Logic'', International Joint Conference on Artificial International,Inc.-IJCAII, Canada , 1862-1868, (1995).
  13. J.Stolfi e L.H.Figueiredo, ``Adaptive Enumeration of Implicit Surfaces With Affine Arithmetic'', Eurographics Workshop on Implicit Surfaces'95, Franca , 161-170, (1995).
  14. P.S.de Souza e R.de F.Rodrigues, ``Asynchronous Teams: a Multi-Algorithm Approach for Solving Combinatorial Multi-Objective Optimization Problems'', Fifth Workshop on the DGOR-Work.Group Multicriteria Opt.and Dec.Theory, Alemanha , (1995).
  15. R.de O.Anido, ``U10-Base Methods For Automatic Test Generation'', Proc.of the EUNICE summer school on communication protocol engineering, Portugal , 110-134, (1995).
  16. M.C.C.Baranauskas e O.L.de Oliveira, ``Domain-Oriented Modelling: a Balance between Simulation and Programming'', WCCE95 - Proc.of the Sixth IFIP World Conf.Computers in Education, Reino Unido , (1995).
  17. A.V.Moura, H.F.de Campos Velho e J.S.Travelho, ``Matrix Methods Applied to the Study of the Dispersion of CO2 Produced by Forest Fires in the Amazon Region'', 3rd.Inter.Congress on Industrial and Applied Mathematics - ICIAM'95, Alemanha , 4-7, (1995).
  18. A.V.Moura, ``Production of Pollutants in Uncontrolled Fires'', 3rd.Inter.Congress on Industrial and Applied Mathematics - ICIAM'95, Alemanha , 1-4, (1995).
  19. J.Meidanis e E.G.Munuera, ``A Simple Linear Time Algorithm for Binary Phylogeny'', XV International Conference of the Chilean Computing Society, Chile , 181-190, (1995).
  20. N.L.S.da Fonseca, ``A Queueing Network Model for ATM Networks'', The Japanese - Brazilian Symposium of Science and Technology, Brasil , (1995).
  21. C.M.B.Medeiros, G.Vossen e M.Weske, ``WASA - A Workflow-Based Architecture to Support Scientific Database Applications'', International Conference Database and Expert System Applications, Reino Unido , 245-254, (1995).
  22. J.Wainer e P.Barthelmess, ``Workflow Systems: a Few Suggestions and a Few Definitions'', ACM Conference on Organizational Computing Systems, Estados Unidos , 138-147, (1995).
  23. J.Wainer e P.Barthelmess, ``Workflow Modeling'', Proc.of the 1st CITOS-RYTED International Workshop on Groupware, Portugal , (1995).
  24. C.M.F.Rubira, J.Xu, B.Randell, A.Romanovsky, R.Stroud e Z.Wu, ``Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery'', Proc.of The 25th.IEEE Int.Symposium on Fault-Tolerant Computing-FTCS25, Estados Unidos , 27-30, (1995).
  25. C.M.B.Medeiros e M.A.Cilia, ``Maintenance of Binary Topological Constraints Through Active Databases'', Proc.3nd. ACM Workshop on Advances in GIS, Estados Unidos , 128-135, (1995).
  26. E.R.M.Madeira, ``Multiware Platform: Some Issues About the Middleware Layer'', 7th IASTED Inter.Conf.on Parallel and Distributed Computing and System, Estados Unidos , 162-166, (1995).
  27. R.de O.Anido e A.Cavalli, ``Guaranteeing full fault coverage for U10-based methods'', 8th IFIP Int. Workshop on Protocol Test Systems, Franca , 221-236, (1995).
  28. C.M.B.Medeiros e J.L.de Oliveira, ``A Direct Manipulation User Interface for Querying Geographic Databases'', Proc.Int. Conference Applications of Databases, Estados Unidos , 120-129, (1995).

Resumos publicados em anais de congressos internacionais

  1. C.M.H.de Figueiredo, J.Meidanis e C.P.de Mello, ``A Greedy Method for Edge-Colouring Odd Maximum Degree Doubly Chordal Graphs'', XXV South.Intern.Confer.on Combinatorics,Graph Theory and Computing, Estados Unidos , 127, (1995).
  2. J.L.Szwarcfiter, C.P.de Mello e C.M.H.de Figueiredo, ``Sources, Sinks, Even and Odd Pairs in Comparability Graphs'', Euro XIV , Israel , 2-27, (1995).

Livros publicados no exterior

  1. J.Wainer e A.M.B.Rizzoni Carvalho, ``Advances in Artificial Intelligence: Proceedings of the 12th Brazilian Symposium on Artificial Intelligence'', Vol. 991, Editora: Springer-Verlag, Berlin, Alemanha , (1995).

Capítulos de livros publicados no exterior

  1. E.R.M.Madeira e L.A.P.Lima Jr, ``A Model for a Federative Trader'', ``Open Distributed Processing: Experiences with Distributed Enviroment'', Editora: Chapman and Hall, Pags 173-184, Brisbane, Australia , (1995).
  2. S.A.Silvester, N.L.S.da Fonseca e S.A.Wang, ``D-BMAP Models for the Performance Evaluation of ATM Networks'', ``Performance Modelling and Evaluation of ATM Networks'', Editora: Charpman and Hall, Russia , (1995).
  3. C.M.F.Rubira, B.Randell, A.Romanovsky, R.Stroud, Z.Wu e J.Xu, ``From Recovery Blocks to Coordinated Atomic Actions'', ``Predictably Dependable Computer Systems'', 1_a Edição, Editora: Springer-Verlag, Pags 87-101, Estados Unidos , (1995).

Relatórios técnicos

  1. C.C.de Souza, N.Maculan, S.C.S.Porto e C.C.Ribeiro, ``A New Formulation for Schedulling Unrelated Processors Under Precedence Constraints'', (1995).
  2. J.C.Setubal e R.P.de Menezes, ``Modelos de computação paralela e projeto de algoritmos'', (1995).
  3. P.J.de Rezende e R.Fileto, ``Paradigmas de algoritmos na solução de problemas de busca multidimensional'', (1995).
  4. J.Stolfi, ``Adaptive enumeration of implicit surfaces with affine arithmetic'', (1995).
  5. R.de O.Anido e N.C.Mendonça, ``Protocols for Maintaining Consistency of Replicated Data'', (1995).
  6. M.V.S.P.de Aragão e C.C.de Souza, ``Anais da II Oficina Nacional em Problemas Combinatórios: Teoria, Algoritmos e Aplicações'', (1995).
  7. H.K.E.Liesenberg, ``W3 no Ensino de Graduação?'', (1995).
  8. C.M.H.de Figueiredo, J.Meidanis e C.P.de Mello, ``A greedy method for edge-colouring odd maximum degree doubly chordal graphs'', (1995).
  9. F.N.de Lucena e H.K.E.Liesenberg, ``Xchart-based complex dialogue development'', (1995).
  10. I.M.Barros, R.de A.Lotufo e N.J.Leite, ``Processador de vizinhança para filtragem morfológica'', (1995).
  11. M.J.C.Euzébio, ``Agentes replicantes e algoritmos de eco'', (1995).
  12. P.Barthelmess e J.Wainer, ``Workflow Systems: a few definitions and a few suggestions'', (1995).
  13. H.V.da Rocha, ``O Computador como Ferramenta Auxiliar no Processo de Avaliação Cognitiva'', (1995).
  14. C.F.Mendonça Neto, P.D.Eades, J.Meidanis e C.L.Lucchesi, ``NP-Hardness Results of Tension-Free Layout'', (1995).
  15. C.L.Lucchesi e M.H.de Carvalho, ``Bases for the matching lattice of matching covered graphs'', (1995).
  16. P.Eades e C.F.Mendonça Neto, ``Vertex splitting and tension-free layout'', (1995).
  17. R.de O.Anido e A.Cavalli, ``Guaranteeing full fault coverage for U10-based methods'', (1995).
  18. N.J.Leite, ``Modelos computacionais para processamento digital de imagens em arquiteturas paralelas'', (1995).
  19. J.Meidanis e E.G.Munuera, ``A linear time algorithm for binary phylogeny using PQ-trees'', (1995).
  20. P.Barthelmess e J.Wainer, ``Workflow Modeling'', (1995).
  21. C.M.B.Medeiros e J.L.de Oliveira, ``A Direct Manipulation User Interface for Querying Geographic Databases'', (1995).
  22. E.Martins, ``ATIFS: Um ambiente de testes baseado em injeção de falhas por software'', (1995).
  23. N.J.Leite e M.A.de Barros, ``A highly reconfigurable neighborhood image processor based on functional programming'', (1995).
  24. R.de F.Rodrigues e P.S.de Souza, ``Asynchronous Teams: A multi-algorithm approach for solving combinatorial multiobjective optimization problems'', (1995).
  25. H.Saggion e A.M.B.Rizzoni Carvalho, ``Text structure aiming at machine translation'', (1995).
  26. E.R.M.Madeira, ``Multiware Plataform: Some issues about the middleware layer'', (1995).
  27. C.Neves Junior, T.H.Yunes, F.N.de Lucena e H.K.E.Liesenberg, ``wxWindows: Uma introdução'', (1995).
  28. T.Kowaltowski, ``John von Neumann: Suas contribuições à computação'', (1995).
  29. H.Saggion e A.M.B.Rizzoni Carvalho, ``Cálculo de la estructura de un texto en un sistema de procesamiento de lenguaje natural'', (1995).