Amilcar dos Santos Costa Sernadas
AuthID: R-000-0HS
11
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
Scopus12
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
Scopus13
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
Scopus14
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
15
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
16
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
17
TITLE: Inevitability in branching time
AUTHORS: Carmo, J; Sernadas, A;
PUBLISHED: 1989, SOURCE: 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
AUTHORS: Carmo, J; Sernadas, A;
PUBLISHED: 1989, SOURCE: 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
INDEXED IN: Scopus
Scopus18
TITLE: Specification and verification of database dynamics
AUTHORS: Jos� Fiadeiro; Am�lcar Sernadas;
PUBLISHED: 1988, SOURCE: Acta Informatica, VOLUME: 25, ISSUE: 6
AUTHORS: Jos� Fiadeiro; Am�lcar Sernadas;
PUBLISHED: 1988, SOURCE: Acta Informatica, VOLUME: 25, ISSUE: 6
