×

Sernadas, Amilcar C.

Compute Distance To:
Author ID: sernadas.amilcar-c Recent zbMATH articles by "Sernadas, Amilcar C."
Published as: Sernadas, Amílcar; Sernadas, A.; Sernadas, Amilcar; Sernadas, Amilcar C.; Sernadas, Amlcar; Sernadas, A. C.
Homepage: https://fenix.tecnico.ulisboa.pt/homepage/ist11105
External Links: MGP · ORCID · arXiv · Google Scholar
Documents Indexed: 83 Publications since 1980, including 5 Books
1 Contribution as Editor
Biographic References: 2 Publications
Co-Authors: 32 Co-Authors with 81 Joint Publications
646 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

57 Publications have been cited 224 times in 130 Documents Cited by Year
Weakly complete axiomatization of exogenous quantum propositional logic. Zbl 1116.03021
Mateus, P.; Sernadas, A.
18
2006
Structuring theories on consequence. Zbl 0671.03020
Fiadeiro, José; Sernadas, Amílcar
17
1988
Fibring of logics as a categorial construction. Zbl 0942.03064
Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos
16
1999
Fibring: Completeness preservation. Zbl 0981.03011
Zanardo, Alberto; Sernadas, Amilcar; Sernadas, Cristina
13
2001
Exogeneous semantics approach to enriching logics. Zbl 1151.03324
Mateus, Paulo; Sernadas, Amílcar; Sernadas, Cristina
9
2005
Temporal aspects of logical procedure definition. Zbl 0444.68084
Sernadas, Amilcar
7
1980
Fibring non-truth-functional logics: Completeness preservation. Zbl 1015.03010
Caleiro, C.; Carnielli, W. A.; Coniglio, M. E.; Sernadas, A.; Sernadas, C.
7
2003
On meet-combination of logics. Zbl 1280.03034
Sernadas, A.; Sernadas, C.; Rasga, J.
7
2012
Exponentially more concise quantum recognition of non-RMM regular languages. Zbl 1401.81039
Qiu, Daowen; Li, Lvzhou; Mateus, Paulo; Sernadas, Amilcar
7
2015
From data types to object types. Zbl 0693.68010
Ehrich, Hans-Dieter; Sernadas, Amilcar; Sernadas, Cristina
6
1990
Reasoning about imperative quantum programs. Zbl 1273.03104
Chadha, R.; Mateus, P.; Sernadas, A.
6
2006
Synchronization of logics. Zbl 0882.03008
Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos
5
1997
Importing logics. Zbl 1280.03033
Rasga, João; Sernadas, Amílcar; Sernadas, Cristina
5
2012
Probabilistic situation calculus. Zbl 1314.68299
Mateus, Paulo; Pacheco, António; Pinto, Javier; Sernadas, Amílcar; Sernadas, Cristina
5
2001
Non-determinism and uncertainty in the situation calculus. Zbl 1113.68532
Pinto, Javier; Sernadas, Amílcar; Sernadas, Cristina; Mateus, Paulo
5
2000
Reasoning about probabilistic sequential programs. Zbl 1121.68028
Chadha, R.; Cruz-Filipe, L.; Mateus, P.; Sernadas, A.
5
2007
A graph-theoretic account of logics. Zbl 1189.03036
Sernadas, Amilcar; Sernadas, Cristina; Rasga, Joao; Coniglio, Marcelo
4
2009
Parameterisation of logics. Zbl 0943.03007
Caleiro, Carlos; Sernadas, Cristina; Sernadas, Amílcar
4
1999
Object specification logic. Zbl 0829.03013
Sernadas, Amílcar; Sernadas, Cristina; Costa, José Félix
4
1995
Specification and verification of database dynamics. Zbl 0627.68078
Fiadeiro, José; Sernadas, Amílcar
4
1988
Complete axiomatization of discrete-measure almost-everywhere quantification. Zbl 1157.03014
Cruz-Filipe, Luís; Rasga, João; Sernadas, Amílcar; Sernadas, Cristina
3
2008
Precategories for combining probabilistic automata. Zbl 0966.68096
Mateus, Paulo; Sernadas, Amílcar; Sernadas, Cristina
3
1999
Progress assumption in concurrent systems. Zbl 0817.68080
Costa, J. F.; Sernadas, A.
3
1995
The INFOLOG linear tense propositional logic of events and transactions. Zbl 0596.68063
Fiadeiro, José; Sernadas, Amílcar
3
1986
Logics for specifying concurrent information systems. Zbl 0905.03015
Ehrich, Hans-Dieter; Caleiro, Carlos; Sernadas, Amilcar; Denker, Grit
3
1998
Reasoning about states of probabilistic sequential programs. Zbl 1225.68112
Chadha, R.; Mateus, P.; Sernadas, A.
3
2006
Quantum institutions. Zbl 1132.03354
Caleiro, Carlos; Mateus, Paulo; Sernadas, Amilcar; Sernadas, Cristina
3
2006
Branching versus linear logics yet again. Zbl 0697.68022
Carmo, José; Sernadas, Amílcar
3
1990
Logics of modal terms for systems specification. Zbl 0723.68070
Fiadeiro, José; Sernadas, Amílcar
3
1990
Preservation of Craig interpolation by the product of matrix logics. Zbl 1284.03214
Sernadas, C.; Rasga, J.; Sernadas, A.
3
2013
Reasoning about quantum systems. Zbl 1111.81304
Mateus, P.; Sernadas, A.
3
2004
Extending classical logic for reasoning about quantum systems. Zbl 1273.03172
Chadha, Rohit; Mateus, Paulo; Sernadas, Amílcar; Sernadas, Cristina
3
2009
On graph-theoretic fibring of logics. Zbl 1193.03056
Sernadas, Amilcar; Sernadas, Cristina; Rasga, Joao; Coniglio, Marcelo
2
2009
An institution of hybrid systems. Zbl 0966.68119
Lourenço, Hugo; Sernadas, Amílcar
2
2000
Realization of probabilistic automata: Categorical approach. Zbl 0965.18003
Mateus, Paulo; Sernadas, Amílcar; Sernadas, Cristina
2
2000
Fibring logics: past, present and future. Zbl 1268.03032
Caleiro, Carlos; Sernadas, Amílcar; Sernadas, Cristina
2
2005
On combined connectives. Zbl 1280.03035
Sernadas, A.; Sernadas, C.; Rasga, J.
2
2011
Foundations of logic and theory of computation. 2nd extended ed. Zbl 1259.03006
Sernadas, Amílcar; Sernadas, Cristina
2
2012
Preservation of admissible rules when combining logics. Zbl 1397.03049
Rasga, João; Sernadas, Cristina; Sernadas, Amílcar
2
2016
Approximate reasoning about logic circuits with single-fan-out unreliable gates. Zbl 1305.03034
Sernadas, A.; Rasga, J.; Sernadas, C.; Mateus, P.
2
2014
Fibring labelled deduction systems. Zbl 1011.03002
Rasga, João; Sernadas, Amílcar; Sernadas, Cristina; Viganò, Luca
2
2002
An institution of object behaviour. Zbl 0941.03534
Sernadas, Amílcar; Costa, José Félix; Sernadas, Cristina
1
1994
Deriving liveness goals from temporal logic specifications. Zbl 0976.03036
Caleiro, C.; Saake, G.; Sernadas, A.
1
1996
Combining logics: Parchments revisited. Zbl 1043.03027
Caleiro, C.; Mateus, P.; Ramos, J.; Sernadas, A.
1
2001
A two-level temporal logic for evolving specifications. Zbl 1043.68069
Schobbens, P. Y.; Saake, G.; Sernadas, A.; Sernadas, C.
1
2002
Fibring logics with topos semantics. Zbl 1034.03015
Coniglio, Marcelo E.; Sernadas, Amilcar C.; Sernadas, Cristina S.
1
2003
Conceptual modeling abstraction mechanisms as parameterized theories in institutions. Zbl 0606.68101
Sernadas, Cristina; Sernadas, Amilcar
1
1986
Preservation by fibring of the finite model property. Zbl 1233.03034
Coniglio, M. E.; Sernadas, A.; Sernadas, C.
1
2011
Denotational semantics of object specification. Zbl 0910.68136
Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos
1
1998
Heterogeneous fibring of deductive systems via abstract proof systems. Zbl 1138.03011
Cruz-Filipe, Luís; Sernadas, Amílcar; Sernadas, Cristina
1
2008
Importing logics: soundness and completeness preservation. Zbl 1345.03052
Rasga, J.; Sernadas, A.; Sernadas, C.
1
2013
On probability and logic. Zbl 1448.03015
Sernadas, Amílcar; Rasga, João; Sernadas, Cristina
1
2017
Universality of quantum Turing machines with deterministic control. Zbl 1362.68077
Mateus, P.; Sernadas, A.; Souto, A.
1
2017
Fibring modal first-order logics: Completeness preservation. Zbl 1017.03009
Sernadas, Amilcar; Sernadas, Cristina; Zanardo, Alberto
1
2002
Fibring as biporting subsumes asymmetric combinations. Zbl 1344.03031
Rasga, J.; Sernadas, A.; Sernadas, C.
1
2014
Decision and optimization problems in the unreliable-circuit logic. Zbl 1405.03072
Rasga, J.; Sernadas, C.; Mateus, P.; Sernadas, A.
1
2017
A mathematical primer on computability. Zbl 1422.68001
Sernadas, Amílcar; Sernadas, Cristina; Rasga, João; Ramos, Jaime
1
2018
A mathematical primer on computability. Zbl 1422.68001
Sernadas, Amílcar; Sernadas, Cristina; Rasga, João; Ramos, Jaime
1
2018
On probability and logic. Zbl 1448.03015
Sernadas, Amílcar; Rasga, João; Sernadas, Cristina
1
2017
Universality of quantum Turing machines with deterministic control. Zbl 1362.68077
Mateus, P.; Sernadas, A.; Souto, A.
1
2017
Decision and optimization problems in the unreliable-circuit logic. Zbl 1405.03072
Rasga, J.; Sernadas, C.; Mateus, P.; Sernadas, A.
1
2017
Preservation of admissible rules when combining logics. Zbl 1397.03049
Rasga, João; Sernadas, Cristina; Sernadas, Amílcar
2
2016
Exponentially more concise quantum recognition of non-RMM regular languages. Zbl 1401.81039
Qiu, Daowen; Li, Lvzhou; Mateus, Paulo; Sernadas, Amilcar
7
2015
Approximate reasoning about logic circuits with single-fan-out unreliable gates. Zbl 1305.03034
Sernadas, A.; Rasga, J.; Sernadas, C.; Mateus, P.
2
2014
Fibring as biporting subsumes asymmetric combinations. Zbl 1344.03031
Rasga, J.; Sernadas, A.; Sernadas, C.
1
2014
Preservation of Craig interpolation by the product of matrix logics. Zbl 1284.03214
Sernadas, C.; Rasga, J.; Sernadas, A.
3
2013
Importing logics: soundness and completeness preservation. Zbl 1345.03052
Rasga, J.; Sernadas, A.; Sernadas, C.
1
2013
On meet-combination of logics. Zbl 1280.03034
Sernadas, A.; Sernadas, C.; Rasga, J.
7
2012
Importing logics. Zbl 1280.03033
Rasga, João; Sernadas, Amílcar; Sernadas, Cristina
5
2012
Foundations of logic and theory of computation. 2nd extended ed. Zbl 1259.03006
Sernadas, Amílcar; Sernadas, Cristina
2
2012
On combined connectives. Zbl 1280.03035
Sernadas, A.; Sernadas, C.; Rasga, J.
2
2011
Preservation by fibring of the finite model property. Zbl 1233.03034
Coniglio, M. E.; Sernadas, A.; Sernadas, C.
1
2011
A graph-theoretic account of logics. Zbl 1189.03036
Sernadas, Amilcar; Sernadas, Cristina; Rasga, Joao; Coniglio, Marcelo
4
2009
Extending classical logic for reasoning about quantum systems. Zbl 1273.03172
Chadha, Rohit; Mateus, Paulo; Sernadas, Amílcar; Sernadas, Cristina
3
2009
On graph-theoretic fibring of logics. Zbl 1193.03056
Sernadas, Amilcar; Sernadas, Cristina; Rasga, Joao; Coniglio, Marcelo
2
2009
Complete axiomatization of discrete-measure almost-everywhere quantification. Zbl 1157.03014
Cruz-Filipe, Luís; Rasga, João; Sernadas, Amílcar; Sernadas, Cristina
3
2008
Heterogeneous fibring of deductive systems via abstract proof systems. Zbl 1138.03011
Cruz-Filipe, Luís; Sernadas, Amílcar; Sernadas, Cristina
1
2008
Reasoning about probabilistic sequential programs. Zbl 1121.68028
Chadha, R.; Cruz-Filipe, L.; Mateus, P.; Sernadas, A.
5
2007
Weakly complete axiomatization of exogenous quantum propositional logic. Zbl 1116.03021
Mateus, P.; Sernadas, A.
18
2006
Reasoning about imperative quantum programs. Zbl 1273.03104
Chadha, R.; Mateus, P.; Sernadas, A.
6
2006
Reasoning about states of probabilistic sequential programs. Zbl 1225.68112
Chadha, R.; Mateus, P.; Sernadas, A.
3
2006
Quantum institutions. Zbl 1132.03354
Caleiro, Carlos; Mateus, Paulo; Sernadas, Amilcar; Sernadas, Cristina
3
2006
Exogeneous semantics approach to enriching logics. Zbl 1151.03324
Mateus, Paulo; Sernadas, Amílcar; Sernadas, Cristina
9
2005
Fibring logics: past, present and future. Zbl 1268.03032
Caleiro, Carlos; Sernadas, Amílcar; Sernadas, Cristina
2
2005
Reasoning about quantum systems. Zbl 1111.81304
Mateus, P.; Sernadas, A.
3
2004
Fibring non-truth-functional logics: Completeness preservation. Zbl 1015.03010
Caleiro, C.; Carnielli, W. A.; Coniglio, M. E.; Sernadas, A.; Sernadas, C.
7
2003
Fibring logics with topos semantics. Zbl 1034.03015
Coniglio, Marcelo E.; Sernadas, Amilcar C.; Sernadas, Cristina S.
1
2003
Fibring labelled deduction systems. Zbl 1011.03002
Rasga, João; Sernadas, Amílcar; Sernadas, Cristina; Viganò, Luca
2
2002
A two-level temporal logic for evolving specifications. Zbl 1043.68069
Schobbens, P. Y.; Saake, G.; Sernadas, A.; Sernadas, C.
1
2002
Fibring modal first-order logics: Completeness preservation. Zbl 1017.03009
Sernadas, Amilcar; Sernadas, Cristina; Zanardo, Alberto
1
2002
Fibring: Completeness preservation. Zbl 0981.03011
Zanardo, Alberto; Sernadas, Amilcar; Sernadas, Cristina
13
2001
Probabilistic situation calculus. Zbl 1314.68299
Mateus, Paulo; Pacheco, António; Pinto, Javier; Sernadas, Amílcar; Sernadas, Cristina
5
2001
Combining logics: Parchments revisited. Zbl 1043.03027
Caleiro, C.; Mateus, P.; Ramos, J.; Sernadas, A.
1
2001
Non-determinism and uncertainty in the situation calculus. Zbl 1113.68532
Pinto, Javier; Sernadas, Amílcar; Sernadas, Cristina; Mateus, Paulo
5
2000
An institution of hybrid systems. Zbl 0966.68119
Lourenço, Hugo; Sernadas, Amílcar
2
2000
Realization of probabilistic automata: Categorical approach. Zbl 0965.18003
Mateus, Paulo; Sernadas, Amílcar; Sernadas, Cristina
2
2000
Fibring of logics as a categorial construction. Zbl 0942.03064
Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos
16
1999
Parameterisation of logics. Zbl 0943.03007
Caleiro, Carlos; Sernadas, Cristina; Sernadas, Amílcar
4
1999
Precategories for combining probabilistic automata. Zbl 0966.68096
Mateus, Paulo; Sernadas, Amílcar; Sernadas, Cristina
3
1999
Logics for specifying concurrent information systems. Zbl 0905.03015
Ehrich, Hans-Dieter; Caleiro, Carlos; Sernadas, Amilcar; Denker, Grit
3
1998
Denotational semantics of object specification. Zbl 0910.68136
Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos
1
1998
Synchronization of logics. Zbl 0882.03008
Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos
5
1997
Deriving liveness goals from temporal logic specifications. Zbl 0976.03036
Caleiro, C.; Saake, G.; Sernadas, A.
1
1996
Object specification logic. Zbl 0829.03013
Sernadas, Amílcar; Sernadas, Cristina; Costa, José Félix
4
1995
Progress assumption in concurrent systems. Zbl 0817.68080
Costa, J. F.; Sernadas, A.
3
1995
An institution of object behaviour. Zbl 0941.03534
Sernadas, Amílcar; Costa, José Félix; Sernadas, Cristina
1
1994
From data types to object types. Zbl 0693.68010
Ehrich, Hans-Dieter; Sernadas, Amilcar; Sernadas, Cristina
6
1990
Branching versus linear logics yet again. Zbl 0697.68022
Carmo, José; Sernadas, Amílcar
3
1990
Logics of modal terms for systems specification. Zbl 0723.68070
Fiadeiro, José; Sernadas, Amílcar
3
1990
Structuring theories on consequence. Zbl 0671.03020
Fiadeiro, José; Sernadas, Amílcar
17
1988
Specification and verification of database dynamics. Zbl 0627.68078
Fiadeiro, José; Sernadas, Amílcar
4
1988
The INFOLOG linear tense propositional logic of events and transactions. Zbl 0596.68063
Fiadeiro, José; Sernadas, Amílcar
3
1986
Conceptual modeling abstraction mechanisms as parameterized theories in institutions. Zbl 0606.68101
Sernadas, Cristina; Sernadas, Amilcar
1
1986
Temporal aspects of logical procedure definition. Zbl 0444.68084
Sernadas, Amilcar
7
1980
all top 5

