


Остановите войну!
for scientists:


default search action
Amílcar Sernadas
Person information

- affiliation: University of Lisbon, Portugal
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
- [j53]Amílcar Sernadas, João Rasga
, Cristina Sernadas
, Luís Alcácer, Alfredo Barbosa Henriques:
Probabilistic logic of quantum observations. Log. J. IGPL 27(3): 328-370 (2019) - 2017
- [j52]João Rasga
, Cristina Sernadas
, Paulo Mateus
, Amílcar Sernadas:
Decision and optimization problems in the unreliable-circuit logic. Log. J. IGPL 25(3): 283-308 (2017) - [j51]Paulo Mateus
, Amílcar Sernadas, André Souto
:
Universality of quantum Turing machines with deterministic control. J. Log. Comput. 27(1): 1-19 (2017) - 2016
- [j50]João Rasga
, Cristina Sernadas
, Amílcar Sernadas:
Preservation of Admissible Rules when Combining Logics. Rev. Symb. Log. 9(4): 641-663 (2016) - [i3]João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas:
Decision and optimization problems in the Unreliable-Circuit Logic. CoRR abs/1608.00533 (2016) - 2015
- [j49]Daowen Qiu, Lvzhou Li, Paulo Mateus
, Amílcar Sernadas
:
Exponentially more concise quantum recognition of non-RMM regular languages. J. Comput. Syst. Sci. 81(2): 359-375 (2015) - 2014
- [j48]Amílcar Sernadas
, João Rasga
, Cristina Sernadas
, Paulo Mateus
:
Approximate reasoning about logic circuits with single-fan-out unreliable gates. J. Log. Comput. 24(5): 1023-1069 (2014) - [j47]João Rasga
, Cristina Sernadas
, Amílcar Sernadas
:
Craig Interpolation in the Presence of Unreliable Connectives. Logica Universalis 8(3-4): 423-446 (2014) - [j46]João Rasga
, Amílcar Sernadas
, Cristina Sernadas
:
Fibring as Biporting Subsumes Asymmetric Combinations. Stud Logica 102(5): 1041-1074 (2014) - 2013
- [j45]Cristina Sernadas
, João Rasga
, Amílcar Sernadas
:
Preservation of Craig interpolation by the product of matrix logics. J. Appl. Log. 11(3): 328-349 (2013) - [j44]João Rasga
, Amílcar Sernadas
, Cristina Sernadas
:
Importing Logics: Soundness and Completeness Preservation. Stud Logica 101(1): 117-155 (2013) - 2012
- [j43]Amílcar Sernadas
, Cristina Sernadas
, João Rasga
:
On meet-combination of logics. J. Log. Comput. 22(6): 1453-1470 (2012) - [j42]João Rasga
, Amílcar Sernadas
, Cristina Sernadas
:
Importing Logics. Stud Logica 100(3): 545-581 (2012) - 2011
- [j41]Marcelo E. Coniglio
, Amílcar Sernadas
, Cristina Sernadas
:
Preservation by fibring of the finite model property. J. Log. Comput. 21(2): 375-402 (2011) - [j40]Amílcar Sernadas
, Cristina Sernadas
, João Rasga
:
On Combined Connectives. Logica Universalis 5(2): 205-224 (2011)
2000 – 2009
- 2009
- [j39]Amílcar Sernadas
, Cristina Sernadas
, João Rasga
, Marcelo E. Coniglio
:
A Graph-theoretic Account of Logics. J. Log. Comput. 19(6): 1281-1320 (2009) - [j38]Amílcar Sernadas
, Cristina Sernadas
, João Rasga
, Marcelo E. Coniglio
:
On Graph-theoretic Fibring of Logics. J. Log. Comput. 19(6): 1321-1357 (2009) - [i2]Daowen Qiu, Paulo Mateus, Xiangfu Zou, Amílcar Sernadas:
One-way quantum finite automata together with classical states. CoRR abs/0909.1428 (2009) - 2008
- [j37]Luís Cruz-Filipe
, Amílcar Sernadas
, Cristina Sernadas
:
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. Log. J. IGPL 16(2): 121-153 (2008) - [j36]Luís Cruz-Filipe
, João Rasga
, Amílcar Sernadas
, Cristina Sernadas
:
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. J. Log. Comput. 18(6): 885-911 (2008) - 2007
- [j35]Rohit Chadha, Luís Cruz-Filipe
, Paulo Mateus
, Amílcar Sernadas
:
Reasoning about probabilistic sequential programs. Theor. Comput. Sci. 379(1-2): 142-165 (2007) - [c56]Pedro Baltazar, Rohit Chadha, Paulo Mateus
, Amílcar Sernadas
:
Towards Model-Checking Quantum Security Protocols. ICQNM 2007: 14 - 2006
- [j34]Paulo Mateus
, Amílcar Sernadas
:
Weakly complete axiomatization of exogenous quantum propositional logic. Inf. Comput. 204(5): 771-794 (2006) - [c55]Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas:
Quantum Institutions. Essays Dedicated to Joseph A. Goguen 2006: 50-64 - [c54]Rohit Chadha, Paulo Mateus, Amílcar Sernadas:
Reasoning About States of Probabilistic Sequential Programs. CSL 2006: 240-255 - [c53]Rohit Chadha, Paulo Mateus
, Amílcar Sernadas
:
Reasoning About Imperative Quantum Programs. MFPS 2006: 19-39 - 2005
- [c52]Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas:
Fibring Logics: Past, Present and Future. We Will Show Them! (1) 2005: 363-388 - [i1]Paulo Mateus, Amílcar Sernadas:
Weakly complete axiomatization of exogenous quantum propositional logic. CoRR abs/math/0503453 (2005) - 2004
- [j33]Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò:
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. Log. J. IGPL 12(3): 227-274 (2004) - [c51]Paulo Mateus, Amílcar Sernadas:
Reasoning About Quantum Systems. JELIA 2004: 239-251 - 2003
- [j32]Cristina Sernadas
, Luca Viganò, João Rasga
, Amílcar Sernadas
:
Truth-values as Labels: A General Recipe for Labelled Deduction. J. Appl. Non Class. Logics 13(3-4): 277-315 (2003) - [j31]Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio
, Amílcar Sernadas, Cristina Sernadas:
Fibring Non-Truth-Functional Logics: Completeness Preservation. J. Log. Lang. Inf. 12(2): 183-211 (2003) - [j30]Marcelo E. Coniglio
, Amílcar Sernadas
, Cristina Sernadas
:
Fibring Logics with Topos Semantics. J. Log. Comput. 13(4): 595-624 (2003) - [j29]Paulo Mateus
, Manuel Cabral Morais
, Cláudia Nunes
, António Pacheco
, Amílcar Sernadas
, Cristina Sernadas
:
Categorical foundations for randomly timed automata. Theor. Comput. Sci. 308(1-3): 393-427 (2003) - 2002
- [j28]Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo:
Fibring Modal First-Order Logics: Completeness Preservation. Log. J. IGPL 10(4): 413-451 (2002) - [j27]Pierre-Yves Schobbens
, Gunter Saake, Amílcar Sernadas
, Cristina Sernadas
:
A two-level temporal logic for evolving specifications. Inf. Process. Lett. 83(3): 167-172 (2002) - [j26]João Rasga
, Amílcar Sernadas
, Cristina Sernadas
, Luca Viganò:
Fibring Labelled Deduction Systems. J. Log. Comput. 12(3): 443-473 (2002) - [c50]João Rasga
, Amílcar Sernadas, Cristina Sernadas, Luca Viganò:
Labelled Deduction over Algebras of Truth-Values. FroCoS 2002: 222-238 - 2001
- [j25]Paulo Mateus
, António Pacheco
, Javier Pinto, Amílcar Sernadas
, Cristina Sernadas
:
Probabilistic Situation Calculus. Ann. Math. Artif. Intell. 32(1-4): 393-431 (2001) - [j24]Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas:
Fibring: Completeness Preservation. J. Symb. Log. 66(1): 414-439 (2001) - [c49]Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas:
Combining Logics: Parchments Revisited. WADT 2001: 48-70 - 2000
- [j23]Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus
:
Non-Determinism and Uncertainty in the Situation Calculus. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 8(2): 127-150 (2000) - [j22]Amílcar Sernadas:
Fibring Logics, Dov M. Gabbay. J. Log. Lang. Inf. 9(4): 511-513 (2000)
1990 – 1999
- 1999
- [j21]Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro:
Fibring of Logics as a Categorial Construction. J. Log. Comput. 9(2): 149-179 (1999) - [c48]Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus:
Nondeterminism and Uncertainty in the Situation Calculus. FLAIRS 1999: 454-460 - [c47]Hugo Lourenço, Amílcar Sernadas:
An Institution of Hybrid Systems. WADT 1999: 219-236 - [c46]Paulo Mateus, Amílcar Sernadas, Cristina Sernadas:
Realization of Probabilistic Automata: Categorial Approach. WADT 1999: 237-251 - [c45]Paulo Mateus
, Amílcar Sernadas
, Cristina Sernadas
:
Precategories for combining probabilistic automata. CTCS 1999: 169-186 - 1998
- [j20]Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro:
Denotational Semantics of Object Specification. Acta Informatica 35(9): 729-773 (1998) - [c44]Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker:
Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems 1998: 167-198 - [c43]Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski:
Categorial Fibring of Logics with Terms and Binding Operators. FroCoS 1998: 295-316 - [c42]Carlos Caleiro
, Cristina Sernadas
, Amílcar Sernadas:
Parameterisation of Logics. WADT 1998: 48-62 - [c41]Jaime Ramos, Amílcar Sernadas:
The Situation and State Calculus versus Branching Temporal Logic. WADT 1998: 293-309 - 1997
- [j19]Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro:
Synchronization of Logics. Stud Logica 59(1): 217-247 (1997) - [c40]Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas:
A Linear Temporal Logic Approach to Objects with Transactions. AMAST 1997: 170-184 - [c39]Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro:
Synchronization of Logics with Mixed Rules: Completeness Preservation. AMAST 1997: 465-478 - [c38]Paulo Blauth Menezes, Amílcar Sernadas
, José Félix Costa
:
Nonsequential Automata Semantics for a Concurrent, Object-Based Language. US-Brazil Joint Workshops on the Formal Foundations of Software Systems 1997: 245-273 - 1996
- [j18]Amílcar Sernadas
, Cristina Sernadas
, Jaime Ramos
:
A Temporal Logic Approach to Object Certification. Data Knowl. Eng. 19(3): 267-294 (1996) - [j17]Carlos Caleiro, Gunter Saake, Amílcar Sernadas:
Deriving Liveness Goals from Temporal Logic Specifications. J. Symb. Comput. 22(5/6): 521-553 (1996) - 1995
- [j16]José Félix Costa
, Amílcar Sernadas
:
Progress Assumption in Concurrent Systems. Formal Aspects Comput. 7(1): 18-36 (1995) - [j15]Amílcar Sernadas
, Cristina Sernadas
, José Félix Costa
:
Object Specification Logic. J. Log. Comput. 5(5): 603-630 (1995) - [c37]Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas:
Refinement Mapping for General (Discrete Event) Systems Theory. EUROCAST 1995: 103-116 - 1994
- [j14]José Félix Costa
, Amílcar Sernadas
, Cristina Sernadas
:
Object Inheritance Beyond Subtyping. Acta Informatica 31(1): 5-26 (1994) - [c36]Hans-Dieter Ehrich, Amílcar Sernadas:
Local Specification of Distributed Families of Sequential Objects. COMPASS/ADT 1994: 219-235 - [c35]Amílcar Sernadas, Cristina Sernadas, José Manuel Valença:
A Theory-based Typological Notion of Institutions. COMPASS/ADT 1994: 420-436 - [c34]Amílcar Sernadas, Cristina Sernadas:
Object Certification (Invited Lecture). DAISD 1994: 55-78 - 1993
- [c33]Hans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amílcar Sernadas:
Object-Oriented Design of Information Systems: Theoretical Foundations. CISM - Advances in Database Systems 1993: 201-218 - [c32]Klemens Böhm, Amílcar Sernadas:
Real-Time Object Specification Logic. DAISD 1993: 159-173 - [c31]José Félix Costa, Amílcar Sernadas, Cristina Sernadas:
Data Encapsulation and Modularity: Three Views of Inheritance. MFCS 1993: 382-391 - [c30]Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas:
Constructing Systems as Object Communities. TAPSOFT 1993: 453-467 - 1992
- [c29]Amílcar Sernadas, José Félix Costa, Cristina Sernadas:
An Institution of Object Behaviour. COMPASS/ADT 1992: 337-351 - [c28]Cristina Sernadas, Paula Gouveia, Amílcar Sernadas:
Refinement: Layered Definition of Conceptual Schemata. ISCO 1992: 19-51 - [c27]Hans-Dieter Ehrich, Gunter Saake, Amílcar Sernadas:
Concepts of Object-Orientation. IS/KI 1992: 1-19 - [c26]José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich:
Object Interaction. MFCS 1992: 200-208 - [p1]Cristina Sernadas, Paula Gouveia, João Gouveia, Amílcar Sernadas, Pedro Resende:
The Reification Dimension in Object-oriented Data Base Design. Specifications of Database Systems 1992: 275-299 - 1991
- [j13]José Carmo
, Amílcar Sernadas
:
Formal techniques for systems specification and verification. Inf. Syst. 16(3): 245-272 (1991) - [j12]Renwei Li, Amílcar Sernadas
:
Reasoning about Objects Using a Tableau Method. J. Log. Comput. 1(5): 575-611 (1991) - [c25]Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas:
Objects and their Specification. COMPASS/ADT 1991: 40-65 - [c24]José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum:
Process Semantics of Temporal Logic Specifications. COMPASS/ADT 1991: 236-253 - [e3]Guy M. Lohman, Amílcar Sernadas, Rafael Camps:
17th International Conference on Very Large Data Bases, September 3-6, 1991, Barcelona, Catalonia, Spain, Proceedings. Morgan Kaufmann 1991, ISBN 1-55860-150-3 [contents] - 1990
- [j11]João Pedro Sousa, Cristina Sernadas
, Amílcar Sernadas:
An object-oriented specification tool for graphical interfaces. Comput. Graph. 14(1): 29-40 (1990) - [j10]Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas:
From Data Types to Object Types. J. Inf. Process. Cybern. 26(1/2): 33-48 (1990) - [j9]José Carmo
, Amílcar Sernadas
:
Branching versus Linear Logics Yet Again. Formal Aspects Comput. 2(1): 24-59 (1990) - [j8]Cristina Sernadas
, José Luiz Fiadeiro, Amílcar Sernadas:
Modular construction of logic knowledge bases: an algebraic approach. Inf. Syst. 15(1): 37-59 (1990) - [j7]José Luiz Fiadeiro, Amílcar Sernadas
:
Logics of Modal Terms for Systems Specification. J. Log. Comput. 1(2): 187-227 (1990) - [c23]Amílcar Sernadas, Hans-Dieter Ehrich:
What is an Object, After All? DS-4 1990: 39-69 - [c22]Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas:
A Categorial Theory of Objects as Observed Processes. REX Workshop 1990: 203-228
1980 – 1989
- 1989
- [c21]José Carmo, Amílcar Sernadas:
Inevitability in Branching Time. Logic at Botik 1989: 41-62 - [c20]Cristina Sernadas, José Luiz Fiadeiro, Robert Meersman, Amílcar Sernadas:
Proof-theoretic Conceptual Modeling: the NIAM Case Study. ISCO 1989: 1-30 - [c19]Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich:
The Basic Building Blocks of Information Systems. ISCO 1989: 225-246 - [c18]Hans-Dieter Ehrich, Amílcar Sernadas:
Algebraic Implementation of Objects over Objects. REX Workshop 1989: 239-266 - 1988
- [j6]José Luiz Fiadeiro, Amílcar Sernadas
:
Specification and Verification of Database Dynamics. Acta Informatica 25(6): 625-661 (1988) - [c17]Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas:
Objects and Object Types. ADT 1988 - [c16]Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas:
Objects, Object Types, and Object Identification. Categorial Methods in Computer Science 1988: 142-156 - [c15]Rogério Carapuça, Luis Andrade, Amílcar Sernadas:
A Database Design and Construction Workbench. Computerized Assistance During the Information Systems Life Cycle 1988: 261-286 - [c14]Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas:
Object-Oriented Conceptual Modeling from Law. DS-3 1988: 305-327 - [c13]José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas:
Knowledgebases as Structured Theories. FSTTCS 1988: 469-486 - [c12]Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
:
Abstract Object Types for Databases. OODBS 1988: 144-149 - [e2]Robert Meersman, Amílcar Sernadas:
Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, "Data and Knowledge" (DS-2). Albufeira, Portugal, 3-7 November, 1986. North-Holland 1988, ISBN 0-444-70528-7 [contents] - 1987
- [c11]José Luiz Fiadeiro, Amílcar Sernadas:
Structuring Theories on Consequence. ADT 1987: 44-72 - [c10]José Carmo, Amílcar Sernadas:
A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. Temporal Aspects in Information Systems 1987: 31-46 - [c9]José Luiz Fiadeiro, Amílcar Sernadas:
Behavioural Aspects of Intelligent Knowledge-Based Information Systems. Temporal Aspects in Information Systems 1987: 77-92 - [c8]Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas
, Hans-Dieter Ehrich:
Abstract Object Types: A Temporal Perspective. Temporal Logic in Specification 1987: 324-350 - [c7]Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich:
Object-Oriented Specification of Databases: An Algebraic Approach. VLDB 1987: 107-116 - 1986
- [j5]José Luiz Fiadeiro, Amílcar Sernadas:
The INFOLOG linear tense propositional logic of events and transactions. Inf. Syst. 11(1): 61-85 (1986) - [c6]Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro:
Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. ADT 1986 - [c5]Amílcar Sernadas:
Future Information Systems (Panel). IFIP Congress 1986: 641-642 - 1985
- [j4]Helder Coelho
, António Rodrigues, Amílcar Sernadas:
Towards knowledge-based infolog specifications A case study of information engineering. Decis. Support Syst. 1(2): 143-165 (1985) - [c4]Amílcar Sernadas, Cristina Sernadas:
Abstraction and Inference Mechanism for Knowledge Representation. Foundations of Knowledge Base Management (Xania) 1985: 91-116 - [c3]Cristina Sernadas, Amílcar Sernadas:
Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions. DS-1 1985: 121-140 - [c2]Amílcar Sernadas, Cristina Sernadas:
The Use of E-R Abstractions for Knowledge Representation. ER 1985: 224-231 - [e1]Amílcar Sernadas, Janis A. Bubenko Jr., Antoni Olivé:
Information Systems - Theoretical and Formal Aspects, TFAIS 1985, Proceedings of the IFIP WG8.1 Working Conference, Sitges, Spain, 16-18 April 1985. Elsevier/North-Holland 1985, ISBN 0-444-87706-1 [contents] - 1982
- [c1]Amílcar Sernadas, Graça Gaspar, José Granado:
BIPS: A Layered Predicative Query Language for a DBTG Database System. JCDKB 1982: 73-93 - 1981
- [j3]Amílcar Sernadas:
SYSTEMATICS: Its Syntax and Semantics as a Query Language (1). Comput. J. 24(1): 56-61 (1981) - [j2]Amílcar Sernadas:
SYSTEMATICS: Its Syntax and Semantics as a Query Language (2). Comput. J. 24(2): 125-129 (1981) - 1980
- [j1]Amílcar Sernadas:
Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187 (1980)