The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Amílcar Sernadas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Amílcar Sernadas
    Temporal aspects of logical procedure definiton. [Citation Graph (22, 0)][DBLP]
    Inf. Syst., 1980, v:5, n:3, pp:167-187 [Journal]
  2. 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]
  3. Amílcar Sernadas, Hans-Dieter Ehrich
    What is an Object, After All? [Citation Graph (9, 0)][DBLP]
    DS-4, 1990, pp:39-69 [Conf]
  4. José Luiz Fiadeiro, Amílcar Sernadas
    Specification and Verification of Database Dynamics. [Citation Graph (6, 0)][DBLP]
    Acta Inf., 1988, v:25, n:6, pp:625-661 [Journal]
  5. 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]
  6. José Luiz Fiadeiro, Amílcar Sernadas
    The INFOLOG linear tense propositional logic of events and transactions. [Citation Graph (3, 0)][DBLP]
    Inf. Syst., 1986, v:11, n:1, pp:61-85 [Journal]
  7. 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]
  8. José Carmo, Amílcar Sernadas
    A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. [Citation Graph (2, 0)][DBLP]
    Temporal Aspects in Information Systems, 1987, pp:31-46 [Conf]
  9. Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker
    Logics for Specifying Concurrent Information Systems. [Citation Graph (1, 0)][DBLP]
    Logics for Databases and Information Systems, 1998, pp:167-198 [Conf]
  10. 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]
  11. 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]
  12. Hans-Dieter Ehrich, Gunter Saake, Amílcar Sernadas
    Concepts of Object-Orientation. [Citation Graph (1, 0)][DBLP]
    IS/KI, 1992, pp:1-19 [Conf]
  13. Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
    Abstract Object Types for Databases. [Citation Graph (1, 0)][DBLP]
    OODBS, 1988, pp:144-149 [Conf]
  14. Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas
    A Categorial Theory of Objects as Observed Processes. [Citation Graph (1, 0)][DBLP]
    REX Workshop, 1990, pp:203-228 [Conf]
  15. José Luiz Fiadeiro, Amílcar Sernadas
    Behavioural Aspects of Intelligent Knowledge-Based Information Systems. [Citation Graph (1, 0)][DBLP]
    Temporal Aspects in Information Systems, 1987, pp:77-92 [Conf]
  16. 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]
  17. Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
    Objects and Object Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  18. José Luiz Fiadeiro, Amílcar Sernadas
    Structuring Theories on Consequence. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:44-72 [Conf]
  19. 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]
  20. Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
    A Linear Temporal Logic Approach to Objects with Transactions. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:170-184 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. Hans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amílcar Sernadas
    Object-Oriented Design of Information Systems: Theoretical Foundations. [Citation Graph (0, 0)][DBLP]
    CISM - Advances in Database Systems, 1993, pp:201-218 [Conf]
  26. 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]
  27. 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]
  28. Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas
    Objects and their Specification. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:40-65 [Conf]
  29. Hans-Dieter Ehrich, Amílcar Sernadas
    Local Specification of Distributed Families of Sequential Objects. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:219-235 [Conf]
  30. José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum
    Process Semantics of Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:236-253 [Conf]
  31. Rogério Carapuça, Luis Andrade, Amílcar Sernadas
    A Database Design and Construction Workbench. [Citation Graph (0, 0)][DBLP]
    Computerized Assistance During the Information Systems Life Cycle, 1988, pp:261-286 [Conf]
  32. Rohit Chadha, Paulo Mateus, Amílcar Sernadas
    Reasoning About States of Probabilistic Sequential Programs. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:240-255 [Conf]
  33. Klemens Böhm, Amílcar Sernadas
    Real-Time Object Specification Logic. [Citation Graph (0, 0)][DBLP]
    DAISD, 1993, pp:159-173 [Conf]
  34. Amílcar Sernadas, Cristina Sernadas
    Object Certification (Invited Lecture). [Citation Graph (0, 0)][DBLP]
    DAISD, 1994, pp:55-78 [Conf]
  35. 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]
  36. José Carmo, Amílcar Sernadas
    Inevitability in Branching Time. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:41-62 [Conf]
  37. Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas
    Refinement Mapping for General (Discrete Event) Systems Theory. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 1995, pp:103-116 [Conf]
  38. 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]
  39. 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]
  40. José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas
    Knowledgebases as Structured Theories. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1988, pp:469-486 [Conf]
  41. Amílcar Sernadas
    Future Information Systems (Panel). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:641-642 [Conf]
  42. Cristina Sernadas, Paula Gouveia, Amílcar Sernadas
    Refinement: Layered Definition of Conceptual Schemata. [Citation Graph (0, 0)][DBLP]
    ISCO, 1992, pp:19-51 [Conf]
  43. Amílcar Sernadas, Graça Gaspar, José Granado
    BIPS: A Layered Predicative Query Language for a DBTG Database System. [Citation Graph (0, 0)][DBLP]
    JCDKB, 1982, pp:73-93 [Conf]
  44. Paulo Mateus, Amílcar Sernadas
    Reasoning About Quantum Systems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:239-251 [Conf]
  45. 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]
  46. 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]
  47. Hans-Dieter Ehrich, Amílcar Sernadas
    Algebraic Implementation of Objects over Objects. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:239-266 [Conf]
  48. Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas
    Constructing Systems as Object Communities. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:453-467 [Conf]
  49. 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]
  50. Hugo Lourenço, Amílcar Sernadas
    An Institution of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:219-236 [Conf]
  51. Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
    Realization of Probabilistic Automata: Categorial Approach. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:237-251 [Conf]
  52. Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas
    Combining Logics: Parchments Revisited. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:48-70 [Conf]
  53. Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas
    Parameterisation of Logics. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:48-62 [Conf]
  54. Jaime Ramos, Amílcar Sernadas
    The Situation and State Calculus versus Branching Temporal Logic. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:293-309 [Conf]
  55. 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]
  56. 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]
  57. 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]
  58. Amílcar Sernadas
    SYSTEMATICS: Its Syntax and Semantics as a Query Language (1). [Citation Graph (0, 0)][DBLP]
    Comput. J., 1981, v:24, n:1, pp:56-61 [Journal]
  59. Amílcar Sernadas
    SYSTEMATICS: Its Syntax and Semantics as a Query Language (2). [Citation Graph (0, 0)][DBLP]
    Comput. J., 1981, v:24, n:2, pp:125-129 [Journal]
  60. 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]
  61. 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]
  62. Rohit Chadha, Paulo Mateus, Amílcar Sernadas
    Reasoning About Imperative Quantum Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:19-39 [Journal]
  63. Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa
    Nonsequential Automata Semantics for a Concurrent, Object-Based Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:14, n:, pp:- [Journal]
  64. José Carmo, Amílcar Sernadas
    Branching versus Linear Logics Yet Again. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1990, v:2, n:1, pp:24-59 [Journal]
  65. José Félix Costa, Amílcar Sernadas
    Progress Assumption in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:1, pp:18-36 [Journal]
  66. Paulo Mateus, Amílcar Sernadas
    Weakly complete axiomatization of exogenous quantum propositional logic. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:5, pp:771-794 [Journal]
  67. 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]
  68. 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]
  69. 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]
  70. 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]
  71. José Carmo, Amílcar Sernadas
    Formal techniques for systems specification and verification. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 1991, v:16, n:3, pp:245-272 [Journal]
  72. 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]
  73. 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]
  74. 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]
  75. Amílcar Sernadas
    Fibring Logics, Dov M. Gabbay. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2000, v:9, n:4, pp:511-513 [Journal]
  76. Carlos Caleiro, Gunter Saake, Amílcar Sernadas
    Deriving Liveness Goals from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:22, n:5/6, pp:521-553 [Journal]
  77. 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]
  78. 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]
  79. Renwei Li, Amílcar Sernadas
    Reasoning about Objects Using a Tableau Method. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:5, pp:575-611 [Journal]
  80. José Luiz Fiadeiro, Amílcar Sernadas
    Logics of Modal Terms for Systems Specification. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1990, v:1, n:2, pp:187-227 [Journal]
  81. 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]
  82. 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]
  83. 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]
  84. 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]
  85. 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]
  86. Paulo Mateus, Amílcar Sernadas
    Weakly complete axiomatization of exogenous quantum propositional logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  87. Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas
    Reasoning about probabilistic sequential programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:379, n:1-2, pp:142-165 [Journal]

  88. Towards Model-Checking Quantum Security Protocols. [Citation Graph (, )][DBLP]


  89. One-way quantum finite automata together with classical states [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.459secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002