Personal Data

Full name

Maria Cristina Sales Viana Serôdio Sernadas

Publishing name

Maria Cristina Sales Viana Serôdio Sernadas

Birthday

1951-08-22T00:00:00

Academic Degrees

AGREGAÇÃO(0)

Degree date

1988

Final grade

Louvor e distinção

Degree granting institution

Outra

School / College / Campus

Other

Thesis title

Supervisor

Co-supervisor

Scientific area

Matemática

DOUTORAMENTO(0)

Degree date

1980

Final grade

-

Degree granting institution

Outra

School / College / Campus

Faculdade de Ciências do Mar e do Ambiente

Thesis title

Supervisor

Co-supervisor

Scientific area

LICENCIATURA(0)

Degree date

1973

Final grade

17

Degree granting institution

Universidade de Lisboa

School / College / Campus

Faculdade de Ciências

Thesis title

Supervisor

Co-supervisor

Scientific area

Profissional activity

Period Position Institution
01-10-1972 - 31-07-1973 Monitora do Grupo de Matemática Aplicada Faculdade de Ciências da Universidade de Lisboa
01-08-1973 - 31-08-1980 Assistente do Grupo de Matemática Aplicada Faculdade de Ciências da Universidade de Lisboa
01-09-1980 - 31-08-1984 Professora Auxiliar do Departamento de Estatística, Investigação Operacional e Computação Faculdade de Ciências da Universidade de Lisboa
01-09-1984 - 14-09-1986 Professora Auxiliar do Departamento de Informática Faculdade de Ciências da Universidade de Lisboa
15-09-1986 - 30-06-1989 Professora Auxiliar do Departamento de Matemática Instituto Superior Técnico
01-07-1989 - 31-05-1993 Professora Associada do Departamento de Matemática Instituto Superior Técnico
01-06-1993 - Professora Catedrática do Departamento de Matemática Instituto Superior Técnico

Area of scientific activity

Area of scientific activity

Mathematics

Mathematics

Specialization domain

Logic and Computation

Current main scientific area

Combination of logics. Craig Interpolation. Quantifier Elimination. Probabilistic Logic. Epistemic Logic.

Other scientific activities

-

Experience as scientific advisor

Karina Roggia, Doutoramento em Matemática, Instituto Superior Técnico, 2007-2012. Tópico: Fusão de sistemas de sequentes etiquetados em lógica modal (co-orientação com J. Rasga).

Pedro Baltazar. Doutoramento em Matemática, Instituto Superior Técnico, 2007-10. Tópico: Probabilization of Logic Systems. (co-orientação com P. Mateus).

João Rasga, Doutoramento em Matemática, Instituto Superior Técnico, 2000-03. Tópico: Sistemas dedutivos etiquetados.

Paulo Mateus, Doutoramento em Matemática, co-orientação
com Amílcar Sernadas, Instituto Superior Técnico, 1999-01. Tópico: Interacção de Sistemas Probabilísticos.

Paula Gouveia, Doutoramento em Matemática,
Instituto Superior Técnico, 1992-98. Tópico: Abdução em lógicas temporais de objectos.

Ana Luísa Nunes, Mestrado em Matemática Aplicada, Instituto Superior Técnico, 1997-98. Tópico: Temporalização de lógicas.

Maria João Coutinho, Mestrado em Matemática Aplicada, Instituto Superior Técnico, 1996-97. Tópico: Morfismos entre sistemas lógicos.

José Espírito Santo, Mestrado em Matemática Aplicada, Instituto Superior Técnico, 1995-96. Tópico: Espaços de Chu.

Joana Carvalho, Mestrado em Matemática Aplicada, Instituto Superior Técnico, 1995-96. Tópico: Técnicas de completude em lógica temporal.

João Gomes, Mestrado em Matemática Aplicada, Instituto Superior Técnico, 1993-94. Tópico: Sistemas de {tableaux}
para lógicas temporais de tempo real.

Paula Gouveia, Mestrado em Matemática Aplicada, Instituto Superior Técnico, 1990-92. Tópico: Sistemas de {tableaux}
para raciocínio local de objectos.

António Rito Silva, Mestrado em Matemática Aplicada, Instituto Superior Técnico, 1989-91. Tópico: Serialização e paralelização.

Manuela Geraldes, Mestrado em Matemática e Computação, Universidade de Coimbra, 1986-87. Tópico: Metodologia Infolog.

Participations in R&D projects

Participa no projecto nacional<br><br>- Klog: Kleistic Logic<br>FCT and EU FEDER PTDC/MAT/68723/2006 (October 1, 2007 - September 30, 2010), coordinated by Carlos Caleiro.<br>The project envisages to investigate and apply the techniques of mathematical logic, in a broad sense, to the systematic study and design of special purpose classical and quantum kleistic logics.<br><br>Participou nos projectos internacionais:<br><br>- ASPIRE: Advanced modeling and SPecification<br>of distributed InfoRmation systEms, ESPRIT Working Group 22704, coordenado por Hans-Dieter Ehrich (University of Braunschweig), sobre fundamentos da especificação de sistemas de informação distribuídos.<br><br>- FIREworks: Feature Integration in Requirements Engineering, ESPRIT Working Group, coordenado por Mark Ryan (University of Birmingham), sobre especificação e verificação de sistemas.<br><br>- IS-CORE: Information Systems, COrrectness and REusability, Basic Research Action 6071 do programa ESPRIT II (1993-96) em que participaram dez universidades europeias e que tinha por objectivo os aspectos teóricos e metodológicos dos sistemas de informação com vista a prova da sua correcção.<br><br>- OBLOG: OBject LOGic, projecto financiado pelas companhias<br>ESDI e DIGITAL (1989-1994) e que tinha por objectivo os fundamentos teóricos e metodológicos da abordagem centrada em objectos.<br><br>- COMPASS: COMPrehensive Algebraic approach to System Specification development, Basic Research Action 3023 do programa ESPRIT II (1993-96) em que participam dezasseis universidades europeias cujo objectivo era a<br>abordagem algébrica à especificação de sistemas.<br><br>- INDOC: INtelligent DOCumentation,<br>Projecto do programa ESPRIT I (1988-89) em que participaram três universidades europeias e cujo objectivo era a representação de documentos inteligentes.<br><br>Coordenou o projecto nacional:<br><br>- OBCALC (Lógica de Objectos) com financiamento<br>do Programa Mobilizador da Junta Nacional de Investigação Científica e Tecnológica (1991-93).<br><br>Participou nos projectos nacionais:<br><br>- QUANTLOG - Logic in Quantum Computation and Information, Project FEDER POCTI/MAT/55796/2004 (January 1, 2005 - December 31, 2007), coordenado por Amílcar Sernadas.<br><br>- FIBLOG: Fibring Logics FEDER POCTI/2001/MAT/37239 (January 1, 2002 - December 31, 2004), coordenado por Amílcar Sernadas.<br><br>- PROBLOG: Probabilistic Methods in Logic of Reactive Systems, PRAXIS XXI Project PRAXIS/P/MAT/10002/1998 (1999-2001), sobre modelos estocásticos de computação, coordenado por Amílcar Sernadas.<br><br>- ACL: Algebraic Combination of Logics, PRAXIS XXI PCEX/P/MAT/46/96, sobre técnicas categorias para a combinação de lógicas, coordenado por Amílcar Sernadas.<br><br>- LogComp: Logic and Computation, PRAXIS XXI Project 2/2.1/TIT/165895, sobre o relacionamento entre a teoria dos tipos e lógicas de especificação, coordenado por José Valença.<br><br>- SitCalc: Situation Calculus - Modularization, reification and distribution, PRAXIS XXI Project 2/2.1/MAT/262/94, sobre o cálculo de situações enquanto alternativa à lógica temporal para a especificação e verificação de sistemas concorrentes e reactivos, coordenado por Amílcar Sernadas.<br><br>- NORMLOG (Representação do Conhecimento Jurídico com Objectos) financiado pela Fundação Luso-Americana para o Desenvolvimento (1988-89), coordenado por Amílcar Sernadas.<br><br>- INFOLOG (INFOrmation LOGic) financiado pela Fundação Calouste Gulbenkian e Junta Nacional de Investigação Científica e Tecnológica (1983-85), coordenado por Amílcar Sernadas.

