Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Publicações Confirmadas: 88



61
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
62
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
63
TÍTULO: A CATEGORIAL THEORY OF OBJECTS AS OBSERVED PROCESSES
AUTORES: EHRICH, HD; GOGUEN, JA; SERNADAS, A ;
PUBLICAÇÃO: 1991, FONTE: SCHOOL/WORKSHOP ON RESEARCH AND EDUCATION IN CONCURRENT SYSTEMS ORIENTED LANGUAGES in FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES: REX SCHOOL/WORKSHOP, VOLUME: 489
INDEXADO EM: WOS
NO MEU: ResearcherID
64
TÍTULO: A CATEGORIAL THEORY OF OBJECTS AS OBSERVED PROCESSES
AUTORES: EHRICH, HD; GOGUEN, JA; SERNADAS, A ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 489
INDEXADO EM: WOS
NO MEU: ResearcherID
65
TÍTULO: FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION  Full Text
AUTORES: CARMO, J ; SERNADAS, A ;
PUBLICAÇÃO: 1991, FONTE: INFORMATION SYSTEMS, VOLUME: 16, NÚMERO: 3
INDEXADO EM: Scopus WOS
NO MEU: ResearcherID
66
TÍTULO: Reasoning about objects using a tableau method
AUTORES: Li, R; Sernadas, A ;
PUBLICAÇÃO: 1991, FONTE: Journal of Logic and Computation, VOLUME: 1, NÚMERO: 5
INDEXADO EM: Scopus
67
TÍTULO: ALGEBRAIC IMPLEMENTATION OF OBJECTS OVER OBJECTS
AUTORES: EHRICH, HD; SERNADAS, A ;
PUBLICAÇÃO: 1990, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 430
INDEXADO EM: WOS
NO MEU: ResearcherID
68
TÍTULO: AN OBJECT-ORIENTED SPECIFICATION TOOL FOR GRAPHICAL INTERFACES  Full Text
AUTORES: SOUSA, JP; SERNADAS, C ; SERNADAS, A ;
PUBLICAÇÃO: 1990, FONTE: COMPUTERS & GRAPHICS, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
69
TÍTULO: Branching versus linear logics yet again
AUTORES: Carmo, J ; Sernadas, A ;
PUBLICAÇÃO: 1990, FONTE: Formal Aspects of Computing, VOLUME: 2, NÚMERO: 1
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID
70
TÍTULO: Logics of modal terms for systems specification
AUTORES: Fiadeiro, J; Sernadas, A ;
PUBLICAÇÃO: 1990, FONTE: Journal of Logic and Computation, VOLUME: 1, NÚMERO: 2
INDEXADO EM: Scopus
Página 7 de 9. Total de resultados: 88.

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

Links Úteis

Ajuda

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