???global.info.a_carregar???
Identification

Personal identification

Full name
Maria Cristina de Sales Viana Serôdio Sernadas

Citation names

  • Sernadas, Cristina

Author identifiers

Ciência ID
2B1E-69D8-1BD1
ORCID iD
0000-0002-5510-3512

Knowledge fields

  • Exact Sciences - Mathematics

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Intermediate (B1) Advanced (C1) Intermediate (B1) Intermediate (B1)
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Spanish; Castilian Beginner (A1) Advanced (C1) Beginner (A1) Beginner (A1)
Education
Degree Classification
1988/01/19
Concluded
 Matemática (Título de Agregado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
1980/07/11
Concluded
 Mathematics (Doctor of Philosophy)
London School of Economics and Political Science Department of Mathematics, United Kingdom
1973/07/28
Concluded
 Matemática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
1991 - Current Full Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Outputs

Publications

Book
  1. Gomes, Diogo; Sernadas, Amílcar; Sernadas, Cristina; Rasga, Joao; Mateus, Paulo. A Mathematical Primer on Linear Optimization. United Kingdom: College Publications. 2019.
    Published
  2. Sernadas, Amílcar; Sernadas, Cristina; Rasga, Joao; Ramos, Jaime. A Mathematical Primer on Computability. United Kingdom: College Publications. 2018.
    Published
  3. Mateus, P.; Ramos, J.; Sernadas, A.; Sernadas, C.. Temporal logics for reasoning about quantum systems. 2013.
    10.1017/CBO9781139193313.011
  4. Sernadas, Amílcar; Sernadas, Cristina. Foundation of Logic and Theory of Computation. United Kingdom: College Publications. 2012.
    Published
  5. Sernadas, Cristina. Analysis and Synthesis of Logics. Springer Netherlands. 2008.
    10.1007/978-1-4020-6782-2
  6. Rasga, J.; Sernadas, A.; Sernadas, C.; Viganò, L.. Labelled deduction over algebras of truth-values. 2002.
  7. Mateus, P.; Sernadas, A.; Sernadas, C.. Realization of probabilistic automata: Categorical approach. 2000.
  8. Caleiro, C.; Sernadas, C.; Sernadas, A.. Parameterisation of logics. 1999.
    10.1007/3-540-48483-3_4
  9. Sernadas, A.; Sernadas, C.; Caleiro, C.. Synchronization of logics with mixed rules: Completeness preservation. 1997.
  10. Sernadas, A.; Sernadas, C.; Valenca, J.M.. A theory-based topological notion of institution. 1995.
  11. Sernadas, A.; Costa, J.F.; Sernadas, C.. An institution of object behaviour. 1994.
  12. Costa, J.F.; Sernadas, A.; Sernadas, C.. Data encapsulation and modularity: Three views of inheritance. 1993.
  13. Costa, J.F.; Sernadas, A.; Sernadas, C.; Ehrich, H.-D.. Object interaction. 1992.
  14. Jungclaus, R.; Saake, G.; Sernadas, C.. Formal specification of object systems. 1991.
    10.1007/3540539816_61
  15. Sernadas, A.; Fiadeiro, J.; Sernadas, C.; Ehrich, H.-D.. Abstract object types: A temporal perspective. 1989.
    10.1007/3-540-51803-7_33
  16. Ehrich, H.-D.; Sernadas, A.; Sernadas, C.. Abstract object types for databases. 1988.
    10.1007/3-540-50345-5_10
Book chapter
  1. Sernadas, Cristina. "A Roadmap to Decidability". 2015.
    10.1007/978-3-319-10193-4_20
Journal article
  1. Jaime Ramos; João Rasga; Cristina Sernadas. "Schema Complexity in Propositional-Based Logics". Mathematics (2021): https://doi.org/10.3390/math9212671.
    10.3390/math9212671
  2. Jaime Ramos; João Rasga; Cristina Sernadas; Luca Viganò. "Event-Based Time-Stamped Claim Logic". Journal of Logical and Algebraic Methods in Programming (2021): 100684-100684. https://doi.org/10.1016/j.jlamp.2021.100684.
    10.1016/j.jlamp.2021.100684
  3. Sernadas, A; Rasga, J; Sernadas, C; Alcácer, L; Henriques, A B. "Probabilistic logic of quantum observations". Logic Journal of the IGPL 27 3 (2018): 328-370. http://dx.doi.org/10.1093/jigpal/jzy051.
    10.1093/jigpal/jzy051
  4. Sernadas, Cristina. "On probability and logic". Portugaliae Mathematica (2017): http://dx.doi.org/10.4171/pm/2007.
    10.4171/pm/2007
  5. RASGA, J.; SERNADAS, C.; MATEUS, P.; SERNADAS, A.. "Decision and optimization problems in the unreliable-circuit logic". Logic Journal of the IGPL 25 3 (2017): 284-308. http://www.scopus.com/inward/record.url?eid=2-s2.0-85027266726&partnerID=MN8TOARS.
    10.1093/jigpal/jzx005
  6. Rasga, J.; Sernadas, C.; Sernadas, A.. "PRESERVATION of ADMISSIBLE RULES WHEN COMBINING LOGICS". Review of Symbolic Logic 9 4 (2016): 641-663. http://www.scopus.com/inward/record.url?eid=2-s2.0-84983027886&partnerID=MN8TOARS.
    10.1017/S1755020316000241
  7. Rasga, J.; Sernadas, C.; Sernadas, A.. "Craig Interpolation in the Presence of Unreliable Connectives". Logica Universalis 8 3-4 (2014): 423-446. http://www.scopus.com/inward/record.url?eid=2-s2.0-84916211797&partnerID=MN8TOARS.
    10.1007/s11787-014-0101-9
  8. Rasga, J.; Sernadas, A.; Sernadas, C.. "Fibring as Biporting Subsumes Asymmetric Combinations". Studia Logica 102 5 (2014): 1041-1074. http://www.scopus.com/inward/record.url?eid=2-s2.0-84919355735&partnerID=MN8TOARS.
    10.1007/s11225-013-9524-1
  9. Sernadas, A.; Rasga, J.; Sernadas, C.; Mateus, P.. "Approximate reasoning about logic circuits with single-fan-out unreliable gates". Journal of Logic and Computation 24 5 (2014): 1023-1069. http://www.scopus.com/inward/record.url?eid=2-s2.0-84931058090&partnerID=MN8TOARS.
    10.1093/logcom/ext038
  10. Sernadas, C.; Rasga, J.; Sernadas, A.. "Preservation of Craig interpolation by the product of matrix logics". Journal of Applied Logic 11 3 (2013): 328-349. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881187948&partnerID=MN8TOARS.
    10.1016/j.jal.2013.06.001
  11. Rasga, J.; Lotfallah, W.B.; Sernadas, C.. "Completeness and interpolation of almost-everywhere quantification over finitely additive measures". Mathematical Logic Quarterly 59 4-5 (2013): 286-302. http://www.scopus.com/inward/record.url?eid=2-s2.0-84882577807&partnerID=MN8TOARS.
    10.1002/malq.201110051
  12. Rasga, J.; Sernadas, A.; Sernadas, C.. "Importing Logics: Soundness and Completeness Preservation". Studia Logica 101 1 (2013): 117-155. http://www.scopus.com/inward/record.url?eid=2-s2.0-84874113191&partnerID=MN8TOARS.
    10.1007/s11225-011-9363-x
  13. Rasga, J.; Sernadas, A.; Sernadas, C.. "Importing Logics". Studia Logica 100 3 (2012): 545-581. http://www.scopus.com/inward/record.url?eid=2-s2.0-84863553758&partnerID=MN8TOARS.
    10.1007/s11225-012-9414-y
  14. Sernadas, A.; Sernadas, C.; Rasga, J.. "On meet-combination of logics". Journal of Logic and Computation 22 6 (2012): 1453-1470. http://www.scopus.com/inward/record.url?eid=2-s2.0-84870227927&partnerID=MN8TOARS.
    10.1093/logcom/exr035
  15. Coniglio, M.E.; Sernadas, A.; Sernadas, C.. "Preservation by fibring of the finite model property". Journal of Logic and Computation 21 2 (2011): 375-402. http://www.scopus.com/inward/record.url?eid=2-s2.0-79953710564&partnerID=MN8TOARS.
    10.1093/logcom/exq022
  16. Sernadas, A.; Sernadas, C.; Rasga, J.. "On Combined Connectives". Logica Universalis 5 2 (2011): 205-224. http://www.scopus.com/inward/record.url?eid=2-s2.0-80255122730&partnerID=MN8TOARS.
    10.1007/s11787-011-0032-7
  17. Rasga, J.; Roggia, K.; Sernadas, C.. "Fusion of sequent modal logic systems labelled with truth values". Logic Journal of the IGPL 18 6 (2010): 893-920. http://www.scopus.com/inward/record.url?eid=2-s2.0-78049359394&partnerID=MN8TOARS.
    10.1093/jigpal/jzp081
  18. Sernadas, A.; Sernadas, C.; Rasga, J.; Coniglio, M.. "A graph-theoretic account of logics". Journal of Logic and Computation 19 6 (2009): 1281-1320. http://www.scopus.com/inward/record.url?eid=2-s2.0-72649096740&partnerID=MN8TOARS.
    10.1093/logcom/exp023
  19. Sernadas, A.; Sernadas, C.; Rasga, J.; Coniglio, M.. "On graph-theoretic fibring of logics". Journal of Logic and Computation 19 6 (2009): 1321-1357. http://www.scopus.com/inward/record.url?eid=2-s2.0-72649083775&partnerID=MN8TOARS.
    10.1093/logcom/exp024
  20. Chadha, R.; Mateus, P.; Sernadas, A.; Sernadas, C.. "Extending Classical Logic for Reasoning About Quantum Systems". Handbook of Quantum Logic and Quantum Structures (2009): 325-371. http://www.scopus.com/inward/record.url?eid=2-s2.0-84863550578&partnerID=MN8TOARS.
    10.1016/B978-0-444-52869-8.50011-6
  21. Rasga, J.; Carnielli, W.; Sernadas, C.. "Interpolation via translations". Mathematical Logic Quarterly 55 5 (2009): 515-534. http://www.scopus.com/inward/record.url?eid=2-s2.0-76749110774&partnerID=MN8TOARS.
    10.1002/malq.200810013
  22. Cruz-Filipe, L.; Rasga, J.; Sernadas, A.; Sernadas, C.. "Complete axiomatization of discrete-measure almost-everywhere quantification". Journal of Logic and Computation 18 6 (2008): 885-911. http://www.scopus.com/inward/record.url?eid=2-s2.0-57249086041&partnerID=MN8TOARS.
    10.1093/logcom/exn014
  23. Cruz-Filipe, L.; Sernadas, A.; Sernadas, C.. "Heterogeneous fibring of deductive systems via abstract proof systems". Logic Journal of the IGPL 16 2 (2008): 121-153. http://www.scopus.com/inward/record.url?eid=2-s2.0-41249096629&partnerID=MN8TOARS.
    10.1093/jigpal/jzm057
  24. Carnielli, W.; Rasga, J.; Sernadas, C.. "Preservation of Interpolation Features by Fibring". Journal of Logic and Computation 18 1 (2008): 123-151. http://www.scopus.com/inward/record.url?eid=2-s2.0-38749084168&partnerID=MN8TOARS.
    10.1093/logcom/exm061
  25. Caleiro, C.; Mateus, P.; Sernadas, A.; Sernadas, C.. "Quantum institutions". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4060 LNCS (2006): 50-64. http://www.scopus.com/inward/record.url?eid=2-s2.0-34248170212&partnerID=MN8TOARS.
  26. Mateus, P.; Rasga, J.; Sernadas, C.. "Modal sequent calculil labelled with truth values: Cut elimination". Logic Journal of the IGPL 13 2 (2005): 173-199. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750112290&partnerID=MN8TOARS.
    10.1093/jigpal/jzi013
  27. Sernadas, C.; Viganó, L.; Rasga, J.; Sernadas, A.. "Truth-values as labels: A general recipe for labelled deduction". Journal of Applied Non-Classical Logics 13 3-4 (2003): 277-315. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750142428&partnerID=MN8TOARS.
    10.3166/jancl.13.277-315
  28. Mateus, P.; Morais, M.; Nunes, C.; Pacheco, A.; Sernadas, A.; Sernadas, C.. "Categorical foundations for randomly timed automata". Theoretical Computer Science 308 1-3 (2003): 393-427. http://www.scopus.com/inward/record.url?eid=2-s2.0-0142124715&partnerID=MN8TOARS.
    10.1016/S0304-3975(02)00894-0
  29. Coniglio, M.E.; Sernadas, A.C.; Sernadas, C.S.. "Fibring logics with topos semantics". Journal of Logic and Computation 13 4 (2003): 595-624. http://www.scopus.com/inward/record.url?eid=2-s2.0-0042866029&partnerID=MN8TOARS.
    10.1093/logcom/13.4.595
  30. Sernadas, C.; Rasga, J.; Carnielli, W.A.. "Modulated fibring and the collapsing problem". Journal of Symbolic Logic 67 4 (2002): 1541-1569. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036950370&partnerID=MN8TOARS.
  31. Schobbens, P.Y.; Saake, G.; Sernadas, A.; Sernadas, C.. "A two-level temporal logic for evolving specifications". Information Processing Letters 83 3 (2002): 167-172. http://www.scopus.com/inward/record.url?eid=2-s2.0-0037119067&partnerID=MN8TOARS.
    10.1016/S0020-0190(02)00289-2
  32. Rasga, J.; Sernadas, A.; Sernadas, C.; Viganò, L.. "Fibring labelled deduction systems". Journal of Logic and Computation 12 3 (2002): 443-473. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036608983&partnerID=MN8TOARS.
    10.1093/logcom/12.3.443
  33. Zanardo, A.; Sernadas, A.; Sernadas, C.. "Fibring: Completeness preservation". Journal of Symbolic Logic 66 1 (2001): 414-439. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035633617&partnerID=MN8TOARS.
  34. Mateus, P.; Pacheco, A.; Pinto, J.; Sernadas, A.; Sernadas, C.. "Probabilistic Situation Calculus". Annals of Mathematics and Artificial Intelligence 32 1-4 (2001): 393-431. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035598191&partnerID=MN8TOARS.
    10.1023/A:1016738205696
  35. Pinto, J.; Sernadas, A.; Sernadas, C.; Mateus, P.. "Non-determinism and uncertainty in the situation calculus". International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems 8 2 (2000): 127-149. http://www.scopus.com/inward/record.url?eid=2-s2.0-0010365117&partnerID=MN8TOARS.
  36. Mateus, P.; Sernadas, A.; Sernadas, C.. "Precategories for combining probabilistic automata". Electronic Notes in Theoretical Computer Science 29 (1999): 169-186. http://www.scopus.com/inward/record.url?eid=2-s2.0-0142075135&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80315-9
  37. Sernadas, A.; Sernadas, C.; Caleiro, C.. "Fibring of logics as a categorial construction". Journal of Logic and Computation 9 2 (1999): 149-179. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032640209&partnerID=MN8TOARS.
  38. Sernadas, A.; Sernadas, C.; Caleiro, C.. "Denotational semantics of object specification". Acta Informatica 35 9 (1998): 729-773. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032375623&partnerID=MN8TOARS.
  39. Sernadas, A.; Sernadas, C.; Caleiro, C.. "Synchronization of logics". Studia Logica 59 2 (1997): 217-247. http://www.scopus.com/inward/record.url?eid=2-s2.0-0002154823&partnerID=MN8TOARS.
  40. Sernadas, A.; Sernadas, C.; Ramos, J.. "A temporal logic approach to object certification". Data and Knowledge Engineering 19 3 (1996): 267-294. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030168682&partnerID=MN8TOARS.
    10.1016/0169-023X(96)00004-3
  41. Jungclaus, R.; Saake, G.; Hartmann, T.; Sernadas, C.. "TROLL - A Language for Object-Oriented Specification of Information Systems". ACM Transactions on Information Systems 14 2 (1996): 175-211. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030127113&partnerID=MN8TOARS.
  42. Sernadas, A.; Sernadas, C.; Costa, J.F.. "Object specification logic". Journal of Logic and Computation 5 5 (1995): 603-630. http://www.scopus.com/inward/record.url?eid=2-s2.0-77957184803&partnerID=MN8TOARS.
    10.1093/logcom/5.5.603
  43. Costa, J.F.; Sernadas, A.; Sernadas, C.. "Object inheritance beyond subtyping". Acta Informatica 31 1 (1994): 5-26. http://www.scopus.com/inward/record.url?eid=2-s2.0-21344491785&partnerID=MN8TOARS.
    10.1007/BF01178920
  44. Sernadas, C.; Fiadeiro, J.. "Towards object-oriented conceptual modeling". Data and Knowledge Engineering 6 6 (1991): 479-508. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026242630&partnerID=MN8TOARS.
    10.1016/0169-023X(91)90025-S
  45. Sernadas, C.; Fiadeiro, J.; Sernadas, A.. "Modular construction of logic knowledge bases: An algebraic approach". Information Systems 15 1 (1990): 37-59. http://www.scopus.com/inward/record.url?eid=2-s2.0-0025623183&partnerID=MN8TOARS.
    10.1016/0306-4379(90)90015-H
  46. Sousa, J.P.; Sernadas, C.; Sernadas, A.. "An object-oriented specification tool for graphical interfaces". Computers and Graphics 14 1 (1990): 29-40. http://www.scopus.com/inward/record.url?eid=2-s2.0-0025588151&partnerID=MN8TOARS.
    10.1016/0097-8493(90)90006-J
  47. Sernadas, C.. "Modular construction of logic knowledge bases: An algebraic approach". Information Systems 15 1 (1990): 37-59. http://www.scopus.com/inward/record.url?eid=2-s2.0-0025623183&partnerID=MN8TOARS.
    10.1016/0306-4379(90)90015-F
  48. Sernadas, Cristina; Coelho, Helder; Gaspar, Graca. "COMMUNICATING KNOWLEDGE SYSTEMS: PART 1 - BIG TALK AMONG SMALL SYSTEMS.". Applied Artificial Intelligence 1 3 (1987): 233-260. http://www.scopus.com/inward/record.url?eid=2-s2.0-0023568734&partnerID=MN8TOARS.
    10.1080/08839518708927973
  49. Sernadas, C.; Coelho, H.; Gaspar, G.. "Communicating knowledge systems: Part II—Big talk among small systems". Applied Artificial Intelligence 1 4 (1987): 315-335. http://www.scopus.com/inward/record.url?eid=2-s2.0-84950454056&partnerID=MN8TOARS.
    10.1080/08839518708927978
  50. Sernadas, Cristina; Carapuca, R.. "ROLE OF CONCEPTUAL MODELLING ABSTRACTIONS IN COMPILER DEVELOPMENT.". Computer Journal 30 4 (1987): 328-336. http://www.scopus.com/inward/record.url?eid=2-s2.0-0023399431&partnerID=MN8TOARS.
  51. Sernadas, Amilcar; Sernadas, Cristina. "USE OF E-R ABSTRACTIONS FOR KNOWLEDGE REPRESENTATION.". (1985): 224-231. http://www.scopus.com/inward/record.url?eid=2-s2.0-0022189487&partnerID=MN8TOARS.