Amilcar dos Santos Costa Sernadas
AuthID: R-000-0HS
1
TÃTULO: Composite SVR Based Modelling of an Industrial Furnace
AUTORES: Santos, D; Rato, L ; Goncalves, T ; Barao, M ; Costa, S; Malico, I ; Canhoto, P ;
PUBLICAÇÃO: 2020, FONTE: 6th International Conference on Modelling and Development of Intelligent Systems (MDIS) in MODELLING AND DEVELOPMENT OF INTELLIGENT SYSTEMS, MDIS 2019, VOLUME: 1126
AUTORES: Santos, D; Rato, L ; Goncalves, T ; Barao, M ; Costa, S; Malico, I ; Canhoto, P ;
PUBLICAÇÃO: 2020, FONTE: 6th International Conference on Modelling and Development of Intelligent Systems (MDIS) in MODELLING AND DEVELOPMENT OF INTELLIGENT SYSTEMS, MDIS 2019, VOLUME: 1126
2
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
3
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 CrossRef4
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 | ResearcherID5
TÃTULO: An institution of object behaviour
AUTORES: Sernadas, A; Costa, JF ; Sernadas, C;
PUBLICAÇÃO: 1994, FONTE: 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
AUTORES: Sernadas, A; Costa, JF ; Sernadas, C;
PUBLICAÇÃO: 1994, FONTE: 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
INDEXADO EM: Scopus
Scopus6
TÃTULO: Data encapsulation and modularity: Three views of inheritance
AUTORES: Costa, JF ; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 1993, FONTE: 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
AUTORES: Costa, JF ; Sernadas, A; Sernadas, C;
PUBLICAÇÃO: 1993, FONTE: 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
INDEXADO EM: Scopus
Scopus7
TÃTULO: Object interaction
AUTORES: Costa, JF ; Sernadas, A; Sernadas, C; Ehrich, HD;
PUBLICAÇÃO: 1992, FONTE: 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
AUTORES: Costa, JF ; Sernadas, A; Sernadas, C; Ehrich, HD;
PUBLICAÇÃO: 1992, FONTE: 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
INDEXADO EM: Scopus
Scopus8
TÃTULO: Formal techniques for systems specification and verification Full Text
AUTORES: José Carmo ; Amílcar Sernadas;
PUBLICAÇÃO: 1991, FONTE: Information Systems, VOLUME: 16, NÚMERO: 3
AUTORES: José Carmo ; Amílcar Sernadas;
PUBLICAÇÃO: 1991, FONTE: Information Systems, VOLUME: 16, NÚMERO: 3
9
TÃTULO: Reasoning About Objects Using a Tableau Method
AUTORES: RENWEI LI; AMÍLCAR SERNADAS;
PUBLICAÇÃO: 1991, FONTE: Journal of Logic and Computation - J Logic Computation, VOLUME: 1, NÚMERO: 5
AUTORES: RENWEI LI; AMÍLCAR SERNADAS;
PUBLICAÇÃO: 1991, FONTE: Journal of Logic and Computation - J Logic Computation, VOLUME: 1, NÚMERO: 5
10
TÃTULO: Logics of Modal Terms for Systems Specification
AUTORES: JOSÈ FIADEIRO; AMÌLCAR SERNADAS;
PUBLICAÇÃO: 1990, FONTE: Journal of Logic and Computation - J Logic Computation, VOLUME: 1, NÚMERO: 2
AUTORES: JOSÈ FIADEIRO; AMÌLCAR SERNADAS;
PUBLICAÇÃO: 1990, FONTE: Journal of Logic and Computation - J Logic Computation, VOLUME: 1, NÚMERO: 2