Awards

Year Award Awarding entity
1992 Prémio Descartes Instituto de Informática do Ministério das Finanças

Publications

Artigos em revistas de circulação internacional com arbitragem científica

  • J. Rasga, C. Sernadas, P. Mateus, and A. Sernadas. Decision and optimization problems in the Unreliable-Circuit Logic. Logic Journal of the IGPL, 25(3):284--308, 2017.

    J. Rasga, C. Sernadas, and A. Sernadas. Preservation of admissible rules when combining logics. Review of Symbolic Logic, 9(4):641--663, 2016.

    A. Sernadas, J. Rasga, C. Sernadas, and P. Mateus. Reasoning about logic circuits with independent input errors. South American Journal of Logic, 1(1):135--162, 2015.

    J. Rasga, A. Sernadas, and C. Sernadas. Fibring as biporting subsumes asymmetric combinations. Studia Logica, 102(5):1041--1071, 2014.

    J. Rasga, C. Sernadas, and A. Sernadas. Craig interpolation in the presence of unreliable connectives. Logica Universalis, 8(3-4):423--446, 2014.

    A. Sernadas, J. Rasga, C. Sernadas, and P. Mateus. Approximate reasoning about logic circuits with single-fan-out unreliable gates. Journal of Logic and Computation, 24(5):1023--1069, 2014.

    J. Rasga, W. Lotfallah, and C. Sernadas. Completeness and interpolation of almost-everywhere quantification over finitely additive measures. Mathematical Logic Quarterly, 59(4--5):286--302, 2013.

    J. Rasga, A. Sernadas, and C. Sernadas. Importing logics: Soundness and completeness preservation. Studia Logica, 101(1):117--155, 2013.

    C. Sernadas, J. Rasga, and A. Sernadas. Preservation of Craig interpolation by the product of matrix logics. Journal of Applied Logic, 11(3):328--349, 2013.

    J. Rasga, A. Sernadas, and C. Sernadas. Importing logics. Studia Logica, 100(3):545--581, 2012.

    A. Sernadas, C. Sernadas, and J. Rasga. On meet-combination of logics. Journal of Logic and Computation, 22(6):1453--1470, 2012.

    M. Coniglio, A. Sernadas, and C. Sernadas. Preservation by fibring of the finite model property. Journal of Logic and Computation, 21(2):375--402, 2011.

    A. Sernadas, C. Sernadas, and J. Rasga. On combined connectives. Logica Universalis, 5(2):205--224, 2011.

    J. Rasga, K. Roggia, and C. Sernadas. Fusion of sequent modal logic systems labelled with truth values. Logic Journal of the IGPL, 18(6):893--920, 2010.

    A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. On graph-theoretic fibring of logics. Journal of Logic and Computation, 19:1321--1357, 2009.

    A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. A graph-theoretic account of logics. Journal of Logic and Computation, 19:1281--1320, 2009.

    W. Carnielli, J. Rasga, and C. Sernadas. Interpolation via translations. Mathematical Logic Quarterly, 55(5): 515--534, 2009.

    W. A. Carnielli, J. Rasga, and C. Sernadas. Preservation of interpolation features by fibring. Journal of Logic and Computation, 18(1):123--151, 2008.

    L. Cruz-Filipe, J. Rasga, A. Sernadas, and C. Sernadas. A complete axiomatization of discrete-measure almost-everywhere quantification. Journal of Logic and Computation, 18(6):885--911, 2008.

    L. Cruz-Filipe, A. Sernadas, and C. Sernadas. Heterogeneous fibring of deductive systems via abstract proof systems. Logic Journal of the IGPL, 16:121--153, 2008.

    P. Mateus, J. Rasga, and C. Sernadas. Modal sequent calculi labelled with truth values: Cut elimination. Logic Journal of the IGPL, 13(2):173--199, 2005.

    P. Mateus, A. Sernadas, C. Sernadas, and L. Viganò. Modal sequent calculi labelled with truth values: Completeness, duality and analyticity. Logic Journal of the IGPL, 12(3):227--274, 2004.

    C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas, and C. Sernadas. Fibring non-truth-functional logics: Completeness preservation. Journal of Logic, Language and Information, 12(2):183--211, 2003.

    M. E. Coniglio, A. Sernadas, and C. Sernadas. Fibring logics with topos semantics. Journal of Logic and Computation, 13(4):595--624, 2003.

    P. Mateus, M. Cabral Morais, C. Nunes, A. Pacheco, A. Sernadas, and C. Sernadas. Categorical foundations for randomly timed automata. Theoretical Computer Science, 308:393--427, 2003.

    C. Sernadas, L. Viganò, J. Rasga, and A. Sernadas. Truth-values as labels: A general recipe for labelled deduction. Journal of Applied Non-Classical Logics, 13(3-4):277--315, 2003.

    J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Fibring labelled deduction systems. Journal of Logic and Computation, 12(3):443--473, 2002.

    P.-Y. Schobbens, G. Saake, A. Sernadas, and C. Sernadas. U2: A two-level temporal logic for evolving specifications. Information Processing Letters, 83(3):167--172, 2002.

    A. Sernadas, C. Sernadas, and A. Zanardo. Fibring modal first-order logics: Completeness preservation. Logic Journal of the IGPL, 10(4):413--451, 2002.

    C. Sernadas, J. Rasga, and W. A. Carnielli. Modulated fibring and the collapsing problem. Journal of Symbolic Logic, 67(4):1541--1569, 2002.

    P. Mateus, A. Pacheco, J. Pinto, A. Sernadas, and C. Sernadas. Probabilistic situation calculus. Annals of Mathematics and Artificial Intelligence, 32(1/4):393--431, 2001.

    A. Zanardo, A. Sernadas, and C. Sernadas. Fibring: Completeness preservation. Journal of Symbolic Logic, 66(1):414--439, 2001.

    J. Pinto, A. Sernadas, C. Sernadas, and P. Mateus. Non-determinism and uncertainty in the Situation Calculus. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 8(2):127--149, 2000.

    P. Mateus, A. Sernadas, and C. Sernadas. Precategories for combining probabilistic automata. Electronic Notes in Theoretical Computer Science, 29, 1999.

    A. Sernadas, C. Sernadas, and C. Caleiro. Fibring of logics as a categorial construction. Journal of Logic and Computation, 9(2):149--179, 1999.

    A. Sernadas, C. Sernadas, and C. Caleiro. Denotational semantics of object specification. Acta Informatica, 35:729--773, 1998.

    A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics. Studia Logica, 59(2):217--247, 1997.

    R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Troll: A language for object-oriented specification of information systems. ACM Transactions on Information Systems, 14(2):175--211, 1996.

    A. Sernadas, C. Sernadas, and J. Ramos. A temporal logic approach to object certification. Data and Knowledge Engineering, 19:267--294, 1996.

    A. Sernadas, C. Sernadas, and J. F. Costa. Object specification logic. Journal of Logic and Computation, 5(5):603--630, 1995.

    J. F. Costa, A. Sernadas, and C. Sernadas. Object inheritance beyond subtyping. Acta Informatica, 31:5--26, 1994.

    C. Sernadas and J. Fiadeiro. Towards object-oriented conceptual modeling. Data and Knowledge Engineering, 6(6):479--508, 1991.

    H.-D. Ehrich, A. Sernadas, and C. Sernadas. From data types to object types. Journal of Information Processing and Cybernetics EIK, 26(1):33--48, 1990.

    C. Sernadas, J. Fiadeiro, and A. Sernadas. Modular construction of logic knowledge bases: An algebraic approach. Information Systems, 15(1):37--59, 1990.

    J. Sousa, C. Sernadas, and A. Sernadas. An object-oriented specification tool for graphical interfaces. Computers and Graphics, 14(1):29--40, 1990.

    C. Sernadas and R. Carapuça. The role of conceptual modeling abstractions in compiler development. Computer Journal, 30(4):328--336, 1987.

    C. Sernadas, H. Coelho, and G. Gaspar. Communicating knowledge systems: Part i - big talk among small actors. Journal of Applied Artificial Intelligence, 1(3):233--260, 1987.

    C. Sernadas, H. Coelho, and G. Gaspar. Communicating knowledge systems: Part ii - big talk among small actors. Journal of Applied Artificial Intelligence, 1(3):315--335, 1987.

