Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Publicações Confirmadas: 83



51
TÍTULO: Parameterisation of Logics
AUTORES: Carlos Caleiro ; Cristina Sernadas ; Amílcar Sernadas ;
PUBLICAÇÃO: 1998, FONTE: 13th International Workshop on Algebraic Development Techniques, WADT 1998 in Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, VOLUME: 1589
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
52
TÍTULO: Synchronization of Logics  Full Text
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; Carlos Caleiro ;
PUBLICAÇÃO: 1997, FONTE: Studia Logica, VOLUME: 59, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
53
TÍTULO: Synchronization of Logics with Mixed Rules: Completeness Preservation
AUTORES: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro;
PUBLICAÇÃO: 1997, FONTE: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
INDEXADO EM: DBLP
54
TÍTULO: Synchronization of logics with mixed rules: Completeness preservation
AUTORES: Sernadas, A; Sernadas, C ; Caleiro, C;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXADO EM: Scopus
NO MEU: ORCID
55
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
56
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
57
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
58
TÍTULO: A Theory-based Typological Notion of Institutions
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLICAÇÃO: 1994, FONTE: 10th Workshop on Specification of Abstract Data Types was held Joint with the 5th COMPASS Workshop, 1994 in Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, VOLUME: 906
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
59
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
60
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
Página 6 de 9. Total de resultados: 83.

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

Links Úteis

Ajuda

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