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, CoventryProceedings… 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.

 

SCHWABE, D.; ROSSI, G.; ESMERALDO, L.; LYARDET, F.  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).

 

2006

CELES, W.; FIGUEREDO, L.H.; IERUSALIMSCHY, R. Binding C/C++ Objects to Lua. In: DICKHEISER, Michael, ed.. Game programming gems 6. Boston: Charles River Media, 2006. p.341-356. 

de SOUZA, C.S. Da(s) subjetividade(s) na produção de tecnologia. In: NICOLACI DA COSTA, A.M. Cabeças digitais - o cotidiano na era da informação. Rio de Janeiro: Editora da PUC-Rio, 2006. p.81-106.

de SOUZA, C.S.; BARBOSA, S.D.J. A semiotic framing for end-user development. In: LIEBERMAN, H.; PATERNÒ, F.; WULF, V. End-user development. Dordrecht: Springer, 2006. p.401-426 (Human-Computer Interaction Series, vol. 9)

ENDLER, M.; RUBINSZTEJN, H.K.S.; ROCHA, R.C.A.; RODRIGUES, V.J.S. Proxy-based adaptation for mobile computing. In: BELLAVISTA, P.; CORRADI, A. The handbook of mobile middleware.  London: Taylor & Francis / CRC Press / Auerbach, 2006. p.311-337.

FUKS, H.; PIMENTEL, M.G.; GEROSA, M.A.; FERNANDES, M.C.P.; LUCENA, C.J.P. Novas estratégias de avaliação online: aplicações e implicações em um curso totalmente a distância através do ambiente AulaNet. In: SILVA, M.; SANTOS, E. Avaliação da aprendizagem em educação online. São Paulo: Loyola, 2006. p.369-385. Práticas Pedagógicas.

GARCIA, A.; CHOREN, R.; LUCENA, C.J.P.; ROMANOVSKY, A.; HOLVOET, T. Software engineering for multi-agent systems IV. Berlin: Springer, 2006. 255 p

