Maria Cristina de Sales Viana Serôdio Sernadas

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

Degrees

Agregação, Instituto Superior Técnico, 01-01-1988

Publications

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

53Papers in Journals

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, Journal of Information Processing and Cybernetics EIK, 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 and 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

Projects

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

Other Scientific Achievements

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

IT Member Profile

Maria Sernadas

Scientific Achievements

Closed Projects2