???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Maria Cristina de Sales Viana Serôdio Sernadas

Nomes de citação

  • Sernadas, Cristina

Identificadores de autor

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

Domínios de atuação

  • Ciências Exatas - Matemática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Francês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Espanhol; Castelhano Utilizador elementar (A1) Utilizador proficiente (C1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
1988/01/19
Concluído
 Matemática (Título de Agregado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
1980/07/11
Concluído
 Mathematics (Doctor of Philosophy)
London School of Economics and Political Science Department of Mathematics, Reino Unido
1973/07/28
Concluído
 Matemática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
1991 - Atual Professor Catedrático (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Produções

Publicações

Artigo em revista
  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.
Capítulo de livro
  1. Sernadas, Cristina. "A Roadmap to Decidability". 2015.
    10.1007/978-3-319-10193-4_20
Livro
  1. Gomes, Diogo; Sernadas, Amílcar; Sernadas, Cristina; Rasga, Joao; Mateus, Paulo. A Mathematical Primer on Linear Optimization. Reino Unido: College Publications. 2019.
    Publicado
  2. Sernadas, Amílcar; Sernadas, Cristina; Rasga, Joao; Ramos, Jaime. A Mathematical Primer on Computability. Reino Unido: College Publications. 2018.
    Publicado
  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. Reino Unido: College Publications. 2012.
    Publicado
  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