GARCIA, A.; FIGUEIREDO, E. M. L.; KULESZA,U.; LUCENA, C.J.P.; STAA, A.v. Modularizing design patterns with aspects: a quantitative study. In: RASHID, A.; AKSIT, M. Transactions on aspect-ariented software development I. Berlin: Springer, 2006.  p.36-74. ( (Lecture Notes in Computer Science, 3880) 

MARTINS, S.L.; RIBEIRO, C.C.C. Metaheuristics applications to optimizations problems in telecommunication. In: RESENDE, M.G.C.; PARDALOS, P.M. Handbook of optimization in telecommunications. New York: Springer, 2006.  p.103-128.

ROSSI, G.; SCHWABE, D. Model-based web application development. In: MENDES, E.; MOSLEY, N. Web engineering: theory and practice of metrics and measurement for web development. Heidelberg: Springer, 2006.  p.303-333.

SOARES, L.F.G.; AFONSO, C.A. Human development and the ICT appropriation. In: Comitê Gestor da Internet no Brasil. Survey on the use of information and communication technologies in Brazil. São Paulo: 2006. p.27-31

SOARES NETO, C.S; BARBOSA, S.D.J.; SOARES, L.F.G.; RODRIGUES, R.F. Desenvolvimento de aplicações declarativas para TV digital interativa. In: TEIXEIRA, C.A.C. Tópicos em sistemas interativos e colaborativos.  São Carlos: Sociedade Brasileira de Computação, 2006. p.7-45.

 

2007

BRANDÃO, A. A.; SILVA, V.T.; LUCENA, C.J.P. Observed-MAS: an ontology-based method for analyzing multi-agent systems design models. In: PADGHAM, L.; ZAMBONELLI, F. Agent-oriented software engineering VII. Berlin: Springer, 2007. p.122-139. ((Lecture Notes in Computer Science, 4405) 

CARVALHO, G.R.; LUCENA, C.J.P.; PAES, R.B.; CHOREN, R.; BRIOT, J. Applying the governance framework technique to promote maintainability in open multi-agent systems. Lin Padgham; Franco Zambonelli. Agent-Oriented Software Engineering VII Berlin: Springer, 2007. p.64-83. ((Lecture Notes in Computer Science, 4405). 

CESAR, P.; BAKER, K.; BULTERMAN, D.; SOARES, L.F.G.; CRUZ-LARA, S.; KAPTEIN, A. Present and future of software graphics architectures for interactive digital television. In: LEKAKOS, G.; CHORIANOPOULOS, K.; DOUKIDIS, G. Interactive digital television: technologies and applications. Hershey, IGI Global, 2007. p.91-111.

FEITOSA, R.Q. ; COSTA, G.A.O.P. ; CAZES, T.B.; FEIJO, B. Ajuste automático de parâmetros de segmentação. In:  BLASCHKE, T.; KUX, H. Sensoriamento remoto e SIG avançados. 2 ed. São Paulo: Oficina de Textos, 2007. p.129-144. 

FILIPPO, D. D. R.; RAPOSO, A.B.; ENDLER, M.; FUKS, H. Ambientes colaborativos de realidade virtual e aumentada. In: KIRNER, C.; SISCOUTTO, R. Realidade virtual e aumentada: conceitos, projeto e aplicações. Porto Alegre: Sociedade Brasileira de Computação, 2007. p.168-191.

GATTI, M.A.C.; CARVALHO, G.R.; PAES, R.B.; LUCENA, C.J.P.; BRIOT, J. On fault tolerance in law-governed multi-agent systems. In: NOYA, R.C.; GARCIA, A.F.; GIESE, H.; LEUNG, H.; LUCENA, C.J.P.; ROMANOVSKY, A. Software engineering for multi-agent systems V. Berlin: Springer, 2007. p.1-20. (Lecture Notes in Computer Science, 4408).

HAEUSLER, E.H.; MARTINI, A.; WOLTER, U. Some models of heterogeneous and distributed specifications based on universal constructions. In: BÉZIEN, J.-Y.; COSTA-LEITE, A. Perspectives on universal logic. Monza: Polimetrica, 2007. p.297-318.

KULESZA,U.; ALVES, V.; GARCIA, A.; COSTA NETO, A.; CIRILO,E.J.R.; LUCENA, C.J.P.; BORBA, P.H.M. Mapping features to aspects: a model-based generative approach. In: MOREIRA, A.; GRUNDY, J.. Early aspects 2007 workshop. Berlim-Heidelberg: Springer, 2007. p.155-174. (Lecture Notes in Computer Science, 4765).

MELO, R.N. BI e Inteligência artificial. In: OLIVEIRA, F.B. Tecnologia da informação e da comunicação -  a busca de uma visão ampla e estruturada. São Paulo: Prentice Hall / Pearson Education do Brasil, 2007.  v.2. p.130-134. 

PAES, R.B.; CARVALHO, G.R.; GATTI, M.A.C.; LUCENA, C.J.P.; BRIOT, J.; CHOREN, R. Enhancing the environment with a law-governed service for monitoring and enforcing behavior in open multi-agent systems. In: WEYNS, D.: PARUNAK, H.; MICHEL, F. Environments for multi-agent systems. Berlin: Springer-Verlag, 2007. p.221–238. (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence, 4389).

SILVA, V.T.; CHOREN, R.; LUCENA, C.J.P. Using MAS-ML dynamic diagrams to model MAS behavioral properties. In: KOLP, M.; GARCIA, A.F.; GHOSE, A.; BRESCIANI, P.; HENDERSON-SELLERS, B.; MOURATIDIS, H. Agent oriented information systems IV. Berlin: Springer, 2007. p.1-18. (Lecture Notes in Computer Science, 4898). 

SIQUEIRA, S.W.M.; BRAZ, M.H.L.B.; MELO, R.N. Accessibility, digital libraries and semantic web standards in an e-learning architecture. In: PAHL, C. Architecture solutions for e-learning systems. Hershey: IGI Global, 2007.  p.137-153.

SOARES, L.F.G. Padrões internacionais, contrapartidas e desenvolvimento nacional. In: Documentos do conselho de altos estudos 01: TV digital futuro e cidadania. Brasília: Câmara dos Deputados, 2007. p.129-134.

SOARES, L.F.G. Ambiente para desenvolvimento de aplicações declarativas para a TV digital brasileira. In: TV digital: qualidade e interatividade. Brasília: IEL - Instituto Euvaldo Lodi, 2007. p.51-62.

 

2008

AUGUSTO, F. D. M.; SILVA, V.T.; LUCENA, C.J.P. Using testimonies to enforce the behavior of agents. In: SICHMAN, J.S. PADGET, J.; OSSOWSKI, S.; NORIEGA, P. Coordination, organizations, institutions, and norms in agent systems III (COIN 2007 post-proceedings). Berlin/Heidelberg: Springer, 2008. p.218-231. (Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence, 4870).

BARBOSA, S.D.J.; SOARES, L.F.G. TV digital interativa no Brasil se faz com Ginga: fundamentos, padrões, autoria declarativa e usabilidade..In: KOWALTOWSKI, T.; BREITMAN, K.K. Atualizacões em informatica 2008. Rio de Janeiro: Ed PUC-Rio; Porto Alegre: Sociedade Brasileira de Computação, 2008.  p.105-174.

BRAZ, M.H.L.B. ; SIQUEIRA, S.W.M. ; MELO, R.N. Standardization in learning technology. In: KHOSROW-POUR, M. Encyclopedia of information science and technology: information science reference. Hershey: IGI Global, 2008.  v.7. p.3570-3576.

COSTA, A.D.; LUCENA, C.J.P.; SILVA, V.T.; AZEVEDO, S.C.; SOARES, F.A. Art competition: agent designs to handle negotiation challenges. In: FALCONE, R.; BARBER, S. K.; SABATER-MIR, J.; SINGH, M.P. Trust in agent society: revised, selected and invited papers from the 11th International Workshop, TRUST 2008, Estoril, Portugal, May 12 -13, 2008.  Berlin: Springer, 2008. p.244-272. (Lecture Notes in Artificial Intelligence / Lecture Notes in Computer Science, 5396).

COSTA, G.A.O.P.; FEITOSA, R.Q.; CAZES, T.B.; FEIJO, B. Genetic adaptation of segmentation parameters. In: BLASCHKE, T.; LANG, S.; HAY, G.J. Object-based image analysis: spatial concepts for knowledge-driven remote sensing applications. Berlin: Springer, 2008. p.679-695. (Lecture Notes in GeoInformation and Cartography).

FELICISSIMO, C.H.; CHOREN, R.; BRIOT, J.; LUCENA, C.J.P.; CHOPINAUD, C. ; EL FALLAH SEGHROUCHNI, A. Providing contextual norm information in open multi-agent systems. In: KOLP, M.l; GARCIA, A.F.; BRESCIANI, P.; HENDERSON-SELLERS, B.; MOURATIDIS, H. Agent oriented information systems IV.  Berlin / Heidelberg: Springer, 2008. p.19-36. (Lecture Notes in Computer Science, 4898)

FUKS, H.; RAPOSO, A.B.; GEROSA, M.A.; PIMENTEL, M.G.; LUCENA, C.J.P. The 3C collaboration model. In: KOCK, N. The encyclopedia of e-collaboration. Texas: Idea Group Reference, 2008.  p.637-644. 

FURTADO, A.L. The crusaders' grail. In: LACY, N.J. The grail, the quest, and the world of Arthur. Cambridge: D. S. Brewer, 2008. 272 p. Arthurian Studies.

GUEDES, J.S.P.; SILVA, V.T.; LUCENA, C.J.P. A reputation model based on testimonies. IN: KOLP, Manuel; GARCIA, Alessandro Fabricio; BRESCIANI, Paolo; GHOSE, Aditya; HENDERSON-SELLERS, Brian; MOURATADIS, Haris. Agent oriented information systems IV: revised selected papers - proceedings of the 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg June 6, 2006.  Berlin/Heidelberg: Springer, 2008.  p.37-52.  (Lecture Notes in Computer Science, 4898).

IERUSALIMSCHY, R. Lua performance tips. In: FIGUEIREDO, L.H.; CELES FILHO, W.; IERUSALIMSCHY, R. Lua Programming Gems. Rio de Janeiro: Lua.org., 2008.  p.15-28. 

MARANHÃO, S.M.B.; RODRIGUES, R.F.; SOARES, L.F.G. On-the-fly time scaling for compressed audio streams. In: FILIPI, J.; OBAIDAT, M.S. E-business and telecommunication networks. Berlin: Springer, 2008. p.211-223. (Communications in Computer and Information Science, 9).

 

2009

BORGIDA, A.; CASANOVA, M.A.; LAENDER, A.H.F. Logical database design: from conceptual to logical schema. In: LING, Liu; ÖZSU, M.Tamer. Encyclopedia of database systems. Berlin: Springer, 2009. p.1645-1649.

CAFEZEIRO, I. L.; HAEUSLER, E.H. Algebraic framework for reverse engineering on specifications. In: LAMBERT-TORRES, G.; ABE, J.M.; SILVA FILHO, J.I.; MARTINS, H.G. (Eds.). Advances in technological applications of sogical and Intelligent systems. Amsterdam: IOS PRESS, 2009. vol. 186. p.1-12. (Frontiers in Artificial Intelligence and Applications).

CHUNG, L.; LEITE, J.C.S.P. On non-functional requirements in software engineering. In: BORGIDA, A.,;CHAUDHURI, V.; GIORGINI, P.; Yu, E. (Org.). Conceptual modeling: foundations and applications. Berlin: Springer, 2009. 363-379. (Lecture Notes in Computer Science, 5600).

CORREA, S.L.; CERQUEIRA, R. Computação autônoma: conceitos, infra-estruturas e soluções em sistemas distribuídos. In: ZIVIANI, A.; GONÇALVES, P.A.S. (Orgs.). Livro texto dos mini-cursos - XXVII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos.  Porto Alegre, Sociedade Brasileira de Computação, 2009. p.151-198.

 

2011

CASANOVA, M.A.; BREITMAN, K.K.; FURTADO, A.L.; VIDAL, V.M.P.; MACEDO, J.A.F. On the problem of matching database schemas. In: HINCHEY, M.G.; COYLE, L. (Org.). Conquering complexity. Berlin: Springer, 2011. p. 431-461.

CASANOVA, M.A.; BREITMAN, K.K.; FURTADO, A.L.; VIDAL, V.M.P.; MACEDO, J.A.F. An efficient proof procedure for a family of lightweight database schemas. In: HINCHEY, M.G.; COYLE, L. (Org.). Conquering complexity. Berlin: Springer, 2011. p. 453-484.

ENDLER, M.; MALCHER, M.A.G.; AQUINO, J.F.S.; FONSECA, H.A.C.L; VALERIANO, A.A. Developing map-based and location-aware collaborative applications for mobile users. In: ALENCAR, P.S.C.; COWAN, D. D. Handbook of research on mobile software engineering: design, implementation and emergent applications. Hershey, PA: IGI Global, 2011. p. 762-779.

FILIPPO, D.D.R.; VITERBO, J.; ENDLER, M.; FUKS, H. Mobilidade e ubiquidade para colaboração. In: PIMENTEL, M.; FUKS, H. (Org.). Sistemas colaborativos. Rio de Janeiro: Elsevier (Série CAMPUS/SBC), 2011. p. 294-313.

FUKS, H.; RAPOSO, A.B.; GEROSA, M.A.; PIMENTEL, M.; FILIPPO, D.D.R.; LUCENA, C.J.P. Teorias e modelos de colaboração. In: PIMENTEL, M.; FUKS, H. (Org.). Sistemas colaborativos. Rio de Janeiro: Elsevier (Série CAMPUS/SBC), 2011.p. 16-33.

HAEUSLER, E. H.; PEREIRA, L. C. Fibonacci estimation for the height of Schutte-like cut-free proofs. In: BEZIAU, J.-Y.; CONIGLIO, M.E.. Logic without frontiers: festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday. London: College Publications, 2011. p. 97-104.

NUNES, I.O.; CIRILO, E.J.R.; LUCENA, C.J.P. A survey on the implementation of agent oriented specifications. In: GLEIZES, M.-P.; GOMEZ-SANZ, J.J. (Org.). Agent-oriented software engineering X . Berlin: Springer, 2011. p. 169-179. (Lecture Notes in Computer Science, 6038)

NUNES, I. O.; LUCENA, C. J. P.; KULESZA, U.; NUNES, C. P. B. On the development of multi-agent systems product lines: A domain engineering process. In: GLEIZES, M-P.; GOMEZ-SANZ, J. J. (Org.). Agent-oriented software engineering X. Berlin: Springer, 2011. p. 125-139. (Lecture Notes in Computer Science, 6038).

NUNES, I. O.; LUCK, M.; BARBOSA, S. D. J.; LUCK, M.; LUCENA, C. J. P. Dynamically adapting BDI agents based on high-level user specifications. In: DESCHESNE, F.; HATTORI, H.; MORS, A.; SUCH, J.M.; WEYNS, D.; DIGNUM, F. (Org.). Advanced agent technology - AAMAS 2011 Workshops - Revised selected papers. Berlin: Springer, 2012. p. 1237-1244. (Lecture Notes in Artificial Intelligence, 7068).

PIMENTEL, M.; GEROSA, M. A.; FUKS, H. Sistemas de comunicação para colaboração. In: PIMENTEL, Mariano; FUKS, Hugo (Org.). Sistemas colaborativos. Rio de Janeiro: Elsevier (Série CAMPUS/SBC), 2011 p. 65-93.

RAPOSO, A. B. Ambientes virtuais colaborativos. In: PIMENTEL, M.; FUKS, H. (Org.). Sistemas colaborativos. São Paulo: Elsevier, 2011. p. 94-109.

RUBINSZTEJN, H.K.S.; VITERBO, J.; SACRAMENTO, V.; ROCHA, R.C A.; BAPTISTA, G.L.B.; ENDLER, M. A middleware architecture for developing map-based and location-aware collaborative applications for mobile user. In: ALENCAR, P.S.C.; COWAN, D.D. Handbook of research on mobile software engineering: design, implementation and emergent applications. Hershey, PA.: IGI Global, 2011. 2 v. p. 284-298.

SALAS, P.E.R.; VITERBO, J.; BREITMAN, K.K.; CASANOVA, M.A. StdTrip: promoting the reuse of standard vocabularies in open government data. In: WOOD, D. (Org). Linking government data. Berlin: Springer, 2011 p. 113-134.

SCHUSTER, D.; KOREN, I.; SPRINGER, T.; HERING, D.; SÖLLNER, B.; ENDLER, M.; SCHILL, A. Creating applications for real-time collaboration with XMPP and android on mobile devices. In: ALENCAR, Paulo; COWAN, Donald D. Handbook of research on mobile software engineering: Design, implementation and emergent applications. Hershey, PA.: IGI Global, 2011. p. 824-844.

SILVA, A.C.; PAIVA, A.C.; NUNES, R.A.; GATTASS, M. Informatics and computerized tomography aiding detection and diagnosis of solitary lung cancer. In: HOMMA, N. Theory and applications of CT imaging and analysis. Rijeka: InTech - Open Access Publisher, 2011. p.15-36.

SILVA, L.D.N.; VITERBO, J.; FONSECA, H.A.C.L; BAPTISTA, G.L.B.; ENDLER, M. A middleware supporting adaptive and context-aware mobile applications. In: LOVETT, T.; O NEILL, E. (Ed.). Mobile context awareness. Berlin: Springer, 2011. p. 1-16.

 

 

Chapers 2012

AZEVEDO, M.C.; SCHWABE, D. Support for reusable explorations of linked data in the semantic web. In: CERI, S.; BRAMBILLA, M. Search computing - broadening web search. Berlin: Springer, 2012. P. 176-190.

CIRILO, E.J.R.; NUNES, I.O.; CARVALHO, D.B.F.; CARVALHO, G.R.; CARVALHO, A.V.; LUCENA, C.J.P. Engenharia de software em Telessaúde: aplicações e desafios. In: MATHIAS, I.; MONTEIRO, A.  Gold book: inovação tecnológica em educação e saúde. Rio de Janeiro: EdUERJ, 2012. p 371-404. Livro eletrônico <http://www.telessaude.uerj.br/goldbook>

SARDINHA, A.; MILIDIU, R. L. Electronic markets and multiagent systems. In: REZAUL, K.M. Strategic and pragmatic e-business: implications for future business practices. Hershey: IGI Global, 2012. p. 56-71.

SILVA, Lincoln David Nery ; VITERBO, J; MALCHER, Marcelo Andrade da Gama; FONSECA, H. A. C. L; BAPTISTA, Gustavo Luiz Bastos; ENDLER, M. Middleware supporting adaptive and context-aware mobile applications. In: LOVETT, T.; O'NEILL, E. (Eds.) Mobile context awareness. London: Springer, 2012. p. 169-184.