Cited by 170 Authors

19 Sernadas, Cristina S.
18 Sernadas, Amilcar C.
14 Rasga, João
9 Mateus, Paulo C.
5 Aiguier, Marc
5 Costa, José Félix
5 Feng, Yuan
5 Fiadeiro, José Luiz
5 Li, Lvzhou
5 Voutsadakis, George
5 Ying, Mingsheng
4 Baltazar, Pedro
4 Caleiro, Carlos
4 Carnielli, Walter Alexandre
4 Martins, Manuel António
4 Qiu, Daowen
4 Tarlecki, Andrzej
4 Veloso, Paulo Augusto S.
3 Belle, Vaishak
3 Diaconescu, Răzvan
3 Gonçalves, Ricardo
3 Levesque, Hector J.
3 Li, Yangjia
3 Sannella, Donald T.
3 Veloso, Sheila R. M.
3 Zheng, Shenggen
2 Artikis, Alexander
2 Bloch, Isabelle
2 Carmo, José M. C. L. M.
2 Chadha, Rohit
2 Coniglio, Marcelo Esteban
2 Ehrich, Hans-Dieter
2 Gruska, Jozef
2 Guerra, Hélia
2 Harper, Robert
2 Hermida, Claudio
2 Luo, Xudong
2 Maibaum, Thomas Stephen Edward
2 Mossakowski, Till
2 Nagarajan, Rajagopal
2 Paliouras, Georgios
2 Ramos, Jaime
2 Saake, Gunter
2 Viganò, Luca
2 Yu, Nengkun
2 Zhang, Chengqi
1 Adão, Pedro
1 Allwein, Gerard
1 Arapis, Constantin
1 Atif, Jamal
1 Bahrami, Diane
1 Baier, Jorge A.
1 Barbier, Franck
1 Barbosa, Luís Soares
1 Basin, David A.
1 Benevides, Mario R. F.
1 Bergfeld, Jort Martinus
1 Bhatia, Amandeep Singh
1 Bidoit, Nicole
1 Bikakis, Antonis
1 Bisconti, Cristian
1 Blanqui, Frédéric
1 Bolotin, Arkady
1 Cerioli, Maura
1 Chao, Fei
1 Chen, Jianxin
1 Corallo, Angelo
1 Costa-Leite, Alexandre Fernandes Batista
1 Costa, Gerardo
1 Cruz-Filipe, Luís
1 D’Asaro, Fabio Aurelio
1 Davvaz, Bijan
1 de Amo, Sandra
1 de Souza, Edelcio G.
1 Denniston, Jeffrey T.
1 Devries, Edsko
1 Dias, Diogo H. B.
1 Dickens, Luke
1 Duan, Runyao
1 Duarte, Carlos H. C.
1 Fernández, Víctor L.
1 Fortunato, Laura
1 Fuenmayor, David
1 Gaifman, Haim
1 Gay, Simon J.
1 Gentile, Antonio
1 Haghverdi, Esfandiar
1 Harrison, William L.
1 Hense, Andreas V.
1 Hilty, Manuel
1 Hirsch, Robin
1 Hodkinson, Ian Martin
1 Hofmann, Dirk
1 Huang, Zhongqiang
1 Hubaux, Jean-Pierre
1 Hudelot, Céline
1 Hülsmann, Klaus
1 Jennings, Nicholas R.
1 Jiang, Min
1 Jones, Andrew J. I.
...and 70 more Authors
all top 5

