Creating and sharing knowledge for telecommunications

IT Member Profile

... Maria Cristina de Sales Viana Serôdio Sernadas

Researcher

Maria Sernadas

Academic position: Full Professor
Joining date: 31-12-2006
Roles in IT: Researcher
Thematic Line: Basic Sciences and Enabling Technologies
Group: Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72

Alternative Personal Web Page

Scientific Achievements

  • Agregação, Instituto Superior Técnico, 01-01-1988
10Books
  • J. Rasga, C. Sernadas, Decidability of Logical Theories and Their Combination, Springer, Cham, Switzerland, 2020,
    | BibTex
  • D. Gomes, A. Sernadas, C. Sernadas, J. Rasga, P. Mateus, A Mathematical Primer on Linear Optimization, College Publications, London, 2019,
    | BibTex
  • J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio, C. Caleiro, Introdução à programação em Mathematica -- Terceira Edição (Introduction to Programming in Mathematica -- Third Edition), IST Press, Lisboa, 2014,
    | BibTex
  • A. Sernadas, C. Sernadas, Fundamentos de Lógica e Teoria da Computação - Segunda Edição, College Publications, London, 2012,
    | BibTex
  • A. Sernadas, C. Sernadas, Foundations of Logic and Theory of Computation - Second Edition, College Publications, London, 2012,
    | BibTex
  • A. Sernadas, C. Sernadas, Foundations of Logic and Theory of Computation, in print, King's College Publications, London, 2008,
    | BibTex
  • W. Carnielli, M. Coniglio, D. Gabbay, M.P.G. Gouveia, C. Sernadas, Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems, Springer, Berlin, 2008,
    | BibTex
  • J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio, C. Caleiro, Introdução à programação em Mathematica -- Segunda Edição (Introduction to Programming in Mathematica -- Second Edition), IST Press, Lisboa, 2004,
    | BibTex
  • J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio, C. Caleiro, Introdução à Programação em Mathematica (Introduction to Programming in Mathematica), IST Press, Lisboa, 1999,
    | BibTex
  • C. Sernadas, Introdução à Teoria da Computação (An Introduction to Computing Theory), Editorial Presença, Lisboa, 1993,
    | BibTex
43Books Chapters
  • 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
