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