Capítulos de livros

  • J. Rasga, C. Sernadas, and A. Sernadas. A roadmap to decidability. In A. Koslow and A. Buchsbaum, editors, The Road to Universal Logic, Studies in Universal Logic, pages 423--445. Birkhäuser Basel, Springer, 2015.

    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.

    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.

    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.

    C. Caleiro, P. Mateus, A. Sernadas, and C. Sernadas. Quantum institutions. In K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, editors, Algebra, Meaning, and Computation -- Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, volume 4060 of Lecture Notes in Computer Science, pages 50--64. Springer-Verlag, 2006.

    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.

    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.

    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 of Advanced Studies in Mathematics and Logic, pages 165--194. Polimetrica, 2005.

    J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Labelled deduction over algebras of truth values. In A. Armando, editor, Frontiers of Combining Systems 4, volume 2309 of Lecture Notes in Artificial Intelligence, pages 222--238. Springer-Verlag, 2002.

    P. Gouveia and C. Sernadas. Abductive reasoning over temporal specifications of objects. In M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, editors, Advances in Modal Logic 2, volume 119 of CSLI Lecture Notes, pages 275--300. CSLI Publications, 2001.

    P. Mateus, A. Sernadas, and C. Sernadas. Realization of probabilistic automata: Categorical approach. In Didier Bert and Christine Choppy, editors, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1827 of Lecture Notes in Computer Science, pages 237--251. Springer-Verlag, 2000.

    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.

    C. Caleiro, C. Sernadas, and A. Sernadas. Parameterisation of logics. In J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages 48--62. Springer-Verlag, 1999.

    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.

    A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics with mixed rules: Completeness preservation. In M. Johnson, editor, Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 465--478. Springer-Verlag, 1997.

    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.

    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.

    A. Sernadas, C. Sernadas, and J. Valença. A theory-based, topological notion of institution. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science, pages 420--436. Springer-Verlag, 1995.

    A. Sernadas, J. F. Costa, and C. Sernadas. An institution of object behaviour. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specification, volume 785 of Lecture Notes in Computer Science, pages 337--350. Springer-Verlag, 1994.

    J. F. Costa, A. Sernadas, and C. Sernadas. Data encapsulation and modularity: Three views of inheritance. In A. Borzyszkowski and S. Sokolowski, editors, Mathematical Foundations of Computer Science 93, volume 711 of Lecture Notes in Computer Science, pages 382--391. Springer-Verlag, 1993.

    J. F. Costa, A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object interaction. In I. Havel and V. Koubek, editors, Mathematical Foundations of Computer Science 92, volume 629 of Lecture Notes in Computer Science, pages 200--208. Springer-Verlag, 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-Verlag, 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. Formal specification of object systems. In S. Abramski and T. Maibaum, editors, TAPSOFT 91: Theory and Practice of Software Development, volume 494 of Lecture Notes in Computer Science, pages 60--82. Springer-Verlag, 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.

    G. Saake, R. Jungclaus, and C. Sernadas. Abstract data type semantics for many-sorted object query algebra. In B. Thalheim, J. Demetrovics, and H.-B. Gerhardt, editors, Mathematical Foundations of Data Base Systems, volume 495 of Lecture Notes in Computer Science, pages 291--307. Springer-Verlag, 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.

    H.-D. Ehrich, A. Sernadas, and C. Sernadas. Objects, object types and object identity. In H. Ehrig et al, editor, Categorical Methods in Computer Science with Aspects from Topology, volume 393 of Lecture Notes in Computer Science, pages 142--156. Springer-Verlag, 1989.

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

    A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. Abstract object types: A temporal perspective. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, volume 398 of Lecture Notes in Computer Science, pages 324--350. Springer-Verlag, 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-Verlag, 1988.

    J. Fiadeiro, A. Sernadas, and C. Sernadas. Knowledgebases as structured theories. In K. Nori and S. Kumar, editors, Foundations of Software Technology and Theoretical Computer Science, volume 338 of Lecture Notes in Computer Science, pages 469--486. Springer-Verlag, 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.

Livros (autor)

  • A. Sernadas and C. Sernadas. Foundations of Logic and Theory of Computation - Second Edition. College Publications, London, 2012. ISBN 978-1-904987-88-8.

    A. Sernadas and C. Sernadas. Fundamentos de Lógica e Teoria da Computação - Segunda Edição. College Publications, London, 2012. ISBN 978-1-84890-081-3.

    W. A. Carnielli, M. E. Coniglio, D. Gabbay, P. Gouveia, and C. Sernadas. Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems, volume 35 of Applied Logic. Springer, 2008.

    A. Sernadas and C. Sernadas. Foundations of Logic and Theory of Computation. College Publications, London, 2008.

    J. Carmo, A. Sernadas, C. Sernadas, F. M. Dionísio, and C. Caleiro. Introdução à Programação em Mathematica - Segunda Edição (Introduction to Programming in Mathematica - Second Edition). IST Press, 2004.

    J. Carmo, A. Sernadas, C. Sernadas, F. M. Dionísio, and C. Caleiro. Introdução à Programação em Mathematica (Introduction to Programming in Mathematica). IST Press, 1999.

    C. Sernadas. Introdução à Teoria da Computação (An Introduction to Computing Theory). Editorial Presença, 1993.

Publicações em actas de encontros científicos

