Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Publicações Confirmadas: 86



51
TÍTULO: Refinement mapping for general (discrete event) systems theory
AUTORES: Menezes, PB; Costa, JF ; Sernadas, A ;
PUBLICAÇÃO: 1996, FONTE: 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
INDEXADO EM: Scopus
52
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
53
TÍTULO: Progress assumption in concurrent systems
AUTORES: Costa, JF ; Sernadas, A ;
PUBLICAÇÃO: 1995, FONTE: Formal Aspects of Computing, VOLUME: 7, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
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
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: OBJECTS AND THEIR SPECIFICATION
AUTORES: EHRICH, HD; GOGOLLA, M; SERNADAS, A ;
PUBLICAÇÃO: 1993, FONTE: 8TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES / 3RD COMPASS WORKSHOP in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 655
INDEXADO EM: WOS
NO MEU: ResearcherID
57
TÍTULO: PROCESS SEMANTICS OF TEMPORAL LOGIC SPECIFICATION
AUTORES: FIADEIRO, JL; COSTA, JF ; SERNADAS, A ; MAIBAUM, TSE;
PUBLICAÇÃO: 1993, FONTE: 8TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES / 3RD COMPASS WORKSHOP in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 655
INDEXADO EM: WOS
NO MEU: ResearcherID
58
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
59
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
60
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
Página 6 de 9. Total de resultados: 86.

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