Amilcar dos Santos Costa Sernadas
AuthID: R-000-0HS
1
TITLE: On probability and logic
AUTHORS: Amilcar Sernadas; Joao Rasga; Cristina Sernadas ;
PUBLISHED: 2017, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 74, ISSUE: 4
AUTHORS: Amilcar Sernadas; Joao Rasga; Cristina Sernadas ;
PUBLISHED: 2017, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 74, ISSUE: 4
2
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
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef3
TITLE: Exponentially more concise quantum recognition of non-RMM regular languages Full Text
AUTHORS: Qiu, DW; Li, LZ; Mateus, P; Sernadas, A;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 2
AUTHORS: Qiu, DW; Li, LZ; Mateus, P; Sernadas, A;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 2
IN MY: 
ORCID | 
ResearcherID
ORCID | ResearcherID4
TITLE: Quantum Institutions
AUTHORS: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2006, SOURCE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
AUTHORS: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2006, SOURCE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
INDEXED IN: 
DBLP
DBLP5
TITLE: Fibring Logics: Past, Present and Future
AUTHORS: Carlos Caleiro; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2005, SOURCE: We Will Show Them! Essays in Honour of Dov Gabbay, Volume One
AUTHORS: Carlos Caleiro; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2005, SOURCE: We Will Show Them! Essays in Honour of Dov Gabbay, Volume One
INDEXED IN: DBLP
DBLP6
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
DBLP7
TITLE: Synchronization of logics with mixed rules: Completeness preservation
AUTHORS: Sernadas, A; Sernadas, C ; Caleiro, C;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
AUTHORS: Sernadas, A; Sernadas, C ; Caleiro, C;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXED IN: Scopus
Scopus8
TITLE: A linear temporal logic approach to objects with transactions
AUTHORS: Denker, G; Ramos, J; Caleiro, C; Sernadas, A;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
AUTHORS: Denker, G; Ramos, J; Caleiro, C; Sernadas, A;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXED IN: Scopus
Scopus9
TITLE: Synchronization of Logics with Mixed Rules: Completeness Preservation
AUTHORS: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro;
PUBLISHED: 1997, SOURCE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
AUTHORS: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro;
PUBLISHED: 1997, SOURCE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
INDEXED IN: DBLP
DBLP10
TITLE: Deriving Liveness Goals from Temporal Logic Specifications
AUTHORS: Carlos Caleiro; Gunter Saake; Amílcar Sernadas;
PUBLISHED: 1996, SOURCE: J. Symb. Comput., VOLUME: 22, ISSUE: 5/6
AUTHORS: Carlos Caleiro; Gunter Saake; Amílcar Sernadas;
PUBLISHED: 1996, SOURCE: J. Symb. Comput., VOLUME: 22, ISSUE: 5/6
INDEXED IN: DBLP
DBLP