Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Confirmed Publications: 86



51
TITLE: Refinement mapping for general (discrete event) systems theory
AUTHORS: Menezes, PB; Costa, JF ; Sernadas, A ;
PUBLISHED: 1996, SOURCE: 5th International Workshop on Computer Aided Systems Theory, EUROCAST 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1030
INDEXED IN: Scopus
52
TITLE: Object specification logic
AUTHORS: Sernadas, A ; Sernadas, C ; Costa, JF ;
PUBLISHED: 1995, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 5, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
53
TITLE: Progress assumption in concurrent systems
AUTHORS: Costa, JF ; Sernadas, A ;
PUBLISHED: 1995, SOURCE: Formal Aspects of Computing, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
54
TITLE: A Theory-based Typological Notion of Institutions
AUTHORS: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLISHED: 1994, SOURCE: COMPASS/ADT, VOLUME: 906
INDEXED IN: Scopus DBLP CrossRef: 1
55
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 | ResearcherID
56
TITLE: OBJECTS AND THEIR SPECIFICATION
AUTHORS: EHRICH, HD; GOGOLLA, M; SERNADAS, A ;
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
IN MY: ResearcherID
57
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
IN MY: ResearcherID
58
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
IN MY: ResearcherID
59
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
IN MY: ResearcherID
60
TITLE: REFINEMENT - LAYERED DEFINITION OF CONCEPTUAL SCHEMATA
AUTHORS: SERNADAS, C ; GOUVEIA, P; SERNADAS, A ;
PUBLISHED: 1992, SOURCE: IFIP TC8/WG8.1 Working Conference on Information System Concepts: Improving the Understanding in INFORMATION SYSTEM CONCEPTS: IMPROVING THE UNDERSTANDING, VOLUME: 4
INDEXED IN: WOS
IN MY: ResearcherID
Page 6 of 9. Total results: 86.

footer slogan

Useful Links

Get Help

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