Amilcar dos Santos Costa Sernadas
AuthID: R-000-0HS
1
TITLE: Composite SVR Based Modelling of an Industrial Furnace
AUTHORS: Santos, D; Rato, L ; Goncalves, T ; Barao, M ; Costa, S; Malico, I ; Canhoto, P ;
PUBLISHED: 2020, SOURCE: 6th International Conference on Modelling and Development of Intelligent Systems (MDIS) in MODELLING AND DEVELOPMENT OF INTELLIGENT SYSTEMS, MDIS 2019, VOLUME: 1126
AUTHORS: Santos, D; Rato, L ; Goncalves, T ; Barao, M ; Costa, S; Malico, I ; Canhoto, P ;
PUBLISHED: 2020, SOURCE: 6th International Conference on Modelling and Development of Intelligent Systems (MDIS) in MODELLING AND DEVELOPMENT OF INTELLIGENT SYSTEMS, MDIS 2019, VOLUME: 1126
2
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: 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 | ResearcherID5
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
Scopus6
TITLE: Data encapsulation and modularity: Three views of inheritance
AUTHORS: Costa, JF ; Sernadas, A; Sernadas, C;
PUBLISHED: 1993, SOURCE: 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
AUTHORS: Costa, JF ; Sernadas, A; Sernadas, C;
PUBLISHED: 1993, SOURCE: 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
INDEXED IN: Scopus
Scopus7
TITLE: Object interaction
AUTHORS: Costa, JF ; Sernadas, A; Sernadas, C; Ehrich, HD;
PUBLISHED: 1992, SOURCE: 17th Symposium on Mathematical Foundations of Computer Science, MFCS 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 629 LNCS
AUTHORS: Costa, JF ; Sernadas, A; Sernadas, C; Ehrich, HD;
PUBLISHED: 1992, SOURCE: 17th Symposium on Mathematical Foundations of Computer Science, MFCS 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 629 LNCS
INDEXED IN: Scopus
Scopus8
TITLE: Formal techniques for systems specification and verification Full Text
AUTHORS: José Carmo ; Amílcar Sernadas;
PUBLISHED: 1991, SOURCE: Information Systems, VOLUME: 16, ISSUE: 3
AUTHORS: José Carmo ; Amílcar Sernadas;
PUBLISHED: 1991, SOURCE: Information Systems, VOLUME: 16, ISSUE: 3
9
TITLE: Reasoning About Objects Using a Tableau Method
AUTHORS: RENWEI LI; AMÍLCAR SERNADAS;
PUBLISHED: 1991, SOURCE: Journal of Logic and Computation - J Logic Computation, VOLUME: 1, ISSUE: 5
AUTHORS: RENWEI LI; AMÍLCAR SERNADAS;
PUBLISHED: 1991, SOURCE: Journal of Logic and Computation - J Logic Computation, VOLUME: 1, ISSUE: 5
10
TITLE: Logics of Modal Terms for Systems Specification
AUTHORS: JOSÈ FIADEIRO; AMÌLCAR SERNADAS;
PUBLISHED: 1990, SOURCE: Journal of Logic and Computation - J Logic Computation, VOLUME: 1, ISSUE: 2
AUTHORS: JOSÈ FIADEIRO; AMÌLCAR SERNADAS;
PUBLISHED: 1990, SOURCE: Journal of Logic and Computation - J Logic Computation, VOLUME: 1, ISSUE: 2
