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