Publicações em actas de encontros científicos

  • W. A. Carnielli, C. Sernadas, and A. Zanardo. Preservation of interpolation by fibring. In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of CombLog´04, Workshop on Combination of Logics: Theory and Applications, pages 151--157, 1049-001 Lisboa, Portugal, 2004. <br><br>J. Pinto, A. Sernadas, C. Sernadas, and P. Mateus. Non-determinism and uncertainty in the Situation Calculus. In A. Kumar and I. Russell, editors, Proceedings of the FLAIRS´99 - the 12th International Florida AI Research Symposium, pages 454--460. AAAI Press, 1999. <br><br>P. Gouveia and C. Sernadas. Abduction in temporal object specification using tableaux. In P. Baumgartner, R. Hahnle, and J. Possega, editors, 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods - Poster Session and Short Papers, pages 43--48. University of Koblenz, 1995.<br><br>P. Gouveia and C. Sernadas. Reasoning aspects in information systems and databases. In A. Olivé, editor, The Deductive Approach to Information Systems and Databases 93, pages 201--224. Universitat Politècnica de Catalunya, 1993.<br><br>P. Gouveia, C. Sernadas, J. Gomes, and J. Apolinário. Tableaux for reasoning about objects. In D. Basin, R. Hahnle, B. Fronhofer, J. Possegge, and C. Schwind, editors, Theorem Proving with Analytic Tableaux and Related Methods, pages 113--125. Max-Planck-Institut für Informatik, 1993.<br>Get a preprint: 93-GSGA-tfrab.ps <br><br>C. Sernadas, P. Gouveia, and M. A. Lopes. Gentzen-type system for verification in conceptual modeling. In J. Göers, A. Heuer, and G. Saake, editors, Foundations of Models and Languages for Data and Objects, pages 215--228. TU Clausthal, 1991.<br><br>C. Sernadas, P. Gouveia, L. Silva, and M. A. Lopes. Objects as structuring units for incorporating dynamics in deductive conceptual modeling. In The Deductive Approach to Information Systems and Databases 90, pages 93--110. Universitat Politècnica de Catalunya, 1990.<br><br>C. Sernadas, P. Mendes, A. Hespanha, F. Santos, S. Mascarenhas, and A. Sernadas. An object-oriented representation of the dogmatics of omission to help in criminal law. In A. Martino, editor, Computers, Logic and Law, pages 781--809. Istituto per la Documentazione Giuridica, Pisa, Italy, 1989.<br><br>H. Coelho, G. Gaspar, and C. Sernadas. Societies of knowledge based systems. In Proceedings of EuropIA. Hermes Editions, 1988.

