Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Publicações Confirmadas: 79



51
TÍTULO: A temporal logic approach to object certification  Full Text
AUTORES: Sernadas, A ; Sernadas, C ; Ramos, J ;
PUBLICAÇÃO: 1996, FONTE: DATA & KNOWLEDGE ENGINEERING, VOLUME: 19, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
52
TÍTULO: TROLL - A language for object-oriented specification of information systems  Full Text
AUTORES: Jungclaus, R; Saake, G; Hartmann, T; Sernadas, C ;
PUBLICAÇÃO: 1996, FONTE: ACM TRANSACTIONS ON INFORMATION SYSTEMS, VOLUME: 14, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
53
TÍTULO: Object specification logic
AUTORES: Sernadas, A ; Sernadas, C ; Costa, JF ;
PUBLICAÇÃO: 1995, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 5, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
54
TÍTULO: A Theory-based Typological Notion of Institutions
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLICAÇÃO: 1994, FONTE: COMPASS/ADT, VOLUME: 906
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
55
TÍTULO: OBJECT INHERITANCE BEYOND SUBTYPING
AUTORES: COSTA, JF ; SERNADAS, A ; SERNADAS, C ;
PUBLICAÇÃO: 1994, FONTE: ACTA INFORMATICA, VOLUME: 31, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
56
TÍTULO: OBJECT INTERACTION
AUTORES: COSTA, JF ; SERNADAS, A ; SERNADAS, C ; EHRICH, HD;
PUBLICAÇÃO: 1992, FONTE: 17TH INTERNATIONAL SYMP ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE ( MFCS 92 ) in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1992, VOLUME: 629
INDEXADO EM: WOS
NO MEU: ResearcherID
57
TÍTULO: OBJECT INTERACTION
AUTORES: COSTA, JF ; SERNADAS, A ; SERNADAS, C ; EHRICH, HD;
PUBLICAÇÃO: 1992, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 629
INDEXADO EM: WOS
NO MEU: ResearcherID
58
TÍTULO: REFINEMENT - LAYERED DEFINITION OF CONCEPTUAL SCHEMATA
AUTORES: SERNADAS, C ; GOUVEIA, P; SERNADAS, A ;
PUBLICAÇÃO: 1992, FONTE: IFIP TC8/WG8.1 Working Conference on Information System Concepts: Improving the Understanding in INFORMATION SYSTEM CONCEPTS: IMPROVING THE UNDERSTANDING, VOLUME: 4
INDEXADO EM: WOS
NO MEU: ResearcherID
59
TÍTULO: ABSTRACT DATA TYPE SEMANTICS FOR MANY-SORTED OBJECT QUERY ALGEBRAS
AUTORES: SAAKE, G; JUNGCLAUS, R; SERNADAS, C ;
PUBLICAÇÃO: 1991, FONTE: 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
INDEXADO EM: WOS
NO MEU: ResearcherID
60
TÍTULO: ABSTRACT DATA TYPE SEMANTICS FOR MANY-SORTED OBJECT QUERY ALGEBRAS
AUTORES: SAAKE, G; JUNGCLAUS, R; SERNADAS, C ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 495
INDEXADO EM: WOS
NO MEU: ResearcherID
Página 6 de 8. Total de resultados: 79.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service