Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Confirmed Publications: 88



61
TITLE: OBJECT INTERACTION
AUTHORS: COSTA, JF ; SERNADAS, A ; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1992, SOURCE: 17TH INTERNATIONAL SYMP ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE ( MFCS 92 ) in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1992, VOLUME: 629
INDEXED IN: WOS
IN MY: ResearcherID
62
TITLE: REFINEMENT - LAYERED DEFINITION OF CONCEPTUAL SCHEMATA
AUTHORS: SERNADAS, C ; GOUVEIA, P; SERNADAS, A ;
PUBLISHED: 1992, SOURCE: IFIP TC8/WG8.1 Working Conference on Information System Concepts: Improving the Understanding in INFORMATION SYSTEM CONCEPTS: IMPROVING THE UNDERSTANDING, VOLUME: 4
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
63
TITLE: A CATEGORIAL THEORY OF OBJECTS AS OBSERVED PROCESSES
AUTHORS: EHRICH, HD; GOGUEN, JA; SERNADAS, A ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 489
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
64
TITLE: A CATEGORIAL THEORY OF OBJECTS AS OBSERVED PROCESSES
AUTHORS: EHRICH, HD; GOGUEN, JA; SERNADAS, A ;
PUBLISHED: 1991, SOURCE: SCHOOL/WORKSHOP ON RESEARCH AND EDUCATION IN CONCURRENT SYSTEMS ORIENTED LANGUAGES in FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES: REX SCHOOL/WORKSHOP, VOLUME: 489
INDEXED IN: WOS
IN MY: ResearcherID
65
TITLE: FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION  Full Text
AUTHORS: CARMO, J ; SERNADAS, A ;
PUBLISHED: 1991, SOURCE: INFORMATION SYSTEMS, VOLUME: 16, ISSUE: 3
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
66
TITLE: Reasoning about objects using a tableau method
AUTHORS: Li, R; Sernadas, A ;
PUBLISHED: 1991, SOURCE: Journal of Logic and Computation, VOLUME: 1, ISSUE: 5
INDEXED IN: Scopus
IN MY: ORCID
67
TITLE: ALGEBRAIC IMPLEMENTATION OF OBJECTS OVER OBJECTS
AUTHORS: EHRICH, HD; SERNADAS, A ;
PUBLISHED: 1990, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 430
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
68
TITLE: AN OBJECT-ORIENTED SPECIFICATION TOOL FOR GRAPHICAL INTERFACES  Full Text
AUTHORS: SOUSA, JP; SERNADAS, C ; SERNADAS, A ;
PUBLISHED: 1990, SOURCE: COMPUTERS & GRAPHICS, VOLUME: 14, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
69
TITLE: Branching versus linear logics yet again
AUTHORS: Carmo, J ; Sernadas, A ;
PUBLISHED: 1990, SOURCE: Formal Aspects of Computing, VOLUME: 2, ISSUE: 1
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID
70
TITLE: Logics of modal terms for systems specification
AUTHORS: Fiadeiro, J; Sernadas, A ;
PUBLISHED: 1990, SOURCE: Journal of Logic and Computation, VOLUME: 1, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID
Page 7 of 9. Total results: 88.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service