Amilcar dos Santos Costa Sernadas
AuthID: R-000-0HS
11
TITLE: Synchronization of Logics with Mixed Rules: Completeness Preservation
AUTHORS: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro;
PUBLISHED: 1997, SOURCE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
AUTHORS: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro;
PUBLISHED: 1997, SOURCE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
INDEXED IN: 
DBLP
DBLP12
TITLE: Deriving Liveness Goals from Temporal Logic Specifications
AUTHORS: Carlos Caleiro; Gunter Saake; Amílcar Sernadas;
PUBLISHED: 1996, SOURCE: J. Symb. Comput., VOLUME: 22, ISSUE: 5/6
AUTHORS: Carlos Caleiro; Gunter Saake; Amílcar Sernadas;
PUBLISHED: 1996, SOURCE: J. Symb. Comput., VOLUME: 22, ISSUE: 5/6
INDEXED IN: DBLP
DBLP13
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
Scopus14
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
Scopus15
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
Scopus16
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
17
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
18
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
19
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
Scopus20
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
