Maria Cristina Sales Viana Serôdio Sernadas
AuthID: R-000-ATN
1
TITLE: Conservative Translations Revisited Full Text
AUTHORS: Ramos, J.; Rasga, J.; Sernadas, C.;
PUBLISHED: 2022, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC
AUTHORS: Ramos, J.; Rasga, J.; Sernadas, C.;
PUBLISHED: 2022, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC
INDEXED IN: 
WOS
WOS2
TITLE: Event-Based Time-Stamped Claim Logic
AUTHORS: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
AUTHORS: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
INDEXED IN: 
Scopus WOS
Scopus WOS3
TITLE: Time-stamped claim logic
AUTHORS: Rasga, J; Sernadas, C; Karafili, E; Vigano, L;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 3
AUTHORS: Rasga, J; Sernadas, C; Karafili, E; Vigano, L;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 3
INDEXED IN: WOS
WOS4
TITLE: REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET-COMBINATION
AUTHORS: Rasga, J; Sernadas, C; Carnielli, W;
PUBLISHED: 2021, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, ISSUE: 1
AUTHORS: Rasga, J; Sernadas, C; Carnielli, W;
PUBLISHED: 2021, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, ISSUE: 1
INDEXED IN: WOS
WOS5
TITLE: Schema Complexity in Propositional-Based Logics Full Text
AUTHORS: Ramos, J; Rasga, J; Sernadas, C;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 21
AUTHORS: Ramos, J; Rasga, J; Sernadas, C;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 21
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: Essential Structure of Proofs as a Measure of Complexity Full Text
AUTHORS: Jaime Ramos; Joao Rasga; Cristina Sernadas;
PUBLISHED: 2020, SOURCE: LOGICA UNIVERSALIS, VOLUME: 14, ISSUE: 2
AUTHORS: Jaime Ramos; Joao Rasga; Cristina Sernadas;
PUBLISHED: 2020, SOURCE: LOGICA UNIVERSALIS, VOLUME: 14, ISSUE: 2
INDEXED IN: WOS
WOS7
TITLE: Decision and optimization problems in the unreliable-circuit logic Full Text
AUTHORS: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLISHED: 2017, SOURCE: Logic Journal of the IGPL, VOLUME: 25, ISSUE: 3
AUTHORS: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLISHED: 2017, SOURCE: Logic Journal of the IGPL, VOLUME: 25, ISSUE: 3
8
TITLE: Realization of probabilistic automata: Categorical approach
AUTHORS: Mateus, P; Sernadas, A; Sernadas, C;
PUBLISHED: 2000, SOURCE: 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
AUTHORS: Mateus, P; Sernadas, A; Sernadas, C;
PUBLISHED: 2000, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID9
TITLE: Categorial Fibring of Logics with Terms and Binding Operators
AUTHORS: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLISHED: 1998, SOURCE: Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
AUTHORS: Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski;
PUBLISHED: 1998, SOURCE: Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
INDEXED IN: 
DBLP
DBLP10
TITLE: An institution of object behaviour
AUTHORS: Sernadas, A; Costa, JF ; Sernadas, C;
PUBLISHED: 1994, SOURCE: 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
AUTHORS: Sernadas, A; Costa, JF ; Sernadas, C;
PUBLISHED: 1994, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID