Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Confirmed Publications: 86



61
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: ResearcherID
62
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
63
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: ResearcherID
64
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
65
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: ResearcherID
66
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
67
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
68
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
69
TITLE: MODULAR CONSTRUCTION OF LOGIC KNOWLEDGE BASES - AN ALGEBRAIC APPROACH  Full Text
AUTHORS: SERNADAS, C ; FIADEIRO, J; SERNADAS, A ;
PUBLISHED: 1990, SOURCE: INFORMATION SYSTEMS, VOLUME: 15, ISSUE: 1
INDEXED IN: WOS
IN MY: ResearcherID
70
TITLE: Modular construction of logic knowledge bases: An algebraic approach  Full Text
AUTHORS: Cristina Sernadas ; José Fiadeiro; Amílcar Sernadas ;
PUBLISHED: 1990, SOURCE: Information Systems, VOLUME: 15, ISSUE: 1
INDEXED IN: CrossRef
Page 7 of 9. Total results: 86.

footer slogan

Useful Links

Get Help

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