Maria Cristina Sales Viana Serôdio Sernadas
AuthID: R-000-ATN
1
TÃTULO: Meet-Combination of Consequence Systems
AUTORES: Gouveia, Paula; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: LOGIC AND LOGICAL PHILOSOPHY
AUTORES: Gouveia, Paula; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: LOGIC AND LOGICAL PHILOSOPHY
2
TÃTULO: Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics Full Text
AUTORES: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: STUDIA LOGICA
AUTORES: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: STUDIA LOGICA
3
TÃTULO: ON COMBINING INTUITIONISTIC AND S4 MODAL LOGIC
AUTORES: Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: BULLETIN OF THE SECTION OF LOGIC
AUTORES: Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: BULLETIN OF THE SECTION OF LOGIC
4
TÃTULO: Event-Based Time-Stamped Claim Logic
AUTORES: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
AUTORES: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
5
TÃTULO: Schema Complexity in Propositional-Based Logics Full Text
AUTORES: Ramos, J; Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2021, FONTE: MATHEMATICS, VOLUME: 9, NÚMERO: 21
AUTORES: Ramos, J; Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2021, FONTE: MATHEMATICS, VOLUME: 9, NÚMERO: 21
6
TÃTULO: Decision and optimization problems in the unreliable-circuit logic Full Text
AUTORES: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLICAÇÃO: 2017, FONTE: Logic Journal of the IGPL, VOLUME: 25, NÚMERO: 3
AUTORES: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLICAÇÃO: 2017, FONTE: Logic Journal of the IGPL, VOLUME: 25, NÚMERO: 3
7
TÃTULO: Realization of probabilistic automata: Categorical approach
AUTORES: Mateus, P; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 2000, FONTE: 14th International Workshop on Algebraic Development Techniques, WADT 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1827
AUTORES: Mateus, P; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 2000, FONTE: 14th International Workshop on Algebraic Development Techniques, WADT 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1827
8
TÃTULO: Categorial Fibring of Logics with Terms and Binding Operators
AUTORES: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLICAÇÃO: 1998, FONTE: Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
AUTORES: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLICAÇÃO: 1998, FONTE: Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
INDEXADO EM: 
DBLP
DBLP9
TÃTULO: An institution of object behaviour
AUTORES: Sernadas, A; Costa, JF ; Sernadas, C;
PUBLICAÇÃO: 1994, FONTE: 9th Workshop on Specification of Abstract Data Types joint with 4th COMPASS Workshop, 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 785 LNCS
AUTORES: Sernadas, A; Costa, JF ; Sernadas, C;
PUBLICAÇÃO: 1994, FONTE: 9th Workshop on Specification of Abstract Data Types joint with 4th COMPASS Workshop, 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 785 LNCS
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID10
TÃTULO: Data encapsulation and modularity: Three views of inheritance
AUTORES: Costa, JF ; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 1993, FONTE: 18th International Symposium on Mathematical Foundations of Computer Science, MFCS 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 711 LNCS
AUTORES: Costa, JF ; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 1993, FONTE: 18th International Symposium on Mathematical Foundations of Computer Science, MFCS 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 711 LNCS
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID