Amilcar dos Santos Costa Sernadas
AuthID: R-000-0HS
11
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
Scopus12
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
Scopus13
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
Scopus14
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
15
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
16
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
17
TÃTULO: Inevitability in branching time
AUTORES: Carmo, J; Sernadas, A;
PUBLICAÇÃO: 1989, FONTE: International Symposium on Logical Foundations of Computer Science, 1989 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 363 LNCS
AUTORES: Carmo, J; Sernadas, A;
PUBLICAÇÃO: 1989, FONTE: International Symposium on Logical Foundations of Computer Science, 1989 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 363 LNCS
INDEXADO EM: Scopus
Scopus18
TÃTULO: Specification and verification of database dynamics
AUTORES: Jos� Fiadeiro; Am�lcar Sernadas;
PUBLICAÇÃO: 1988, FONTE: Acta Informatica, VOLUME: 25, NÚMERO: 6
AUTORES: Jos� Fiadeiro; Am�lcar Sernadas;
PUBLICAÇÃO: 1988, FONTE: Acta Informatica, VOLUME: 25, NÚMERO: 6
