The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Cristina Sernadas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
    Object-Oriented Specification of Databases: An Algebraic Approach. [Citation Graph (20, 8)][DBLP]
    VLDB, 1987, pp:107-116 [Conf]
  2. José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake
    Proof-Theoretic Semantics of Object-Oriented Specification Constructs. [Citation Graph (5, 0)][DBLP]
    DS-4, 1990, pp:243-284 [Conf]
  3. Ralf Jungclaus, Gunter Saake, Thorsten Hartmann, Cristina Sernadas
    TROLL - A Language for Object-Oriented Specification of Information Systems. [Citation Graph (5, 0)][DBLP]
    ACM Trans. Inf. Syst., 1996, v:14, n:2, pp:175-211 [Journal]
  4. Cristina Sernadas, Amílcar Sernadas
    Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions. [Citation Graph (3, 0)][DBLP]
    DS-1, 1985, pp:121-140 [Conf]
  5. Amílcar Sernadas, Cristina Sernadas, José Félix Costa
    Object Specification Logic. [Citation Graph (3, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:5, pp:603-630 [Journal]
  6. Amílcar Sernadas, Cristina Sernadas
    Abstraction and Inference Mechanism for Knowledge Representation. [Citation Graph (1, 0)][DBLP]
    Foundations of Knowledge Base Management (Xania), 1985, pp:91-116 [Conf]
  7. Amílcar Sernadas, Cristina Sernadas
    The Use of E-R Abstractions for Knowledge Representation. [Citation Graph (1, 7)][DBLP]
    ER, 1985, pp:224-231 [Conf]
  8. Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
    Abstract Object Types for Databases. [Citation Graph (1, 0)][DBLP]
    OODBS, 1988, pp:144-149 [Conf]
  9. José Félix Costa, Amílcar Sernadas, Cristina Sernadas
    Object Inheritance Beyond Subtyping. [Citation Graph (1, 0)][DBLP]
    Acta Inf., 1994, v:31, n:1, pp:5-26 [Journal]
  10. Cristina Sernadas, José Luiz Fiadeiro
    Towards object-oriented conceptual modeling. [Citation Graph (1, 0)][DBLP]
    Data Knowl. Eng., 1991, v:6, n:, pp:479-508 [Journal]
  11. Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
    Objects and Object Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  12. Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro
    Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  13. Paula Gouveia, Cristina Sernadas
    Abductive Reasoning over Temporal Specifications of Objects. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 1998, pp:275-300 [Conf]
  14. Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
    Synchronization of Logics with Mixed Rules: Completeness Preservation. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:465-478 [Conf]
  15. Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
    Quantum Institutions. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:50-64 [Conf]
  16. Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas
    Fibring Logics: Past, Present and Future. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:363-388 [Conf]
  17. Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
    Objects, Object Types, and Object Identification. [Citation Graph (0, 0)][DBLP]
    Categorial Methods in Computer Science, 1988, pp:142-156 [Conf]
  18. Amílcar Sernadas, José Félix Costa, Cristina Sernadas
    An Institution of Object Behaviour. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:337-351 [Conf]
  19. Amílcar Sernadas, Cristina Sernadas, José Manuel Valença
    A Theory-based Typological Notion of Institutions. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:420-436 [Conf]
  20. Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas
    Evolving Logical Specification in Information Systems. [Citation Graph (0, 0)][DBLP]
    Logics for Databases and Information Systems, 1998, pp:199-228 [Conf]
  21. Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes
    Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling. [Citation Graph (0, 0)][DBLP]
    DAISD, 1990, pp:93-110 [Conf]
  22. Paula Gouveia, Cristina Sernadas
    Reasoning Aspects in Information Systems and Databases. [Citation Graph (0, 0)][DBLP]
    DAISD, 1993, pp:201-223 [Conf]
  23. Amílcar Sernadas, Cristina Sernadas
    Object Certification (Invited Lecture). [Citation Graph (0, 0)][DBLP]
    DAISD, 1994, pp:55-78 [Conf]
  24. Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas
    Object-Oriented Conceptual Modeling from Law. [Citation Graph (0, 0)][DBLP]
    DS-3, 1988, pp:305-327 [Conf]
  25. Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus
    Nondeterminism and Uncertainty in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 1999, pp:454-460 [Conf]
  26. Cristina Sernadas, Paula Gouveia, Antónia Lopes
    Gentzen-Type System for Verification in Conceptual Modeling. [Citation Graph (0, 0)][DBLP]
    FMLDO, 1991, pp:215-228 [Conf]
  27. João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
    Labelled Deduction over Algebras of Truth-Values. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:222-238 [Conf]
  28. José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas
    Knowledgebases as Structured Theories. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1988, pp:469-486 [Conf]
  29. Cristina Sernadas, Paula Gouveia, Amílcar Sernadas
    Refinement: Layered Definition of Conceptual Schemata. [Citation Graph (0, 0)][DBLP]
    ISCO, 1992, pp:19-51 [Conf]
  30. José Félix Costa, Amílcar Sernadas, Cristina Sernadas
    Data Encapsulation and Modularity: Three Views of Inheritance. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:382-391 [Conf]
  31. José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
    Object Interaction. [Citation Graph (0, 0)][DBLP]
    MFCS, 1992, pp:200-208 [Conf]
  32. Gunter Saake, Ralf Jungclaus, Cristina Sernadas
    Abstract Data Type Semantics for Many-Sorted Object Query Algebras. [Citation Graph (0, 32)][DBLP]
    MFDBS, 1991, pp:291-307 [Conf]
  33. Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
    Abstract Object Types: A Temporal Perspective. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:324-350 [Conf]
  34. Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
    Realization of Probabilistic Automata: Categorial Approach. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:237-251 [Conf]
  35. Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas
    Parameterisation of Logics. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:48-62 [Conf]
  36. Cristina Sernadas, Helder Coelho, Graça Gaspar
    Communication knowledge systems: Part I - Big talk among small systems. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1987, v:1, n:3, pp:233-260 [Journal]
  37. Cristina Sernadas, Helder Coelho, Graça Gaspar
    Communication knowledge systems. Part II - big talk among small systems. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1987, v:1, n:4, pp:315-335 [Journal]
  38. Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
    Denotational Semantics of Object Specification. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:9, pp:729-773 [Journal]
  39. Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas
    Probabilistic Situation Calculus. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2001, v:32, n:1-4, pp:393-431 [Journal]
  40. João Pedro Sousa, Cristina Sernadas, Amílcar Sernadas
    An object-oriented specification tool for graphical interfaces. [Citation Graph (0, 0)][DBLP]
    Computers & Graphics, 1990, v:14, n:1, pp:29-40 [Journal]
  41. Cristina Sernadas, Rogério Carapuça
    The Role of Conceptual Modelling Abstractions in Compiler Development. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1987, v:30, n:4, pp:328-336 [Journal]
  42. Amílcar Sernadas, Cristina Sernadas, Jaime Ramos
    A Temporal Logic Approach to Object Certification. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 1996, v:19, n:3, pp:267-294 [Journal]
  43. Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
    From Data Types to Object Types. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1990, v:26, n:1/2, pp:33-48 [Journal]
  44. Paulo Mateus, João Rasga, Cristina Sernadas
    Modal Sequent Calculi Labelled with Truth Values: Cut Elimination. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:2, pp:173-199 [Journal]
  45. Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
    Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:3, pp:227-274 [Journal]
  46. Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo
    Fibring Modal First-Order Logics: Completeness Preservation. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:4, pp:413-451 [Journal]
  47. Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus
    Non-Determinism and Uncertainty in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2000, v:8, n:2, pp:127-150 [Journal]
  48. Pierre-Yves Schobbens, Gunter Saake, Amílcar Sernadas, Cristina Sernadas
    A two-level temporal logic for evolving specifications. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2002, v:83, n:3, pp:167-172 [Journal]
  49. Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas
    Modular construction of logic knowledge bases: an algebraic approach. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 1990, v:15, n:1, pp:37-59 [Journal]
  50. Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas
    Truth-values as Labels: A General Recipe for Labelled Deduction. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:3-4, pp:277-315 [Journal]
  51. Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
    Fibring Non-Truth-Functional Logics: Completeness Preservation. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2003, v:12, n:2, pp:183-211 [Journal]
  52. Cristina Sernadas, João Rasga, Walter Alexandre Carnielli
    Modulated Fibring and The Collapsing Problem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:4, pp:1541-1569 [Journal]
  53. Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas
    Fibring: Completeness Preservation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:1, pp:414-439 [Journal]
  54. Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
    Fibring Logics with Topos Semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:595-624 [Journal]
  55. João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
    Fibring Labelled Deduction Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:3, pp:443-473 [Journal]
  56. Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
    Fibring of Logics as a Categorial Construction. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:2, pp:149-179 [Journal]
  57. Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
    Synchronization of Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1997, v:59, n:1, pp:217-247 [Journal]
  58. Paulo Mateus, M. Morais, C. Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas
    Categorical foundations for randomly timed automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:393-427 [Journal]
  59. Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
    Precategories for combining probabilistic automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]

Search in 0.006secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002