Creating and sharing knowledge for telecommunications
... Maria Cristina de Sales Viana Serôdio Sernadas

Senior Researcher

Maria Sernadas

Former IT academic position: External Author
Joining/Leaving IT dates: 31-12-2006 / 24-09-2015
Roles held in IT: Senior Researcher
Former IT scientific area: Networks and Multimedia
Group: Security and Quantum Information – Lisboa

Scientific Achievements

  • Agregação, Instituto Superior Técnico, 01-01-1988
  • J. Rasga, A. Sernadas, C. Sernadas, A roadmap to decidability., Chapter in, The Road to Universal Logic, A. Koslow and A. Buchsbaum, Birkhäuser, Basel, 2015
  • A. Sernadas, C. Sernadas, J. Rasga, P. Mateus, Non-deterministic combination of connectives, Chapter in, Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, Jean-Yves Béziau and Marcelo Coniglio, College Publications, 2011
  • P. Mateus, J. Ramos, A. Sernadas, C. Sernadas, Temporal logics for reasoning about quantum systems, Chapter in, Semantic Techniques in Quantum Computation, pages 389-413, I. Mackie and S. Gay, Cambridge University Press, 2010
  • R. Chadha, P. Mateus, A. Sernadas, C. Sernadas, Extending classical logic for reasoning about quantum systems, Chapter in, Handbook of Quantum Logic and Quantum Structures: Quantum Logic, pages 325-372, K. Engesser, D. Gabbay and D. Lehmann, Elsevier Science, 2009
  • C. Caleiro, P. Mateus, A. Sernadas, C. Sernadas, Quantum institutions, Chapter in, Algebra, Meaning and Computation - Essays Dedicated to Joseph A. Goguen on the Ocassion of his 65th Birthday, volume 4060 of Lecture Notes in Computer Science, pages 50-64, K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, Springer, San Diego, 2006
  • C. Caleiro, W. Carnielli, J. Rasga, C. Sernadas, Fibring of logics as a universal construction, Chapter in, Handbook of Philosophical Logic, 2nd Edition, volume 13, pages 123-187, D. Gabbay and F. Guenthner, Springer, 2005
  • C. Caleiro, A. Sernadas, C. Sernadas, Fibring logics: Past, present and future, Chapter in, We Will Show Them: Essays in Honour of Dog Gabbay, Volume 1, pages 363-388, S. Artemov, H. Barringer, A.S. d'Avila Garcez, L.C. Lamb and J. Woods, King's College Publications, 2005
  • P. Mateus, A. Sernadas, C. Sernadas, Exogenous semantics approach to enriching logics, Chapter in, Essays on the Foundations of Mathematics and Logic, volume 1, pages 165-194, G. Sica, Polimetrica, 2005
  • J. Rasga, A. Sernadas, C. Sernadas, L. Viganò, Labelled deduction over algebras of truth values, Chapter in, Frontiers of Combining Systems 4, volume 2309 of Lecture Notes in Artificial Intelligence, pages 222-238, A. Armando, Springer, 2002
  • M.P.G. Gouveia, C. Sernadas, Abductive reasoning over temporal specifications of objects, Chapter in, Advances in Modal Logic 2, volume 119 of CSLI Lecture Notes, pages 275-300, M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, CSLI Publications, 2001
  • A. Sernadas, C. Sernadas, C. Caleiro, T. Mossakowski, Categorial fibring of logics with terms and binding operators, Chapter in, Frontiers of Combining Systems 2, pages 295--316, D. Gabbay and M. de Rijke, Research Studies Press, 2000
  • P. Mateus, A. Sernadas, C. Sernadas, Realization of probabilistic automata: Categorical approach, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1827 of Lecture Notes in Computer Science, pages 237-251, Didier Bert and Christine Choppy, Springer, 2000
  • C. Caleiro, C. Sernadas, A. Sernadas, Parameterisation of logics, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages 48-62, J. Fiadeiro, Springer, 1999
  • S. Conrad, J. Ramos, G. Saake, C. Sernadas, Evolving logical specification in information systems, Chapter in, Logic for Databases and Information Systems, pages 199-228, J. Chomicki and G. Saake, Kluwer Academic, 1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Synchronization of Logics with Mixed Rules: Completeness preservation, Chapter in, Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 465--478, M. Johnson, Springer, 1997
  • A. Sernadas, C. Sernadas, J. Valença, A theory-based, topological notion of institution, Chapter in, Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science, pages 420--436, E. Astesiano, G. Reggio, and A. Tarlecki, Springer, 1995
  • M. Ryan, A. Sernadas, C. Sernadas, Adjunctions between default frameworks, Chapter in, IS-CORE'94 - Selected papers, pages 155--172, R. Wieringa and R. Feenstra, World Scientific Publishing, 1995
  • G. Saake, A. Sernadas, C. Sernadas, Evolving object specifications, Chapter in, IS-CORE'94 - Selected papers, pages 84--99, R. Wieringa and R. Feenstra, World Scientific Publishing, 1995
  • M.P.G. Gouveia, C. Sernadas, Introducing explanations in temporal object specification, Chapter in, IS-CORE'94 - Selected Papers, pages 53-68, R. Wieringa and R. Feenstra, World Scientific Publishing, 1995
  • A. Sernadas, J. F. Costa, C. Sernadas, An institution of object behaviour, Chapter in, Recent Trends in Data Type Specification, volume 785 of Lecture Notes in Computer Science, pages 337--350, H. Ehrig and F. Orejas, Springer, 1994
  • J. F. Costa, A. Sernadas, C. Sernadas, Data encapsulation and modularity: Three views of inheritance, Chapter in, Mathematical Foundations of Computer Science 93, volume 711 of Lecture Notes in Computer Science, pages 382--391, A. Borzyszkowski and S. Sokolowski, Springer, 1993
  • J. Fiadeiro, C. Sernadas, T. Maibaum, A. Sernadas, Describing and structuring objects for conceptual schema development, Chapter in, Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development, pages 117--138, P. Loucopoulos and R. Zicari, John Wiley & Sons, 1992
  • C. Sernadas, M.P.G. Gouveia, J. Gouveia, A. Sernadas, P. Resende, The reification dimension in object-oriented data base design, Chapter in, Specification of Database Systems, pages 275-299, D. Harper and M. Norrie, Springer, 1992
  • C. Sernadas, M.P.G. Gouveia, A. Sernadas, Refinement: Layered definition of conceptual schemata, Chapter in, Information System Concepts, pages 19-51, E. Falkenberg, C. Rolland, and E. N. El-Sayed, North-Holland, 1992
  • J. F. Costa, A. Sernadas, C. Sernadas, H.-D. Ehrich, Object interaction, Chapter in, Mathematical Foundations of Computer Science 92, volume 629 of Lecture Notes in Computer Science, pages 200-208, I. Havel and V. Koubek, Springer, 1992
  • J. Fiadeiro, C. Sernadas, T. Maibaum, G. Saake, Proof-theoretic semantics of object-oriented specification constructs, Chapter in, Object Oriented Databases: Analysis, Design and Construction, pages 243-284, R. Meersman W. Kent and S. Khosla, North-Holland, 1991
  • R. Jungclaus, G. Saake, C. Sernadas, Formal specification of object systems, Chapter in, TAPSOFT 91: Theory and Practice of Software Development, volume 494 of Lecture Notes in Computer Science, pages 60-82, S. Abramski and T. Maibaum, Springer, 1991
  • R. Jungclaus, G. Saake, C. Sernadas, Using active objects for query processing, Chapter in, Object Oriented Databases: Analysis, Design and Construction, pages 285-303, R. Meersman W. Kent and S. Khosla, North-Holland, 1991
  • G. Saake, R. Jungclaus, C. Sernadas, Abstract data type semantics for many-sorted object query algebra, Chapter in, Mathematical Foundations of Data Base Systems, volume 495 of Lecture Notes in Computer Science, pages 291-307, B. Thalheim, J. Demetrovics, and H.-B. Gerhardt, Springer, 1991
  • C. Sernadas, P. Resende, M.P.G. Gouveia, A. Sernadas, In-the-large object-oriented design of information systems, Chapter in, The Object-Oriented Approach in Information Systems, pages 209-232, F. Van Assche, B. Moulin, and C. Rolland, North-Holland, 1991
  • C. Sernadas, J. Fiadeiro, A. Sernadas, Object-oriented conceptual modeling from law, Chapter in, The Role of Artificial Intelligence in Databases and Information Systems, pages 305--327, R. Meersman, Z. Shi, and C.-H. Kung, North-Holland, 1990
  • A. Sernadas, C. Sernadas, Abstraction and inference mechanisms for knowledge representation, Chapter in, Foundations of Knowledge-Base Management, pages 91--111, J. Schmidt and C. Thanos, Springer, 1989
  • A. Sernadas, J. Fiadeiro, C. Sernadas, H.-D. Ehrich, Abstract object types: A temporal perspective, Chapter in, Temporal Logic in Specification, volume 398 of Lecture Notes in Computer Science, pages 324--350, B. Banieqbal, H. Barringer, and A. Pnueli, Springer, 1989
  • A. Sernadas, J. Fiadeiro, C. Sernadas, H.-D. Ehrich, The basic building blocks of information systems, Chapter in, nformation Systems Concepts: An In-Depth Analysis, pages 225--246, E. Falkenberg and P. Lindgreen, North-Holland, 1989
  • H.-D. Ehrich, A. Sernadas, C. Sernadas, Objects, object types and object identity, Chapter in, Categorical Methods in Computer Science with Aspects from Topology, volume 393 of Lecture Notes in Computer Science, pages 142-156, H. Ehrig et al, Springer, 1989
  • C. Sernadas, J. Fiadeiro, R. Meersman, A. Sernadas, Proof-theoretic conceptual modeling: The NIAM case study, Chapter in, Information Systems Concepts: An In-Depth Analysis, pages 1-30, E. Falkenberg and P. Lindgreen, North-Holland, 1989
  • H.-D. Ehrich, A. Sernadas, C. Sernadas, Abstract object types for databases, Chapter in, Advances in Object-Oriented Database Systems, pages 144-149, K. Dittrich, Springer, 1988
  • J. Fiadeiro, A. Sernadas, C. Sernadas, Knowledgebases as structured theories, Chapter in, Foundations of Software Technology and Theoretical Computer Science, volume 338 of Lecture Notes in Computer Science, pages 469-486, K. Nori and S. Kumar, Springer, 1988
  • A. Sernadas, C. Sernadas, H.-D. Ehrich, Object-oriented specification of databases: an algebraic approach, Chapter in, Very Large Data Bases 87, pages 107-116, P. Hammersley, Morgan and Kaufmann, 1987
  • C. Sernadas, A. Sernadas, Conceptual modeling abstraction mechanisms as parameterized theories in institutions, Chapter in, Database Semantics, pages 121-140, R. Meersman and T. Steel, North-Holland, 1986
  • A. Sernadas, C. Sernadas, Capturing knowledge about the organization dynamics, Chapter in, Knowledge Representation for Decision Support Systems, pages 255--267, L. Methlie and R. Sprague, North-Holland, 1985
  • A. Sernadas, C. Sernadas, Conceptual modeling for knowledge-based DSS development, Chapter in, Decision Support Systems: Theory and Application, pages 91--135, C. Holsapple and A. Winston, Springer, 1985
  • A. Sernadas, C. Sernadas, The use of ER abstractions for knowledge representation, Chapter in, Entity-relationship Approach, pages 224--231, P. Chen, IEE Press, 1985
  • W. Carnielli, C. Sernadas, A. Zanardo, Preservation of interpolation by fibring, Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 151 - 157, January, 2004 | BibTex
  • J. Pinto, A. Sernadas, C. Sernadas, P. Mateus, Non-determinism and uncertainty in the Situation Calculus, International Florida AI Research Symp. - FLAIRS, Florida, United States, Vol. -, pp. 454 - 460, January, 1999 | BibTex
  • M.P.G. Gouveia, C. Sernadas, Abduction in temporal object specification using tableaux, Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Koblenz, Germany, Vol. 1, pp. 43 - 48, May, 1995 | BibTex
  • M.P.G. Gouveia, C. Sernadas, Reasoning aspects in information systems and databases, International Workshop on the Deductive Approach to Information Systems and Databases, Lloret de Mar, Spain, Vol. 1, pp. 201 - 224, September, 1993 | BibTex
  • M.P.G. Gouveia, C. Sernadas, J. Gomes, J. Apolinário, Tableaux for reasoning about objects, Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, Vol. 1, pp. 113 - 125, April, 1993 | BibTex
  • C. Sernadas, M.P.G. Gouveia, M. A. Lopes, Gentzen-type system for verification in conceptual modeling, Foundations of Models and Languages for Data and Objects, Aigen, Austria, Vol. -, pp. 215 - 228, September, 1991 | BibTex
  • C. Sernadas, M.P.G. Gouveia, L. Silva, M. A. Lopes, Objects as structuring units for incorporating dynamics in deductive conceptual modeling, The Deductive Approach to Information Systems and Databases, Catalunya, Spain, Vol. -, pp. 93 - 110, January, 1990 | BibTex
  • C. Sernadas, P. Mendes, A. Hespanha, F. Santos, S. Mascarenhas, A. Sernadas, An object-oriented representation of the dogmatics of omission to help in criminal law, Computers, Logic and Law, Pisa, Italy, Vol. -, pp. 781 - 809, January, 1989 | BibTex
  • H. Coelho, G. Gaspar, C. Sernadas, Societies of knowledge based systems, Proceedings of EuropIA, Paris, France, Vol. -, pp. - - -, January, 1988 | BibTex

Closed Projects2

Acronym Name Funding Agency Start date Ending date
KLog KLog - Logics for Security FCT/PTDC 01-08-2007 01-08-2010
QuanLog Logic in Quantum Computation and Information FCT/POCI 01-01-2005 01-12-2007
  • A. Sernadas, C. Sernadas, J. F. Costa, Descartes 1992, Especificações de Objectos com Diagramas: Abordagem OBLOG concedido pelo Instituto de Informatica do Ministerio das Finan»cas para premiar a inova»c~ao na area das tecnologias da informação., 01-01-1992