Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Confirmed Publications: 79



51
TITLE: A temporal logic approach to object certification  Full Text
AUTHORS: Sernadas, A ; Sernadas, C ; Ramos, J ;
PUBLISHED: 1996, SOURCE: DATA & KNOWLEDGE ENGINEERING, VOLUME: 19, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
52
TITLE: TROLL - A language for object-oriented specification of information systems  Full Text
AUTHORS: Jungclaus, R; Saake, G; Hartmann, T; Sernadas, C ;
PUBLISHED: 1996, SOURCE: ACM TRANSACTIONS ON INFORMATION SYSTEMS, VOLUME: 14, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
53
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
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
IN MY: ORCID
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: 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
57
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
58
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
59
TITLE: ABSTRACT DATA TYPE SEMANTICS FOR MANY-SORTED OBJECT QUERY ALGEBRAS
AUTHORS: SAAKE, G; JUNGCLAUS, R; SERNADAS, C ;
PUBLISHED: 1991, SOURCE: 3RD SYMP ON MATHEMATICAL FUNDAMENTALS OF DATABASE AND KNOWLEDGE BASE SYSTEMS (MFDBS 91 ) in MFDBS 91: 3RD SYMPOSIUM ON MATHEMATICAL FUNDAMENTALS OF DATABASE AND KNOWLEDGE BASE SYSTEMS, VOLUME: 495
INDEXED IN: WOS
IN MY: ResearcherID
60
TITLE: ABSTRACT DATA TYPE SEMANTICS FOR MANY-SORTED OBJECT QUERY ALGEBRAS
AUTHORS: SAAKE, G; JUNGCLAUS, R; SERNADAS, C ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 495
INDEXED IN: WOS
IN MY: ResearcherID
Page 6 of 8. Total results: 79.

footer slogan

Useful Links

Get Help

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