Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Confirmed Publications: 86



41
TITLE: Non-determinism and uncertainty in the situation calculus  Full Text
AUTHORS: Pinto, J; Sernadas, A ; Sernadas, C ; Mateus, P ;
PUBLISHED: 2000, SOURCE: Symposium on Special Tack on Uncetain Reasoning Held at the 12th Intenational FLAIRS Conference in INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, VOLUME: 8, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
42
TITLE: Fibring of logics as a categorial construction
AUTHORS: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLISHED: 1999, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 9, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 44
IN MY: ORCID
43
TITLE: Parameterisation of logics  Full Text
AUTHORS: Caleiro, C ; Sernadas, C ; Sernadas, A ;
PUBLISHED: 1999, SOURCE: 13th International Workshop on Algebraic Development Techniques at the 1st European Joint Conferences on Theory and Practice of Software in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1589
INDEXED IN: Scopus WOS DBLP CrossRef
44
TITLE: Precategories for combining probabilistic automata
AUTHORS: Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 1999, SOURCE: CTCS '99, Conference on Category Theory and Computer Science in Electronic Notes in Theoretical Computer Science, VOLUME: 29
INDEXED IN: Scopus CrossRef
IN MY: ORCID
45
TITLE: The situation and state calculus versus branching temporal logic  Full Text
AUTHORS: Ramos, J ; Sernadas, A ;
PUBLISHED: 1999, SOURCE: 13th International Workshop on Algebraic Development Techiniques at the 1st European Joint Conferences on Theory and Practice of Software in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1589
INDEXED IN: WOS
IN MY: ResearcherID
46
TITLE: Denotational semantics of object specification  Full Text
AUTHORS: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLISHED: 1998, SOURCE: ACTA INFORMATICA, VOLUME: 35, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
47
TITLE: Nonsequential automata semantics for a concurrent, object-based language
AUTHORS: Menezes, PB; Sernadas, A ; Costa, JF ;
PUBLISHED: 1998, SOURCE: US-Brazil Joint Workshops on the Formal Foundations of Software Systems in Electronic Notes in Theoretical Computer Science, VOLUME: 14
INDEXED IN: Scopus CrossRef
IN MY: ORCID
48
TITLE: Synchronization of Logics
AUTHORS: Amílcar Sernadas ; Cristina Sernadas ; Carlos Caleiro ;
PUBLISHED: 1997, SOURCE: Stud Logica, VOLUME: 59, ISSUE: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID
49
TITLE: A temporal logic approach to object certification  Full Text
AUTHORS: Sernadas, A ; Sernadas, C ; Ramos, J ;
PUBLISHED: 1996, SOURCE: DATA & KNOWLEDGE ENGINEERING, VOLUME: 19, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
50
TITLE: Deriving liveness goals from temporal logic specifications  Full Text
AUTHORS: Caleiro, C ; Saake, G; Sernadas, A ;
PUBLISHED: 1996, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 22, ISSUE: 5-6
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
Page 5 of 9. Total results: 86.

footer slogan

Useful Links

Get Help

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