Book Chapters
1978
MENASCÉ, D.A.; POPEK, G.J.; MUNTZ, R.R. Centralized and hierarchical locking in distributed databases. In: BERNSTEIN, P.A.; ROTHNIE, J.B.; SHIPMAN, D.W. (Ed.). Tutorial distributed data base management. Long Beach: IEEE, 1978. p. 178-195.
MENASCÉ, D.A.; MUNTZ, R.R. Locking and deadlock detection in distributed data bases. In: In: BERNSTEIN, P.A.; ROTHNIE, J.B.; SHIPMAN, D.W. (Ed.). Tutorial distributed data base management. Long Beach: IEEE, 1978. p. 95-112.
1979
MENASCÉ, D.A.; MUNTZ, R.R. Locking and deadlock detection in distributed data bases. In: CHU, W.W.; CHEN, P.S. (Ed.). Tutorial: centralized and distributed data base systems. Long Beach: IEEE, 1979. p. 489-506.
1980
STAA, A.v.; BERRY, D.; KEMMERER, R.A.; YEMINI, S. Towards a modular verifiable exception handling. In: WASSERMAN, A.I. (Ed.). Tutorial: programming languages design. Long Beach: IEEE, 1980.
1983
CARVALHO, S.E.R. Linguagens de programação. In: LUCENA, C.J.P.; MENASCÉ, D.A. A engenharia e a economia do software. Rio de Janeiro: CAMPUS, 1983.
CHAVES, T.C.F.; albrecht, p. Software orientado para equações diferenciais ordinárias. In: LUCENA, C.J.P.; MENASCÉ, D.A. A engenharia e a economia do software. Rio de Janeiro: CAMPUS, 1983.
FURTADO, A.L. A evolução do software para bancos de dados. In: LUCENA, C.J.P.; MENASCÉ, D.A. A engenharia e a economia do software. Rio de Janeiro: CAMPUS, 1983.
LUCENA, C.J.P. O problema da especificação e desenvolvimento de software. In: LUCENA, C.J.P.; MENASCÉ, D.A. A engenharia e a economia do software. Rio de Janeiro: CAMPUS, 1983.
MENASCÉ, D.A.; SCHWABE, D. Software para sistemas distribuídos e comunicação de dados. In: LUCENA, C.J.P.; MENASCÉ, D.A. A engenharia e a economia do software. Rio de Janeiro: CAMPUS, 1983.
PLEHWE, A.K.v. Sistemas operacionais de uso geral para microcomputadores. In: LUCENA, C.J.P.; MENASCÉ, D.A. A engenharia e a economia do software. Rio de Janeiro: CAMPUS, 1983.
RUAS, V. Métodos e software de elementos finitos. In: LUCENA, C.J.P.; MENASCÉ, D.A. A engenharia e a economia do software. Rio de Janeiro: CAMPUS, 1983.
STAA, A.v. Ferramentas para aumento da produtividade no desenvolvimento de software. In: LUCENA, C.J.P.; MENASCÉ, D.A. A engenharia e a economia do software. Rio de Janeiro: CAMPUS, 1983.
STANTON, M.A. Compatibilidade de software e o problema de padronização de sistemas operacionais. In: LUCENA, C.J.P.; MENASCÉ, D.A. A engenharia e a economia do software. Rio de Janeiro: CAMPUS, 1983.
1984
CASANOVA, M.A.; FURTADO, A.L. On the description of database transition constraints using temporal language. In: GALLAIRE, H.; MINKER, J. NICHOLAS, J.M. (Ed.). Advances in data base theory. New York: Plenum, 1984. v. 2, p. 211-236.
LUCENA, C.J.P.; MARTINS, R.C.B.; VELOSO, P.A.S. A theoretical proposal to CASD system extending the Jackson’s method. In: TOU, J.T. (Ed.). Advanced automation. New York: Plenum, 1984.
MAIBAUM, T.S.E.; SADLER, M.R.; VELOSO, P.A.S. Logical specification and implementation. In: Joseph, M.; Rudrapatna Shyamasundar, r. (Ed.). Foundations of Software Technology and Theoretical Computer Science. Berlin: Springer, 1984. p. 13-30. (Lecture Notes in Computer Science, 181)
VELOSO, P.A.S. Decompositions for general multilinear systems. In: TZAFESTAS, S.G. (Ed.). Multivariable control: new concepts and tools. Dordrecht: Reidel, 1984. p. 105-123.
VELOSO, P.A.S.; FURTADO, A.L. Stepwise construction of algebraic specifications. In: GALLAIRE, H.; MINKER, J. NICHOLAS, J.M. (Ed.). Advances in data base theory. New York: Plenum, 1984. v. 2, p. 321-352.
1985
FURTADO, A.L.; CASANOVA, M.A. Updating relational views. In: Query-processing in database systems. Berlin: Springer-Verlag, 1985.
1986
TUCHERMAN, L.; FURTADO, A.L.; CASANOVA, M.A. Modular database design tools. In: Relational databases: state of the art report 14:5. Oxford: Pergamon Infotech, c1986. p. 249-271.
VELOSO, P.A.S.; FURTADO, A.L. Towards simpler and yet complete formal specifications. In: LANGEFORS, B. [et al.]. (Ed.). Trends in information systems. Amsterdam: North-Holland, 1986. p. 257-271.
1988
LANZELOTTE, R.S.G. SGBD: a evolução para sistemas de conhecimento. In: MELO, R.N. Bancos de dados não convencionais e suas novas áreas de aplicação. Campinas: UNICAMP, 1988. (Escola de Computação, 6).
RUAS, V. Accurate solution of the incompressible Navier-Stokes equations using asymmetric quasilinear finite elements. In: DAVIS, G.V.; FLETCHER, C. (Ed.). Computational fluid dynamics. New York: Elsevier, 1988. p. 621-630.
VELOSO, P.A.S. Problem solving by interpretation of theories. In: CARNIELLI, W.A.; ALCANTARA, L. (Ed.). Methods and applications of mathematical logic. Providence: R.I.: American Mathematical Society, 1988. p. 241-250.
1989
LUCENA, C.J.P. Towards software packages that know about their individual users. In: Advances in computer science. London: [s.n.], 1989.
NISKIER, C.; MAIBAUM, T.; SCHWABE, D. A pluralistic knowledge-based approach to software specification. In: EUROPEAN SOFTWARE ENGINEERING CONFERENCE (ESEC), 2., 1989, Coventry. Proceedings… London: Springer-Verlag, 1989. p. 411-423. (Lecture Notes in Computer Science, 387).
SOUZA, C.S.; SCOTT, D.R.; NUNES, M.G.V. Enhacing text quality in a question-answering system. In: Portuguese Conference on Artificial Intelligence (EPIA), 4., 1989, Lisboa. Proceedings... Berlin: Springer, 1989. p. 222-233. (Lecture Notes in Computer Science, 390).
1990
SCOTT, D.R.; SOUZA, C.S. Getting the message across in RST-based text generation. In: DALE, R.; MELLISH, C.; ZOCK, M. Current research in natural language generation. London: Academic Press, 1990. p. 47-73.
1991
GARZOTTO, F.; PAOLINI, P.; SCHWABE, D.; BERNSTEIN, M. Tools for designing hyperdocuments. In: DEVLIN, J.; BERK, E. (Ed.). Hypertext/hypermedia handbook. New York: McGraw Hill, c1991. p. 179-207.
HAEBERER, A.M.; VELOSO, P.A.S. Partial relations for program derivation and adequacy, inevitability and expressiveness. In: MOLLER, B. (Ed.). Constructing programs from specifications. Amsterdam: North-Holland, 1991. p. 319-371.
RUAS, V.; ARAUJO, J.H.C. Finite element solution of unsteady viscous incompressible flow past a cylinder. In: TAYLOR, C.; CHIN, J.H.; HOMSY, G.M. (Ed.). Numerical methods in laminar and turbulent flow. New York: Pineridge, 1991. v. 7, p. 454-458.
RUAS, V.; ARAUJO, J.H.C.; RAMOS, M.A.M.S. Finite elements models for viscoelastic liquids: some recent developments. In: TAYLOR, C.; CHIN, J.H.; HOMSY, G.M. (Ed.). Numerical methods in laminar and turbulent flow. New York: Pineridge, 1991. v. 7, p. 1658-1668.
VELOSO, P.A.S. Problem construction (with data abstraction) as transformation on theories. In: ALCOFORADO, P. (Ed.). Lógica, computação e epistemologia: ensaios em homenagem ao prof. Jorge Barbosa. Niterói: ILTC, 1991. p. 133-154.
1992
RIBENBOIM, A.; LANZELOTTE, R.S.G.; MELO, R.N. OPUS: an extensible optimizer for update database systems. In: BAEZA-YATES, R. Computer science: research and application. New York: Plenum Press, 1992.
RUAS, V. Finite element methods for three-dimensional viscous incompressible flow. In: CHUNG, T.J. (Ed.). Finite element flow analysis. New York: Hemisphere, 1992.
1994
HEMERLY, A.S.; CASANOVA, M.A.; FURTADO, A.L. Exploiting user models to avoid misconstruals. In: DEMOLOMBE, R.; IMIELINSKI, T. (Ed.). Nonstandard queries and nonstandard answers. Oxford: Clarendon Press, 1994. p. 73-97.
1995
HAEUSLER, E.H.; FIGUEIREDO, L.C. Another interpretation for Abramsky’s proof as process for multiplicative linear logic. In: CARNILELLI, W.; PEREIRA L.C.P.D. Logic, sets and information. Campinas: CLE-UNICAMP, 1995. (Coleção CLE, 14).
MAIBAUM, T.S.E.; VELOSO, P.A.S. Formal specifications: logical approach. In: GABBAY, D.; MAIBAUM, T.S.E. (Ed.). Handbook of logic and computer science. Oxford: Oxford University Press, [s.d.]. [no prelo]
SILVA, J.R.; AFSARMANESCH, H.; COWAN, D.D.; LUCENA, C.J.P. An object-oriented approach to the design of flexible manufactoring system. In: CAMARINHA-MATOS, L.M.; AFSARMANESCH, H. Balanced automation systems. Londres: Chapman and Hall, 1995. cap. 9, p. 10.
VELOSO, P.A.S. On some logical properties related to modularity and interpolation. In: CARNILELLI, W.; PEREIRA L.C.P.D. Logic, sets and information. Campinas: CLE-UNICAMP, 1995. p. 213-246. (Coleção CLE, 14).
1996
Alencar, P.; Bumbulis, P.; Cowan, D.D.; LUCENA, C.J.P. A component-based approach applied to a netscape browser. In: Palanque, P.; Paterno, F. (Ed.). Formal methods in human computer interaction. London: Springer-Verlag, 1997. p. 244-251.
LUCENA, C.J.P.; Bumbulis, P.; Alencar, P.C.; Cowan, D.D. Validating properties of component-based graphical user interfaces. In: BODART, F.; VANDERDONCKT, J. (Ed.). Design, specification and verification of interactive systems'96. New York: Springer–Verlag, 1996. p. 347-365.
LUCENA, C.J.P.; ALENCAR, P.S.C. A formal description of evolving software systems architectures. In: Prêmio compaq de estímulo a pesquisa e desenvolvimento em informática, 1. São Paulo: Instituto UNIEMP, 1996. p. 3-16.
ROSSI, G.; GARRIDO, A.; CARVALHO, S.E.R. Design patterns for object-oriented hypermedia applications. In: COPLIEN, J.O.; SCHMIDT, D.C. (Ed.). Pattern languages of program design. Reading: Addison-Wesley, 1996. v. 2, cap. 3, p. 177-191.
SOARES, L.F.G.;CASANOVA, M.A.;RODRIGUEZ, N.L.R. Nested Composite Nodes and Version Control in an Open Hypermedia System Revisited. In: Prêmio compaq de estímulo a pesquisa e desenvolvimento em informática, 1. São Paulo: Instituto UNIEMP, 1996. p. 99-116
1997
Alencar, P.; Bumbulis, P.; Cowan, D.D.; LUCENA, C.J.P. A component-based approach applied to a netscape browser. In: Palanque, P.; Paterno, F. (Ed.). Formal Methods in Human Computer Interaction. London: Springer-Verlag, 1997. cap. 27. p. 244-251.
Alencar, P.; Cowan, D.D.; LUCENA, C.J.P.; Nelson, T. An approach to hypermap-based applications. In: Denzer, r.; Swayne, d.a.; Schimak, g. (Ed.). Environmental Software Systems. London: Chapman & Hall, 1997. p. 244-251.
COSTA, M.; FEIJÓ, B. Agents with emotions behavioural animation. In: II Prêmio compaq de estimulo à pesquisa e desenvolvimento em informática. São Paulo: UNIEMP, 1997. p. 235-243.
HAEBERER, A.M.; FRIAS, M.F.; Baum,G.; VELOSO, P.A.S. Fork algebras. In: BRINK, C.; KAHL, W.; SCHMIDT, G. (Ed.). Relational methods in computer science. Wien: Springer, c1997. cap. 4, p. 54-69.
IERUSALIMSCHY, R., FIGUEIREDO, L. CELES. W. Lua: an extensible extension language. In: II Prêmio compaq de estimulo à pesquisa e desenvolvimento em informática. São Paulo: UNIEMP, 1997. p. 174-189.
1998
AIEX, R.M.; MARTINS, S.L.; RIBEIRO, C.C.C.; RODRIGUEZ, N.L.R. Cooperative multi-thread parallel tabu search with an application to circuit partitioning. In: FERREIRA, A. [et al.]. (Ed.). Solving irregulary structured problems in parallel. Berlin: Springer, 1998. p. 310-331. (Lecture Notes in Computer Science, 1457).
FEIJO, B.; GOMES, P.C.R.; BENTO,J.; CERQUEIRA, R.F.G. Reactive design agents in solid modelling. In: GERO, J.S.; SUDWEEKS, F. (Ed.). Artificial intelligence in design '98. Dordrecht: Kluwer, 1998. p. 557-577.
FEIJÓ, B. Virtual Environments for CAD Systems. In: TASSO,C.; ARANTES e OLIVEIRA, E.R. (Ed.). Development of knowledge-based systems for engineering. Udine: Springer-Verlag, 1998. p. 183-200.
LEITE, J.C.S.P. Reuso orientado a dominios: uma avaliação crítica. In: : BARROS, J.L.; DOMINGUEZ, A.I. (Coord.). Ingenieria de software y reutilizacion: aspectos dinamicos y generacion automática. Santiago: Universidade de Vigo, 1998. cap. 2, p. [23-33].
MARTINS, S.L.; RIBEIRO, C.C.C.; SOUZA, M.C. A parallel GRASP for the Steiner problem in graphs. In: FERREIRA, A. [et al.]. (Ed.). Solving irregulary structured problems in parallel. Berlin: Springer, 1998. p. 285-297. (Lecture Notes in Computer Science, 1457).
SENA, G.J.; FURTADO, A.L. Towards a cooperative question-answering system. In: Andreasen, t.; Christiansen, h.; Larsen, h.l. (ed.). Flexible query answering systems. Heidelberg: Springer, 1998. p. 354-365. (Lecture Notes in Computer Science, 1495).
1999
ALENCAR, P.S.C.; COWAN, D.D.; NELSON, T.; FONTOURA, M.F.; LUCENA, C.J.P. Viewpoins and frameworks in component-based software design. In: FAYAD, M.; SCHMIDT, D.C.; JOHNSON, R.E. Building application frameworks: object-oriented foundations of framework design. New York: J. Wiley, c1999. p. 163-165.
FURTADO, A.L. Narratives and temporal databases: an interdisciplinary perspective. In: CHEN, P.P. [et al.]. (Ed.). Conceptual modeling: current issues and future directions. Berlin: Springer, 1999. p. 73-86. (Lecture Notes in Computer Science, 1565).
MARTINS, S.L.; PARDALOS, P.; RESENDE, M.G.C.; RIBEIRO, C.C.C. Greedy randomized adaptive search procedures for the Steiner problem in graphs. In: PARDALOS, P.; RAJASEKARAN, S.; ROLIM, J. (Ed.). Randomization methods in algorithm design: DIMACS workshop, December 12-14, 1997. Providence: American Mathematical Society, 1999. p. 133-146. (Discrete Mathematics and Theoretical Computer Science, 43)
OLIVEIRA, D.A.S.; SOUZA, C.S.; HAEUSLER, E.H. Structured argument generation in a Lgic-Based KB-System. In: MOSS, L.S.; GINZBURG, J.; RIJKE, M. (Ed.). Logic, Language and Computation. California: CSLI Press, 1999. v. 2, p. 237-265.
SETTE, A.M.; CARNIELLI, W.A.; VELOSO, P.A.S. An alternative view of default reasoning and its logic. In: HAEUSLER, E.H.; PEREIRA, L.C.P.D. Pratica: proofs, types and categories. Rio de Janeiro: L. C. Pereira, 1999. p. 127-158.
SOUZA, C.S.; LEITE, J.C.; PRATES, R.O.; BARBOSA, S.D.J. Projeto de interfaces de usuários: perspectivas cognitivas e semióticas. In: Jornadas de Atualização em Informática (JAI), 18., (em conjunto com Congresso Nacional da Sociedade Brasileira de Computação, 19.), 1999, Rio de Janeiro. Anais… Rio de Janeiro: EntreLugar, 1999. v. 2, p. 425-476.
VELOSO, P.A.S. On ´almost all´ and some presuppositions. In: PEREIRA, L.C.P.D.; WRIGLEY, M.B. Logic, language and knowledge: essays in honour of Oswaldo Chateaubriand Filho. Campinas: Centro de Lógica, Epistemologia e História da Ciência, UNICAMP, 1999. p. 469-505.
VELOSO, P.A.S. On fork relations and programming. In: HAEUSLER, E.H.; PEREIRA, L.C.P.D. Pratica: proofs, types and categories. Rio de Janeiro: L. C. Pereira, 1999. p. 5-54.
VELOSO, P.A.S. Some connections between logic and computer science. In: CARNIELLI, W.; d´OTTAVIANO, I.M.L. (Ed.). Advances in contemporary logic and computer science. Providence: American Mathematical Society, 1999. p. 187-260. (Contemporary Mathematics, 235). (cópia)
2000
BARBOSA, S. D. J.; SILVA, S.R.P.; de SOUZA, C.S. Extensible software applications as semiotic engineering laboratories. In: PERRON, P. [et al.]. (Ed.). Semiotics and information sciences. New York: LEGAS, c2000. p. 77-96. (Language, media & education studies, 18)
LYARDET, F; ROSSI, G.; SCHWABE, D. Capturing and using design experience in web information systems. In: Furht, B. Handbook of internet computing. Boca Raton: CRC Press, 2000. cap. 11, p. 249-267.
ROSSI, G.; SCHWABE, D.; LYARDET, F. Patterns for designing navigable information spaces. In: COPLIEN, J.O.; SCHMIDT, D.C. (Ed.). Pattern languages of program design. Reading: Addison-Wesley, 2000. v. 4, cap. 20, p. 445-460.
2001
LEITE, J.C.S.P. Gerenciando a Qualidade de Software com Base em Requisitos. In: ROCHA, A.R.C.; MALDONADO, J.C.; WEBER, K. (Org.). Qualidade de software. São Paulo: Prentice Hall, 2001. cap. 17, p. 238-246.
CERQUEIRA, R.; IERUSALIMSCHY, R. Automated testing for a CORBA-based distributed system. In: SUCCI, G.; MARCHESI, M. (Ed.). Extreme programming examined. Boston: Addison-Wesley. 2001. cap. 22, p. 379-396. (The XP Series)
CHOREN, R.; SILVA, V.T. On modeling multi-agent systems and theirs organization. In: LUCENA, C.J.P.; MILIDIÚ, R.L. (Ed.). Sistemas multi-agentes. Rio de Janeiro: Papel Virtual, 2001. p. 53-67.
COSTA, M.; FEIJÓ, B. Agents with emotions in behavioral animation. In: Fellner, D.W. (Ed.). Seminal contributions from computers & graphics – In honor of the 60th Birthday of J.L. Encarnação. Oxford: Pergamon (Elsevier), 2001. cap. 14, p. 213-220.
CUNHA, L.M.; GONI, J.L.; FUKS, H.; LUCENA, C.J.P. Sistemas Multi-Agentes e Instrução Baseada na Web. In: LUCENA, C.J.P.; MILIDIÚ, R.L. (Ed.). Sistemas multi-agentes. Rio de Janeiro: Papel Virtual, 2001. p. 213-229.
FUKS, H. Projeto AulaNet: Ajudando os professores a fazer o seu dever de casa. In: ESTEVES, P. E., OLIVEIRA, G. D.. Educação à distância: experiências universitárias. Rio de Janeiro: UERJ/Lidador, 2001. cap. 3, p. 81-92.
GARCIA, A. F.; SILVA, V.T. Toward separation of concerns in the development of multi-agent object-oriented software. In: LUCENA, C.J.P.; MILIDIÚ, R.L. (Ed.). Sistemas multi-agentes. Rio de Janeiro: Papel Virtual, 2001. p. 9-27.
LEITE, J.C.S.P. Gerenciando a qualidade de software com base em requisitos. In: ROCHA, A.R.C.; MALDONADO, J.C.; WEBER, K. Qualidade de software: teoria e prática. São Paulo: Pearson Education do Brasil, 2001. cap. 17, p. 238-246.
RESENDE, M.G.C.; RIBEIRO, C.C.C. Graph planarization. In: Floudes, C.A.; Pardalos, P.M. (Ed.). Encyclopaedia of optimization. Dordrecht: Kluwer, 2001. v. 2, p. 368-373.
ROSSI, G.; SCHWABE, D. Object oriented web application modeling. In: Rossi, M.; Siau, K.. Information modeling in the new millenium. Hershey: Idea Group Publishing, 2001. cap. 26, p. 463-484.
Web design frameworks: an approach to improve reuse in web applications. In: Web engineering, software engineering and web application development. Berlin: Springer, 2001. p. 335-352. (Lecture Notes in Computer Science, 2016).
STAA, A.v. Instrumentação. In: ROCHA, A.R.C.; Maldonado, J.C.; Weber, K.. Qualidade de software: teoria e prática. São Paulo: Prentice-Hall, 2001. cap. 16, p. 226-237.
2002
ANDREATTA, A.A.; CARVALHO, S.E.R.; RIBEIRO, C.C.C. A Framework for Local Search Heuristics for Combinatorial Optimization Problems. In: S. VOSS, S.; Woodruff, D.L.. (Ed.) Optimization software class libraries. Boston: Kluwer Academic Publishers, c2002. p. 59-79.
BASTOS, M.P.; RIBEIRO, C.C.C. Reactive tabu search with path-Relinking for the Steiner problem in graphs. In: RIBEIRO, C.C.; HANSEN, P. (Ed.). Essays and surveys in metaheuristics. Boston: Kluwer Academic, c2002. cap. 2, p. 39-58.
BEASLEY,J.E.; LUCENA FILHO, A. P. ; ARAGAO, M.V.S.P. The vehicle routing problem. In: Resende, M.G.C.; Pardalos, P. Handbook of applied optimization. New York: Oxford University Press, 2002. p. 584-594.
CAVALCANTE, C.B.; CAVALCANTE, V.C.; RIBEIRO, C.C.C.; SOUZA, C.C. Parallel Cooperative Approaches for the Labor Constrained Scheduling Problem. In: RIBEIRO, C.C.; HANSEN, P. (Ed.). Essays and surveys in metaheuristics. Boston: Kluwer, c2002. cap. 10, p. 201-225.
CUNG, V.-D.; MARTINS, S.L.; RIBEIRO, C.C.C.; ROUCAIROL, C. Strategies for the parallel implementation of metaheuristics. In: RIBEIRO, C.C.; HANSEN, P. (Ed.). Essays and surveys in metaheuristics. Boston: Kluwer, c2002. cap. 13, p. 263-308.
FUKS, H.; RAPOSO, A.B.; GEROSA, M.A. Engenharia de groupware: desenvolvimento de aplicações colaborativas. In: Jornadas de Atualização em Informática (JAI), 21., (em conjunto com Congresso Nacional da Sociedade Brasileira de Computação, 22.), 2002, Florianópolis. Livro texto… Florianópolis: SBC, 2002. v. 2, p. 89-128.
LEITE, J.C.S.P. Extreme requirements. In: Durán, A.; TORO, M. (Ed.). Applying requirements engineering. Salamanca: Catedral Publicaciones, 2002. p. 1-12.
MARTINS, S.L.; RIBEIRO, C.C.C.; RODRIGUEZ, N.L.R. Parallel computing environments. In: Resende, M.G.C.; Pardalos, P. Handbook of applied optimization. New York: Oxford, 2002. p. 1029-1043.
RAPOSO, A. B.; FUKS, H. Defining task interdependencies and coordination mechanisms for collaborative systems. In: BLAY-FORNARINO, M. [et al.]. (Ed.) Cooperative systems design. Amsterdam: IOS Press, 2002. p. 88-103. (Frontiers in Artificial Intelligence and Applications, 74).
RIBEIRO, C.C.C. La métaheuristique probabiliste GRASP. In: Pirlot, m.; Teghem, J. Métaheuristiques et outils nouveaux en recherche opérationnelle. Paris: Hermes, 2002. p. 153-176.
SILVA, D.S.; SIQUEIRA, S.W.M.; UCHÔA, E.M.A.; BRAZ, M.H.; MELO, R.N. An Architecture for Data Warehouse Systems Using a Heterogeneous Database Management System - HEROS. In: . Bestougeff, H.; Dubois, J.E.; Thuraisingham, B. Heterogeneous information exchange and organizational hubs. Paris: Kluwer, 2002. . cap. 6, p. 87-104.
2003
CELES, W.; CALOMENI, A.L.V. Simulating and rendering particle systems. In: LANDER, J. (Ed.) Graphics programming methods. Hingham: Charles River Media, 2003. cap. 1.1, p. 5-16.
CORTES, S.C.; LIFSCHITZ, S. Banco de dados para um ambiente de computação móvel. In: Jornadas de Atualização em Informática (JAI), 22., (em conjunto com Congresso Nacional da Sociedade Brasileira de Computação, 23.), 2003, Campinas. Livro texto… Porto Alegre: SBC, 2003. v. 2, p. 95-144.
FUKS, H.; GEROSA, M.A.; LUCENA, C.J.P. Using the AulaNet learning environment to implement collaborative learning via the internet. In: AUNG, W. [et al.]. (Ed.). Innovations 2003: World Innovations in Engineering Education and Research. Arlington: International Network for Engineering Education and Research (iNEER), 2003. cap. 23, p. 225-235.
FUKS, H.; CUNHA, L.M.; GEROSA, M.A.; LUCENA, C.J.P. Participação e avaliação no ambiente virtual AulaNet da PUC-Rio. In: SILVA, M. Educação online: teorias, práticas, legislação e formação corporativa. Rio de Janeiro: Edições Loyola, 2003. cap. 15, p. 231-254.
FUKS, H.; GEROSA, M.A.; Pimentel, M.G. Projeto de comunicação em groupware: desenvolvimento, interface e utilização. In: Jornadas de Atualização em Informática (JAI), 22., (em conjunto com Congresso Nacional da Sociedade Brasileira de Computação, 23.), 2003, Campinas. Livro texto… Porto Alegre: SBC, 2003. v. 2, p. 295-338.
PRATES, R.O.; BARBOSA, S.D.J. Avaliação de interfaces de usuário – conceitos e métodos. In: Jornadas de Atualização em Informática (JAI), 22., (em conjunto com Congresso Nacional da Sociedade Brasileira de Computação, 23.), 2003, Campinas. Livro texto… Porto Alegre: SBC, 2003. v. 2, p. 245-293.
RESENDE, M.G.C.; RIBEIRO, C.C.C. Greedy randomized adaptive search procedures. In: GLOVER, F.; KOCHENBERGER, G.A. Handbook of metaheuristics. Boston: Kluwer, c2003. cap. 8, p. 219-249. (International Series in Operations Research & Management Science, 57).
SILVA, O.; GARCIA, A.; LUCENA, C.J.P. The reflective blackboard pattern: architecting large multi-agent systems. In: GARCIA, A.; LUCENA, C.J.P. [et al.]. (Ed.) Software engineering for large-scale multi-agent systems: research issues and practical applications. New York: Springer, 2003. p. 73-93. (Lecture Notes in Computer Science, 2603).
SILVA, V.; GARCIA, A.; BRANDÃO, A.; CHAVEZ, C. LUCENA, C.J.P.; ALENCAR, P. Taming agents and objects in software engineering. In: GARCIA, A.; LUCENA, C.J.P. [et al.]. (Ed.) Software engineering for large-scale multi-agent systems: research issues and practical applications. New York: Springer, 2003. p. 1-26. (Lecture Notes in Computer Science, 2603).
2004
BREITMAN, K.K.; LEITE, J.C.S.P. Lexicon based ontology construction. In: LUCENA, C.J. P. [et al.]. (Ed.) Software engineering for multi-agent systems II. Berlim: Springer, 2004. p. 19-34. (Lecture Notes in Computer Science, 2940).
BREITMAN,K. K.; LEITE, J.C.S.P. Ontologias: como e porque criá-las. In: Jornadas de Atualização em Informática (JAI), 23., (em conjunto com Congresso Nacional da Sociedade Brasileira de Computação, 24.), 2004, Salvador. Livro texto… Porto Alegre: SBC, 2004. v. 2, cap. 1, p. 3-53.
CELES, W. Extracting frustum and camera information. In: Kirmse, A. [et al.] (Coord.). Game Programming gems 4. Boston: Charles River Media, 2004. p. 147-156.
COSTA, R.L.C.; LIFSCHITZ, S. Sintonia e auto-sintonia de bancos de dados. In: Jornadas de Atualização em Informática (JAI), 23., (em conjunto com Congresso Nacional da Sociedade Brasileira de Computação, 24.), 2004, Salvador. Livro texto… Porto Alegre: SBC, 2004. v. 2, cap. 3, p. 99-142.
GARCIA, A.F.; SANT’ANNA, C.; CHAVEZ, C.; SILVA, V.T.; LUCENA, C.J.P.; STAA, A.v. Separation of concerns in multi-agent systems: an empirical study. In: LUCENA, C.J.P. [et al.]. (Ed.). Software engineering for multi-agent systems II. Berlim: Springer, 2004. p. 49-72. (Lecture Notes in Computer Science, 2940).
LEITE, J.C.S.P.; DOORN, J. Perspectives on software requirements: an introduction. In: LEITE, J.C.S.P.; DOORN, J.H. (Ed.). Perspectives on software requirements. Boston: Kluwer, 2004. cap. 1, p. 1-5.
LEITE, J.C.S.P.; DOORN, J.; KAPLAN, G.; HADAD,G.; RIDAO, M. Defining system context using scenarios. In: LEITE, J.C.S.P.; DOORN, J.H. (Ed.). Perspectives on software requirements. Boston: Kluwer, 2004. cap. 8, p. 169-199.
MACEDO, J.A.F.; LIFSCHITZ, S. Agent-based databases and parallel join load balancing. In: MONTILVA, J. [et al.] Sistemas de información e ingeniería de software: temas selectos. Mérida: Centro de Estudios en Informática, 2004. cap. 6, p .69-88.
MELO, F.C.L.; CHOREN, R.; CERQUEIRA, R.; LUCENA, C.J.P.; BLOIS, M. Deploying agents with the CORBA component model. In: Wolfgang, e.; WOLF, A.L. (Ed.). Component deployment. Berlim: Springer, 2004. p. 234-247. (Lecture Notes in Computer Science, 3083)
RAPOSO, A.B.; SZENBERG, F.; GATTASS, M.; CELES, W. Visão estereoscópica, realidade virtual, realidade aumentada e colaboração. In: Jornadas de Atualização em Informática (JAI), 23., (em conjunto com Congresso Nacional da Sociedade Brasileira de Computação, 24.), 2004, Salvador. Livro texto… Porto Alegre: SBC, 2004. v. 2, cap. 7, p. 291-331.
ROSSETI, I.C.M.; ARAGAO, M.V.S.P.; BARBOZA, E.; RIBEIRO, C.C.C.; WERNECK, R.F.F. New benchmark instances for the Steiner problem in graphs. In: RESENDE, M.G.C.; SOUZA, J.P. (Ed.). Metaheuristics: computer decision making. Dordrecht: Kluwer, 2004. cap. 28, p. 601-614.
RUSSO, E.E.R.; RAPOSO, A.B.; FERNANDO, T.; GATTASS, M. A realidade virtual na indústria de exploração e produção de petróleo. In: KIRNER, C.; TORI, E. (Ed.). Realidade virtual: conceitos e tendências. São Paulo: Mania de Livro, 2004.. cap. 21, p. 283-288.
SILVA, V.T.; CHOREN, R.; LUCENA, C.J.P. Using the MAS-ML to model a multi-agent system. In: LUCENA, C.J.P. [et al.]. (Ed.) Software engineering for multi-agent systems II. Berlim: Springer, 2004. p. 129-148. (Lecture Notes in Computer Science, 2940).
SILVA, A.C.; CARVALHO, P. C. P.; GATTASS, M. Diagnosis of Lung Nodule using the semivariogram function. In: Structural, Syntactic, and statistical pattern recognition. Berlin: Springer, 2004. p. 242-250. (Lecture Notes in Computer Science, 3138).
Siscoutto, R.A.; Szenberg, F.; Tori, R.; Raposo, A.B.; Celes, W.; Gattass, M. Estereoscopia. In: KIRNER, C.; TORI, E. (Ed.). Realidade virtual: conceitos e tendências. São Paulo: Mania de Livro, 2004.. cap. 11, p. 179-202.
SOUZA, M.C.; DUHAMEL, C.; RIBEIRO, C.C.C. A GRASP with path-relinking heuristic for the capacitated minimum spanning tree problem. In: RESENDE, M.G.C.; SOUZA, J.P. (Ed.). Metaheuristics: computer decision making. Dordrecht: Kluwer, 2004. cap. 30, p. 627-658.
2005
Bachelet, B.; Duhamel, C.; Mahey, P.; SOARES, L.F.G. Hypermedia synchronization: modeling and optimization with graphs. In: Cagnol, J.; ZOLESIO, J-P. (Ed.). Information processing: recent mathematical advances in optimization and control. Paris: Presses de l'Ecole des Mines de Paris, 2005. cap. 5, p. 49-62.
BRANDÃO, A.A.F.; ALENCAR, P. S. C.; LUCENA, C.J.P. AgentZ: extending object-Z for multi-agent systems specification. In: Bresciani, P. [et al.] (Ed.). Agent-Oriented information systems II. Berlin: Springer, 2005. p. 125-139. (Lecture Notes in Computer Science, 3508).
BREITMAN,K. K.; HAENDCHEN FILHO, A.; HAEUSLER, E.H.; STAA, A.v. Using ontologies to formalize services specifications in multi-agent systems. In: Hinchey, M.G. [et al.] (Ed.). Formal approaches to agent-based systems.. Berlin: Springer, 2005. p. 92-110. (Lecture Notes in Computer Science, 3228).
CASANOVA, M.A. Processamento de consultas e gerência de transações. In: CASANOVA, M.A. [et al.]. (Ed.). Bancos de dados geográficos. Curitiba: MundoGEO, 2005. cap. 7, p. 233-280.
CASANOVA, M.A.; BRAUNER, D.F.; CAMARA, G.; LIMA JÚNIOR, P. Integração e interoperabilidade. In: CASANOVA, M.A. [et al.] (Ed.). Bancos de dados geográficos. Curitiba: MundoGEO, 2005. cap. 9, p. 317-352.
CHOREN, R.; LUCENA, C.J.P. The ANote modeling language for agent-oriented specification. In: CHOREN, R. [et al.] (Ed.). Software engineering for multi-agent systems III: research isues and practical applications. Berlim: Springer-Verlag, 2005. p. 198-212. (Lecture Notes in Computer Science, 3390).
DAVIS JÚNIOR, C.A.; BORGES, K.A.; SOUZA, L.A.; CASANOVA, M.A.; LIMA JÚNIOR, P.O. O open geospatial consortium. In: CASANOVA, M.A. [et al.]. (Ed.). Bancos de dados geográficos. Curitiba: MundoGEO, 2005. cap. 11, p. 379-395.
FERREIRA, K.R.; CASANOVA, M.A.; QUEIROZ, G.R.; OLIVEIRA, O.F. Arquiteturas e linguagens. In: CASANOVA, M.A. [et al.]. (Ed.). Bancos de dados geográficos. Curitiba: MundoGEO, 2005. cap. 5, p. 181-212.
GARCIA, A.; KULESZA,U.; LUCENA, C.J.P. Aspectizing multi-agent systems: from architecture to implementation. In: CHOREN, R. [et al.] (Ed.). Software engineering for multi-agent systems III: research isues and practical applications. Berlim: Springer, 2005. p. 121-143. (Lecture Notes in Computer Science, 3390).
HAENDCHEN FILHO, A.; CAMINADA, N.; HAEUSLER, E.H.; STAA, A.v. Facilitating the specification capture and transformation process in the development of multi-agent systems. In: Hinchey, M.G. [et al.] (Ed.). Formal approaches to agent-based systems.. Berlin: Springer, 2005. p. 72-91. (Lecture Notes in Computer Science, 3228).
KULESZA,U.; GARCIA, A.; LUCENA, C.J.P.; ALENCAR, P. S. C. A generative approach for multi-agent system development. In: Software engineering for multi-agent systems III: research isues and practical applications. Berlim: Springer, 2005. p. 52-69. (Lecture Notes in Computer Science, 3390).
SARDINHA, J.A.R.P.; GARCIA, A.; LUCENA, C.J.P.; MILIDIU, R.L. A systematic approach for including machine learning in multi-agent systems. In: International Bi-Conference Workshop (AOIS 2004), 6., 2004, Riga, Latvia,and New York, NY, USA. Agent-oriented information systems II: revised selected papers. Berlim: Springer, 2005. p. 198-211. (Lecture Notes in Computer Science, 3508).