Teses

  • C. Sernadas. Multivariate Branching Processes. PhD thesis, London School of Economics, University of London, 1980. Supervised by D. Bartholomew.<br>

Artigos em revistas nacionais com arbitragem científica

  • A. Sernadas and C. Sernadas. Combining logic systems: Why, how, what for? CIM Bulletin, 15:9--14, December 2003.<br>

Communications

Comunicações orais por convite

"A Roadmap to Decidability", Tardes de Álgebra, Centro de Álgebra da Universidade de Lisboa, 15 de Novembro de 2013.

"A new algebraic semantics for modal sequent calculi", Portuguese Category Seminar 03, Coimbra, 23 de Maio de 2003.

"Fibrilação modulada e o problema do colapso", Seminário de Reticulados, Álgebra Universal e Lógica Algébrica, Centro de Álgebra da Universidade de Lisboa, Portugal, 15 de Fevereiro de 2001.

"Unidades de investigação e departamentos universitários",
Segundo Debate sobre a Investigação Matemática em Portugal, Coimbra, Portugal, 1-2 de Abril de 2000.

"Fibring of algebraic semantics?", Encontro ACL-LOGCOMP, Coimbra, Portugal, 10-11 de Fevereiro de 1999.

"Fibring of logics", Lógica 98, Évora, Portugal, 13-18 de Julho de 1998.

"Fibring of logics with terms and binding operators: semantics", Segundo Encontro ACL, Figueira da Foz, Portugal, 22-23 de Junho de 1998.

"Impacto da Álgebra na Computação", Encontro Nacional de Matemática 98, Braga, Portugal, 9-12 de Fevereiro de 1998.

"Fibrilação de lógicas com termos", Encontro ESCOLA-ACL, Universidade de Coimbra, Portugal, 26-27 de Janeiro de 1998.

"Course on categorical techniques in combining logics" (7h30m, com A. Sernadas), 9th European Summer School in Logic, Language and Information, Aix-en-Provence, France, 11-22 de Agosto de 1997.

"Theory Spaces", Joint ISCORE´95
Workshop, Paris-Evry, França, 06-08 de Setembro de 1995.

"An Institutional View on Default Logic", COMPASS GM´95, Sintra, 15-18 de Fevereiro de 1995.

"Topological Institutions", ISCORE´94 Workshop, Amsterdão, Holanda, 27-30 de Setembro de 1994.

"A Topological View on Institutions", Joint ISCORE/COMPASS Meeting, Lisboa, 21-23 de Fevereiro de 1994.