• C. Caleiro and A. Sernadas. Fibring logics. In J.-Y. Béziau, editor, Universal Logic: An Anthology (From Paul Hertz to Dov Gabbay), pages 389--396. Birkhauser, 2012.
    Get a preprint: 09-CS-anthology.pdf 
  • D. Qiu, L. Li, P. Mateus, and J. Gruska. Quantum finite automata. In J. Wang, editor, Handbook on Finite State based Models and Applications, pages 113--144. Chapman & Hall, 2012.
  • J. Buescu, D. S. Graça, and N. Zhong. Computability and dynamical systems. In M. Peixoto, A. Pinto, and D. Rand, editors, Dynamics and Games in Science, volume 1, pages 169--181. Springer-Verlag, 2011.
    Get a preprint: 10-BGZ-DynGame.pdf 
  • A. Sernadas, C. Sernadas, J. Rasga, and P. Mateus. Non-deterministic combination of connectives. In Jean-Yves Béziau and Marcelo Coniglio, editors, Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, volume 17 of Tribute Series, pages 321--338. College Publications, London, 2011.
    Get a preprint: 11-SSRM-pcl03.pdf 
  • P. Mateus, J. Ramos, A. Sernadas, and C. Sernadas. Temporal logics for reasoning about quantum systems. In I. Mackie and S. Gay, editors, Semantic Techniques in Quantum Computation, pages 389--413. Cambridge University Press, 2010.
    Get a preprint: 08-MRSS-qsec11.pdf 
  • R. Chadha, P. Mateus, A. Sernadas, and C. Sernadas. Extending classical logic for reasoning about quantum systems. In D. Gabbay K. Engesser and D. Lehmann, editors, Handbook of Quantum Logic and Quantum Structures: Quantum Logic, pages 325--372. Elsevier, 2009.
    Get a preprint: 05-CMSS-quantlog07.pdf 
  • O. Bournez and M. L. Campagnolo. A survey on continuous time computations. In S.B. Cooper, B. Löwe, and A. Sorbi, editors, New Computational Paradigms: Changing Conceptions of What is Computable, pages 383--423. Springer, 2008.
    Get a preprint: 07-BC-survey.pdf 
  • W. A. Carnielli, M. E. Coniglio, and J. Marcos. Logics of formal inconsistency. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 14. Kluwer Academic Publishers, 2nd edition, 2007.
    Get a preprint: 03-CCM-lfi.pdf 
  • Y. Omar, N. Paunkovic, and V. R. Vieira. Macroscopic thermal entanglement. In J. M. P. Carmelo, J. M. B. Lopes dos Santos, V. R. Vieira, and P. D. Sacramento, editors, Strongly Correlated Systems, Coherence and Entanglement, pages 567--595. World Scientific, 2007.
  • A. Sernadas, P. Mateus, and Y. Omar. Quantum computation and information. In M. S. Pereira, editor, A Portrait of State-of-the-Art Research at the Technical University of Lisbon, pages 46--65. Springer, 2007.
    Get a preprint: 06-SMO-quantlog09.pdf 
  • C. Caleiro and R. Gonçalves. Equipollent logical systems. In J.-Y. Béziau, editor, Logica Universalis, pages 99--112. Birkhäuser, 2005.
    Get a preprint: 05-CG-equipollence.pdf 
  • C. Caleiro, W. A. Carnielli, M. E. Coniglio, and J. Marcos. Two's company: The humbug of many logical values. In J.-Y. Béziau, editor, Logica Universalis, pages 169--189. Birkhäuser, 2005.
    Get a preprint: 05-CCCM-dyadic.pdf 
  • C. Caleiro, W. A. Carnielli, J. Rasga, and C. Sernadas. Fibring of logics as a universal construction. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd Edition, volume 13, pages 123--187. Springer, 2005.
    Get a preprint: 04-CCRS-fiblog23.pdf 
  • C. Caleiro, A. Sernadas, and C. Sernadas. Fibring logics: Past, present and future. In S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods, editors, We Will Show Them: Essays in Honour of Dov Gabbay, Volume One, pages 363--388. King's College Publications, 2005.
    Get a preprint: 05-CSS-fiblog27.pdf 
  • F. M. Dionísio, P. Gouveia, and J. Marcos. Defining and using deductive systems with Isabelle. In L. Magnani and R. Dossena, editors, Computing, Philosophy, and Cognition, pages 271--293. King's College Publications, 2005.
    Get a preprint: 04-DGM-dlogisa.pdf 
  • J. Marcos. Modality and paraconsistency. In M. Bilkova and L. Behounek, editors, The Logica Yearbook 2004, pages 213--222. Filosofia, 2005.
    Get a preprint: 04-M-ModPar.pdf 
  • J. Marcos. On a problem of da Costa. In G. Sica, editor, Essays on the Foundations of Mathematics and Logic, volume 2, pages 39--55. Polimetrica, 2005.
    Get a preprint: 05-M-P12.pdf 
  • P. Mateus, A. Sernadas, and C. Sernadas. Exogenous semantics approach to enriching logics. In G. Sica, editor, Essays on the Foundations of Mathematics and Logic, volume 1, pages 165--194. Polimetrica, 2005.
    Get a preprint: 05-MSS-quantlog03.pdf 
  • M. L. Campagnolo and C. Moore. Upper and lower bounds on continuous-time computation. In I. Antoniou, C. Calude, and M. Dinneen, editors, 2nd International Conference on Unconventional Models of Computation - UMC'2K, pages 135--153. Springer, 2001.
    Get a preprint: 00-CM-umc.ps 
  • A. Sernadas, C. Sernadas, C. Caleiro, and T. Mossakowski. Categorial fibring of logics with terms and binding operators. In D. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems 2, pages 295--316. Research Studies Press, 2000.
    Get a preprint: 98-SSCM-fiblog2.ps 
  • S. Conrad, J. Ramos, G. Saake, and C. Sernadas. Evolving logical specification in information systems. In J. Chomicki and G. Saake, editors, Logic for Databases and Information Systems, pages 199--228. Kluwer Academic Publishers, 1998.
    Get a preprint: 98-CRSS-evol.ps 
  • H.-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for specifying concurrent information systems. In J. Chomicki and G. Saake, editors, Logic for Databases and Information Systems, pages 167--198. Kluwer Academic Publishers, 1998.
    Get a preprint: 97-ECSD-dtl.ps 
  • C. Caleiro. On the relationship between operational and denotational semantics of temporal logic specification of object behaviour. In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected papers, pages 69--83. World Scientific Publishers, 1995.
    Get a preprint: 95-C-opden.ps 
  • F. M. Dionísio, U. Lipeck, and S. Brass. Composition of default specifications. In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected papers, pages 207--221. World Scientific Publishers, 1995.
    Get a preprint: 94-DLB-CDS.ps 
  • P. Gouveia and C. Sernadas. Introducing explanations in temporal object specification. In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected Papers, pages 53--68. World Scientific Publishers, 1995.
    Get a preprint: 95-GS-ietos.ps 
  • M. Ryan, A. Sernadas, and C. Sernadas. Adjunctions between default frameworks. In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected papers, pages 155--172. World Scientific Publishers, 1995.
  • G. Saake, A. Sernadas, and C. Sernadas. Evolving object specifications. In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected papers, pages 84--99. World Scientific Publishers, 1995.
    Get a preprint: 95-SSS-evolv.ps 
  • H.-D. Ehrich, R. Jungclaus, G. Denker, and A. Sernadas. Object-oriented design of information systems: Theoretical foundations. In J. Paredaens and L. Tenenbaum, editors, Advances in Database Systems, Implementations and Applications, pages 201--218. Springer, 1994.
    Get a preprint: 93-EJDS-OOD.ps 
  • H.-D. Ehrich, G. Saake, and A. Sernadas. Concepts of object orientation. In R. Studer, editor, Informationssysteme und Künstliche Intelligenz, pages 1--17. Springer, 1992.
  • J. Fiadeiro, C. Sernadas, T. Maibaum, and A. Sernadas. Describing and structuring objects for conceptual schema development. In P. Loucopoulos and R. Zicari, editors, Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development, pages 117--138. John Wiley, 1992.
  • C. Sernadas, P. Gouveia, J. Gouveia, A. Sernadas, and P. Resende. The reification dimension in object-oriented data base design. In D. Harper and M. Norrie, editors, Specification of Database Systems, pages 275--299. Springer, 1992.
  • C. Sernadas, P. Gouveia, and A. Sernadas. Refinement: Layered definition of conceptual schemata. In E. Falkenberg, C. Rolland, and E. N. El-Sayed, editors, Information System Concepts, pages 19--51. North-Holland, 1992.
  • J. Fiadeiro, C. Sernadas, T. Maibaum, and G. Saake. Proof-theoretic semantics of object-oriented specification constructs. In R. Meersman W. Kent and S. Khosla, editors, Object Oriented Databases: Analysis, Design and Construction, pages 243--284. North-Holland, 1991.
  • R. Jungclaus, G. Saake, and C. Sernadas. Using active objects for query processing. In R. Meersman W. Kent and S. Khosla, editors, Object Oriented Databases: Analysis, Design and Construction, pages 285--303. North-Holland, 1991.
  • A. Sernadas and H.-D. Ehrich. What is an object, after all? In R. Meersman, W. Kent, and S. Khosla, editors, Object Oriented Databases: Analysis, Design and Construction, pages 39--69. North-Holland, 1991.
    Get a preprint: 91-SE-what.ps 
  • C. Sernadas, P. Resende, P. Gouveia, and A. Sernadas. In-the-large object-oriented design of information systems. In F. Van Assche, B. Moulin, and C. Rolland, editors, The Object-Oriented Approach in Information Systems, pages 209--232. North-Holland, 1991.
  • C. Sernadas, J. Fiadeiro, and A. Sernadas. Object-oriented conceptual modeling from law. In R. Meersman, Z. Shi, and C.-H. Kung, editors, The Role of Artificial Intelligence in Databases and Information Systems, pages 305--327. North-Holland, 1990.
  • A. Sernadas and C. Sernadas. Abstraction and inference mechanisms for knowledge representation. In J. Schmidt and C. Thanos, editors, Foundations of Knowledge-Base Management, pages 91--111. Springer, 1989.
  • A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. The basic building blocks of information systems. In E. Falkenberg and P. Lindgreen, editors, Information Systems Concepts: An In-Depth Analysis, pages 225--246. North-Holland, 1989.
  • C. Sernadas, J. Fiadeiro, R. Meersman, and A. Sernadas. Proof-theoretic conceptual modeling: The NIAM case study. In E. Falkenberg and P. Lindgreen, editors, Information Systems Concepts: An In-Depth Analysis, pages 1--30. North-Holland, 1989.
  • R. Carapuça, L. Andrade, and A. Sernadas. A database design and construction workbench. In T. Olle, A. Verrijn-Stuart, and L. Bhabuta, editors, Computerized Assistance During the Information Systems Life Cycle, pages 261--286. North-Holland, 1988.
  • J. Carmo and A. Sernadas. A temporal logic framework for a layered approach to systems specification and verification. In C. Rolland, F. Bodart, and M. Leonard, editors, Temporal Aspects in Information Systems, pages 31--46. North-Holland, 1988.
  • H.-D. Ehrich, A. Sernadas, and C. Sernadas. Abstract object types for databases. In K. Dittrich, editor, Advances in Object-Oriented Database Systems, pages 144--149. Springer, 1988.
  • J. Fiadeiro and A. Sernadas. Behavioural aspects of intelligent knowledge-based information systems. In C. Rolland, F. Bodart, and M. Leonard, editors, Temporal Aspects in Information Systems, pages 77--92. North-Holland, 1988.
  • A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-oriented specification of databases: an algebraic approach. In P. Hammersley, editor, Very Large Data Bases 87, pages 107--116. Morgan and Kaufmann, 1987.
  • C. Sernadas and A. Sernadas. Conceptual modeling abstraction mechanisms as parameterized theories in institutions. In R. Meersman and T. Steel, editors, Database Semantics, pages 121--140. North Holland, 1986.
  • A. Sernadas and C. Sernadas. Capturing knowledge about the organization dynamics. In L. Methlie and R. Sprague, editors, Knowledge Representation for Decision Support Systems, pages 255--267. North Holland, 1985.
  • A. Sernadas and C. Sernadas. Conceptual modeling for knowledge-based DSS development. In C. Holsapple and A. Winston, editors, Decision Support Systems: Theory and Application, pages 91--135. Springer, 1985.
  • A. Sernadas and C. Sernadas. The use of ER abstractions for knowledge representation. In P. Chen, editor, Entity-relationship Approach, pages 224--231. IEEE CS Press / North Holland, 1985.
  • A. Sernadas. Information systems specification with Infolog. In J. Hawgood, editor, Evolutionary Information Systems, pages 141--157. North Holland, 1982.
  • A. Sernadas, G. Gaspar, and J. Granado. Bips: a layered predicative query language for a DBTG database system. In P. Scheuermann, editor, Improving Database Usability and Responsiveness, pages 73--93. Academic Press, 1982.