Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Publicações Confirmadas: 88



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: Deriving liveness goals from temporal logic specifications  Full Text
AUTORES: Caleiro, C ; Saake, G; Sernadas, A ;
PUBLICAÇÃO: 1996, FONTE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 22, NÚMERO: 5-6
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
53
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
54
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
55
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
56
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
57
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
58
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
59
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
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: 88.

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