57Papers in Journals
  • J. Ramos, J. Rasga, C. Sernadas, Labelled proof systems for existential reasoning, Logic Journal of the IGPL, Vol. 33, No. 1, pp. 173 - 201, December, 2024 | BibTex
  • J. Ramos, J. Rasga, C. Sernadas, Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics, Studia Logica, Vol., No., pp. -, July, 2024 | BibTex
  • J. Rasga, C. Sernadas, On Combining Intuitionistic and S4 Modal Logic, Bulletin of the Section of Logic, Vol. 53, No. 3, pp. 321 - 344, June, 2024 | BibTex
  • M.P.G. Gouveia, J. Rasga, C. Sernadas, Meet-Combination of Consequence Systems, Logic and Logical Philosophy, Vol., No., pp. 1 - 36, May, 2024 | BibTex
  • J. Ramos, J. Rasga, C. Sernadas, Conservative Translations Revisited, Journal of Philosophical Logic, Vol. 52, No. 3, pp. 889 - 913, June, 2023 | BibTex
  • J. Rasga, C. Sernadas, Adding abductive reasoning to a propositional logic, Journal of Logic and Computation, Vol. 32, No. 4, pp. 697 - 728, June, 2022 | BibTex
  • J. Ramos, J. Rasga, C. Sernadas, Schema Complexity in Propositional-Based Logics, Mathematics, Vol. 9, No. 21, pp. 2671 - 2671, October, 2021 | BibTex
  • J. Ramos, J. Rasga, C. Sernadas, L. Viganò, Event-Based Time-Stamped Claim Logic, Journal of Logical and Algebraic Methods in Programming, Vol. 121, No. 100684, pp. 1 - 28, June, 2021 | BibTex
  • J. Rasga, C. Sernadas, W. Carnielli, Reduction techniques for proving decidability in logics and their meet-combination, Bulletin of Symbolic Logic, Vol. 27, No. 1, pp. 39 - 66, March, 2021 | BibTex
  • J. Ramos, J. Rasga, C. Sernadas, Essential Structure of Proofs as a Measure of Complexity, Logica Universalis, Vol. 14, No. 2, pp. 209 - 242, June, 2020 | BibTex
  • A. Sernadas, J. Rasga, C. Sernadas, L. Alcácer, A. B. Henriques, Probabilistic logic of quantum observations, Logic Journal of the IGPL, Vol. -, No. -, pp. - - -, October, 2018,
    | Abstract     | BibTex
  • J. Rasga, C. Sernadas, P. Mateus, A. Sernadas, Decision and optimization problems in the unreliable-circuit logic, Logic Journal of the IGPL, Vol. jzx00, No. 1, pp. 1 - 25, April, 2017 | BibTex
  • J. Rasga, C. Sernadas, A. Sernadas, Craig interpolation in the presence of unreliable connectives, Logica Universalis, Vol. 8, No. 3-4, pp. 423 - 446, December, 2014 | BibTex
  • J. Rasga, A. Sernadas, C. Sernadas, Fibring as biporting subsumes asymmetric combinations, Studia Logica, Vol. 102, No. 5, pp. 1041 - 1071, November, 2014 | BibTex
  • A. Sernadas, J. Rasga, C. Sernadas, P. Mateus, Approximate reasoning about logic circuits with single-fan-out unreliable gates, Journal of Logic and Computation, Vol. 24, No. 5, pp. 1023 - 1069, October, 2014 | BibTex
  • J. Rasga, W. Lotfallah Lotfallah, C. Sernadas, Completeness and interpolation of almost-everywhere quantification over finitely additive measures, Mathematical Logic Quarterly, Vol. 59, No. 4-5, pp. 286 - 302, December, 2013 | BibTex
  • C. Sernadas, J. Rasga, A. Sernadas, Preservation of Craig interpolation by the product of matrix logics, Journal of Applied Logic, Vol. 11, No. 3, pp. 328 - 349, May, 2013 | BibTex
  • J. Rasga, A. Sernadas, C. Sernadas, Importing Logics: Soundness and Completeness Preservation, Studia Logica, Vol. 101, No. 1, pp. 117 - 155, February, 2013 | BibTex
  • A. Sernadas, C. Sernadas, J. Rasga, On meet-combination of logics, Journal of Logic and Computation, Vol. 22, No. 6, pp. 1453 - 1470, December, 2012 | BibTex
  • J. Rasga, A. Sernadas, C. Sernadas, Importing logics, Studia Logica, Vol. 100, No. 3, pp. 545 - 581, June, 2012 | BibTex
  • M. Coniglio, A. Sernadas, C. Sernadas, Preservation by fibring of the model property, Journal of Logic and Computation, Vol. 21, No. 2, pp. 375 - 402, April, 2011 | BibTex
  • A. Sernadas, C. Sernadas, J. Rasga, On combined connectives, Logica Universalis, Vol. 5, No. 2, pp. 205 - 224, March, 2011 | BibTex
  • J. Rasga, K. Roggia, C. Sernadas, Fusion of sequent modal logic systems labelled with truth values, Logic Journal of the IGPL, Vol. 18, No. 6, pp. 893 - 920, December, 2010,
    | Abstract     | BibTex
  • A. Sernadas, C. Sernadas, J. Rasga, M. Coniglio, A graph-theoretic account of logics, Journal of Logic and Computation, Vol. 19, No. 19, pp. 1281 - 1320, January, 2009 | BibTex
  • A. Sernadas, C. Sernadas, J. Rasga, M. Coniglio, On graph-theoretic fibring of logics, Journal of Logic and Computation, Vol. 19, No. 19, pp. 1321 - 1357, January, 2009 | BibTex
  • W. Carnielli, J. Rasga, C. Sernadas, Interpolation via translations., Mathematical Logic Quarterly, Vol. 55, No. 5, pp. 515 - 534, January, 2009 | BibTex
  • W. Carnielli, J. Rasga, C. Sernadas, Preservation of interpolation features by fibring, Journal of Logic and Computation, Vol. 18, No. 1, pp. 123 - 151, January, 2008 | BibTex
  • L. Cruz-Filipe, A. Sernadas, C. Sernadas, Heterogeneous fibring of deductive systems via abstract proof systems, Logic Journal of the IGPL, Vol. 16, No. -, pp. 121 - 153, January, 2008 | BibTex
  • L. Cruz-Filipe, J. Rasga, A. Sernadas, C. Sernadas, A Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification, Journal of Logic and Computation, Vol. 18, No. 6, pp. 885 - 911, January, 2008 | BibTex
  • P. Mateus, J. Rasga, C. Sernadas, Modal sequent calculi labelle with truth values: Cut elimination, Logic Journal of the IGPL, Vol. 13, No. 2, pp. 173 - 199, January, 2005 | BibTex
  • P. Mateus, A. Sernadas, C. Sernadas, L. Viganò, Modal sequent calculi labelled with truth values: Completeness, duality and analyticity, Logic Journal of the IGPL, Vol. 12, No. 3, pp. 227 - 274, January, 2004 | BibTex
  • A. Sernadas, C. Sernadas, Combining logic systems: Why, how, what for?, CIM Bulletin, Vol. -, No. 15, pp. 9 - 14, December, 2003 | BibTex
  • C. Caleiro, W. Carnielli, M. Coniglio, A. Sernadas, C. Sernadas, Fibring non-truth-functional logics: Completeness Preservation, Journal of Logic, Language, and Information, Vol. 12, No. 2, pp. 183 - 211, January, 2003 | BibTex
  • M. Coniglio, A. Sernadas, C. Sernadas, Fibring logics with topos semantics, Journal of Logic and Computation, Vol. 13, No. 4, pp. 595 - 624, January, 2003 | BibTex
  • P. Mateus, M. Cabral Morais, C. Nunes, A. Pacheco, A. Sernadas, C. Sernadas, Categorical Foundations for Randomly Timed Automata, Theoretical Computer Science, Vol. 308, No. -, pp. 393 - 427, January, 2003 | BibTex
  • C. Sernadas, L. Viganò, J. Rasga, A. Sernadas, Truth-values as labels: A general recipe for labelled deduction, Journal of Appl. Non-Classical Logics, Vol. 13, No. 3-4, pp. 277 - 315, January, 2003 | BibTex
  • J. Rasga, A. Sernadas, C. Sernadas, L. Viganò, Fibring labelled deduction systems, Journal of Logic and Computation, Vol. 12, No. 3, pp. 443 - 473, June, 2002 | BibTex
  • A. Sernadas, C. Sernadas, A. Zanardo, Fibring modal first-order logics: Completeness preservation, Logic Journal of the IGPL, Vol. 10, No. 4, pp. 413 - 451, January, 2002 | BibTex
  • P.-Y. Schobbens, G. Saake, A. Sernadas, C. Sernadas, U2: A two-level temporal logic for evolving specifications, Information Processing Letters, Vol. 83, No. 3, pp. 167 - 172, January, 2002 | BibTex
  • C. Sernadas, J. Rasga, W. Carnielli, Modulated fibring and the collapsing problem, Journal of Symbolic Logic, Vol. 67, No. 4, pp. 1541 - 1569, January, 2002 | BibTex
  • A. Zanardo, A. Sernadas, C. Sernadas, Fibring: Completeness preservation, Journal of Symbolic Logic, Vol. 66, No. 1, pp. 414 - 439, January, 2001 | BibTex
  • P. Mateus, A. Pacheco, J. Pinto, A. Sernadas, C. Sernadas, Probabilistic situation calculus, Annals of Mathematics and Artificial Intelligence, Vol. 32, No. 1/4, pp. 393 - 431, January, 2001 | BibTex
  • JAP Pinto, A. Sernadas, C. Sernadas, P. Mateus, Non-determinism and uncertainty in the Situation Calculus, International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems, Vol. 8, No. 2, pp. 127 - 149, January, 2000 | BibTex
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibring of logics as a categorial construction, Journal of Logic and Computation, Vol. 9, No. 2, pp. 149 - 179, January, 1999 | BibTex
  • P. Mateus, A. Sernadas, C. Sernadas, Precategories for combining probabilistic automata - Early version presented at FIREworks Meeting, Magdeburg, May 15-16, 1998. Presented at CTCS'99, Edinburgh, September 10-12, Theoretical Computer Science, Vol. 29, No. -, pp. - - -, January, 1999 | BibTex
  • A. Sernadas, C. Sernadas, C. Caleiro, Denotational Semantics of Object Specification, Acta Informatica, Vol. 35, No. -, pp. 729 - 773, January, 1998 | BibTex
  • A. Sernadas, C. Sernadas, J. Ramos, A Temporal Logic Approach to Object Certification, Data and Knowledge Engineering, Vol. 19, No. -, pp. 267 - 294, January, 1996 | BibTex
  • R. Jungclaus, G. Saake, T. Hartmann, C. Sernadas, Troll: A language for object-oriented specification of information systems, ACM Transactions on Information Systems, Vol. 14, No. 2, pp. 175 - 211, January, 1996 | BibTex
  • A. Sernadas, C. Sernadas, J. F. Costa, Object Specification Logic, Journal of Logic and Computation, Vol. 5, No. 5, pp. 603 - 630, January, 1995 | BibTex
  • J. F. Costa, A. Sernadas, C. Sernadas, Object inheritance beyond subtyping, Acta Informatica, Vol. 31, No. -, pp. 5 - 26, January, 1994 | BibTex
  • C. Sernadas, J. Fiadeiro, Towards object-oriented conceptual modeling, Data and Knowledge Engineering, Vol. 6, No. 6, pp. 479 - 508, January, 1991 | BibTex
  • H.-D. Ehrich, A. Sernadas, C. Sernadas, From data types to object types, IEEE Geoscience and Remote Sensing Letters, Vol. 26, No. 1, pp. 33 - 48, January, 1990 | BibTex
  • C. Sernadas, J. Fiadeiro, A. Sernadas, Modular construction of logic knowledge bases: An algebraic approach, Information Systems, Vol. 15, No. 1, pp. 37 - 59, January, 1990 | BibTex
  • J. Sousa, C. Sernadas, A. Sernadas, An object-oriented specification tool for graphical interfaces, Computers & Graphics, Vol. 14, No. 1, pp. 29 - 40, January, 1990 | BibTex
  • C. Sernadas, R. Carapuça, The role of conceptual modeling abstractions in compiler development, Computer Journal, Vol. 30, No. 4, pp. 328 - 336, January, 1987 | BibTex
  • C. Sernadas, H. Coelho, G. Gaspar, Communicating knowledge systems: Part i - big talk among small actors, Applied Artificial Intelligence, Vol. 1, No. 3, pp. 233 - 260, January, 1987 | BibTex
  • A. Sernadas, C. Sernadas, Infolog 86, Revista Portuguesa de Informática, Vol. 5, No. 10, pp. 9 - 17, January, 1986 | BibTex