Cited in 40 Serials

17 Theoretical Computer Science
11 Studia Logica
8 Information Processing Letters
7 Logica Universalis
5 Formal Aspects of Computing
5 Journal of Applied Non-Classical Logics
4 Acta Informatica
4 Annals of Mathematics and Artificial Intelligence
3 Artificial Intelligence
3 Information and Computation
3 MSCS. Mathematical Structures in Computer Science
3 The Review of Symbolic Logic
3 Journal of Logical and Algebraic Methods in Programming
2 Fuzzy Sets and Systems
2 The Journal of Symbolic Logic
2 Annals of Pure and Applied Logic
2 Mathematical Logic Quarterly (MLQ)
2 The Bulletin of Symbolic Logic
2 The Journal of Logic and Algebraic Programming
2 ACM Transactions on Computational Logic
2 Journal of Applied Logic
1 International Journal of Theoretical Physics
1 International Journal of Computer & Information Sciences
1 Journal of Computer and System Sciences
1 Notre Dame Journal of Formal Logic
1 Siberian Mathematical Journal
1 Bulletin of the Section of Logic
1 Journal of Automated Reasoning
1 International Journal of Approximate Reasoning
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Journal of Functional Programming
1 Soft Computing
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Concurrency and Computation: Practice & Experience
1 International Journal of Quantum Information
1 Foundations of Physics
1 São Paulo Journal of Mathematical Sciences
1 Advances in Mathematical Physics
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Mathematics

Citations by Year