Amilcar dos Santos Costa Sernadas
AuthID: R-000-0HS
1
TITLE: Probabilistic logic of quantum observations
AUTHORS: Sernadas, A; Rasga, J; Sernadas, C ; Alcacer, L; Henriques, AB;
PUBLISHED: 2019, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, ISSUE: 3
AUTHORS: Sernadas, A; Rasga, J; Sernadas, C ; Alcacer, L; Henriques, AB;
PUBLISHED: 2019, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, ISSUE: 3
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
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
3
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 CrossRef4
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: Combining Logics: Parchments Revisited
AUTHORS: Carlos Caleiro; Paulo Mateus; Jaime Ramos; Amílcar Sernadas;
PUBLISHED: 2001, SOURCE: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, VOLUME: 2267
AUTHORS: Carlos Caleiro; Paulo Mateus; Jaime Ramos; Amílcar Sernadas;
PUBLISHED: 2001, SOURCE: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, VOLUME: 2267
INDEXED IN: DBLP
DBLP7
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
Scopus8
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
DBLP9
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
Scopus10
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
Scopus