9Papers in Conferences
  • 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, 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
1Awards
  • 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
28Short Courses and Seminars
  • J. Rasga, L. Cruz-Filipe, A. Sernadas, C. Sernadas, Discrete-Measure Almost-Everywhere Quantification, Portugal, Coimbra, 06-2008
  • A. Sernadas, C. Sernadas, Towards a universal theory of fibring, Portugal, Portuguese Category Seminar, Coimbra, 12-2006
  • A. Sernadas, P. Mateus, C. Sernadas, Exogeneous Probabilistic Logic, Portugal, Portuguese Category Seminar 03, Coimbra, 05-2003
  • A. Sernadas, C. Sernadas, Fibring of Algebraic Semantics, Portugal, Encontro ACL/LOGCOMP, Coimbra, 02-1999
  • A. Sernadas, A. Zanardo, C. Sernadas, Fibring: Completeness preservation, Portugal, Encontro ACL/LOGCOMP, Coimbra, 02-1999
  • A. Sernadas, C. Sernadas, C. Caleiro, T. Mossakowski, Categorial Fibring of Logics with Terms and Binding Operators, Netherlands, FROCOS'98, Amsterdão, 10-1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibring of Logics, Portugal, Lógica 98, Évora, 07-1998
  • A. Sernadas, H. Lourenço, C. Sernadas, Aggregation and Interconnection of Hybrid Automata: Categorial Characterization, Portugal, Segundo Encontro ACL, Figueira da Foz, 06-1998
  • A. Sernadas, P. Mateus, C. Sernadas, Combining Probabilistic Automata, Portugal, Segundo Encontro ACL, Figueira da Foz, 06-1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibring of Logics with Terms and Binding Operators: Semantics, Portugal, Segundo Encontro ACL, Figueira da Foz, 06-1998
  • A. Sernadas, C. Caleiro, C. Sernadas, Parameterisation of Logics, Portugal, Segundo Encontro ACL, Figueira da Foz, 06-1998
  • A. Sernadas, P. Mateus, C. Sernadas, Aggregation and Interconnection of Probabilistic Automata, Portugal, 13th WADT, Lisboa, 04-1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibring of Logics with Terms and Binding Operators, Portugal, 13th WADT, Lisboa, 04-1998
  • A. Sernadas, C. Sernadas, Impacto da Álgebra na Computação, Portugal, Encontro Nacional de Matemática, Braga, 02-1998
  • A. Sernadas, C. Caleiro, C. Sernadas, Adjunções entre Sistemas Lógicos, Portugal, Encontro ESCOLA-ACL, Coimbra, 01-1998
  • A. Sernadas, P. Mateus, C. Sernadas, Composição Categorial de Sistemas Estocásticos, Portugal, Encontro ESCOLA-ACL, Coimbra, 01-1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibrilação de Lógicas com Termos, Portugal, Encontro ESCOLA-ACL, Coimbra, 01-1998
  • A. Sernadas, C. Sernadas, Categorial Techniques in Combining Logics, France, Aix-en-Provence - 9th European Summer School on Lo, 08-1997
  • A. Sernadas, C. Sernadas, C. Caleiro, Synchronization with Mixed Rules: Completeness Preservation, Belgium, FIREworks Meeting, Namur, 05-1997
  • A. Sernadas, C. Sernadas, Denotational Semantics of Object Specification Within an Arbitrary Temporal Logic Institution, Germany, 3rd IS-CORE Workshop, Hannover, 09-1993
  • A. Sernadas, C. Sernadas, J. Carmo, Lógica Matemática em Ciência da Computação, Portugal, Braga - Universidade do Minho, 09-1988
  • A. Sernadas, C. Sernadas, An Object-oriented Approach to Systems Design, China, Pequim - Institute of Software, Academia Sinica, 07-1988
  • A. Sernadas, C. Sernadas, Abstract Object Types, United Kingdom, Abbingdon - Alvey Meeting on Information Systems F, 11-1987
  • A. Sernadas, C. Sernadas, J.L. Fiadeiro, The Oblog Approach to Laws, United Kingdom, Londres - IFIP WG 2.6 Meeting, 09-1987
  • A. Sernadas, C. Sernadas, V. Gamito, Bases de Dados: Metodologia Inforlog, Portugal, Oeiras - Instituto Nacional de Administra»c~ao (IN, 12-1986
  • A. Sernadas, C. Sernadas, The Infolog86 Approach to Systems Design, Belgium, Bruxelas - Esprit Day on Requirements, 11-1986
  • A. Sernadas, C. Sernadas, Desenvolvimento de Sistemas: Metodologia INFOLOG, Portugal, Lisboa - INESC, 05-1986
  • A. Sernadas, C. Sernadas, R. Carapuça, G. Gaspar, Bases de Dados: Metodologia INFOLOG, Portugal, Lisboa - Instituto Nacional de Administração, 12-1985
© 2025, IT - Instituto de Telecomunicações | All Rights Reserved