Jose Felix Gomes da Costa


AuthID: R-000-89W

Confirmed Publications: 77



71
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
INDEXED IN: Scopus
72
TITLE: OBJECT INHERITANCE BEYOND SUBTYPING
AUTHORS: COSTA, JF ; SERNADAS, A ; SERNADAS, C ;
PUBLISHED: 1994, SOURCE: ACTA INFORMATICA, VOLUME: 31, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
73
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
INDEXED IN: Scopus
74
TITLE: PROCESS SEMANTICS OF TEMPORAL LOGIC SPECIFICATION
AUTHORS: FIADEIRO, JL; COSTA, JF ; SERNADAS, A ; MAIBAUM, TSE;
PUBLISHED: 1993, SOURCE: 8TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES / 3RD COMPASS WORKSHOP in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 655
INDEXED IN: WOS
75
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
INDEXED IN: Scopus
76
TITLE: OBJECT INTERACTION
AUTHORS: COSTA, JF ; SERNADAS, A ; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1992, SOURCE: 17TH INTERNATIONAL SYMP ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE ( MFCS 92 ) in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1992, VOLUME: 629
INDEXED IN: WOS
77
TITLE: OBJECT INTERACTION
AUTHORS: COSTA, JF ; SERNADAS, A ; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1992, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 629
INDEXED IN: WOS
Page 8 of 8. Total results: 77.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service