Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Confirmed Publications: 83



61
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
62
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
63
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
64
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
65
TITLE: Formal specification of object systems
AUTHORS: Jungclaus, R; Saake, G; Sernadas, C ;
PUBLISHED: 1991, SOURCE: 4th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1991 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 494 LNCS
INDEXED IN: Scopus CrossRef: 20
IN MY: ORCID
66
TITLE: FORMAL SPECIFICATION OF OBJECT SYSTEMS
AUTHORS: JUNGCLAUS, R; SAAKE, G; SERNADAS, C ;
PUBLISHED: 1991, SOURCE: 4TH INTERNATIONAL JOINT CONF ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT in TAPSOFT 91, VOL 2: ADVANCES IN DISTRIBUTED COMPUTING ( ADC ) AND COLLOQUIUM ON COMBINING PARADIGMS FOR SOFTWARE DEVELOPMENT ( CCPSD ), VOLUME: 494
INDEXED IN: WOS
IN MY: ResearcherID
67
TITLE: FORMAL SPECIFICATION OF OBJECT SYSTEMS
AUTHORS: JUNGCLAUS, R; SAAKE, G; SERNADAS, C ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 494
INDEXED IN: WOS
IN MY: ResearcherID
68
TITLE: Towards object-oriented conceptual modeling  Full Text
AUTHORS: Sernadas, C ; Fiadeiro, J;
PUBLISHED: 1991, SOURCE: Data and Knowledge Engineering, VOLUME: 6, ISSUE: 6
INDEXED IN: Scopus CrossRef: 12
IN MY: ORCID
69
TITLE: AN OBJECT-ORIENTED SPECIFICATION TOOL FOR GRAPHICAL INTERFACES  Full Text
AUTHORS: SOUSA, JP; SERNADAS, C ; SERNADAS, A ;
PUBLISHED: 1990, SOURCE: COMPUTERS & GRAPHICS, VOLUME: 14, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
70
TITLE: MODULAR CONSTRUCTION OF LOGIC KNOWLEDGE BASES - AN ALGEBRAIC APPROACH  Full Text
AUTHORS: SERNADAS, C ; FIADEIRO, J; SERNADAS, A ;
PUBLISHED: 1990, SOURCE: INFORMATION SYSTEMS, VOLUME: 15, ISSUE: 1
INDEXED IN: WOS
IN MY: ResearcherID
Page 7 of 9. Total results: 83.

A place for researchers and their institutions

Useful Links

Get Help

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