- 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
- 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
- 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
- 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
- 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
- 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.
- 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.
- 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.
- 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.