Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Publicações Confirmadas: 86



41
TÍTULO: Non-determinism and uncertainty in the situation calculus  Full Text
AUTORES: Pinto, J; Sernadas, A ; Sernadas, C ; Mateus, P ;
PUBLICAÇÃO: 2000, FONTE: 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, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
42
TÍTULO: Fibring of logics as a categorial construction
AUTORES: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLICAÇÃO: 1999, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 9, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 44
NO MEU: ORCID
43
TÍTULO: Parameterisation of logics  Full Text
AUTORES: Caleiro, C ; Sernadas, C ; Sernadas, A ;
PUBLICAÇÃO: 1999, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef
44
TÍTULO: Precategories for combining probabilistic automata
AUTORES: Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 1999, FONTE: CTCS '99, Conference on Category Theory and Computer Science in Electronic Notes in Theoretical Computer Science, VOLUME: 29
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
45
TÍTULO: The situation and state calculus versus branching temporal logic  Full Text
AUTORES: Ramos, J ; Sernadas, A ;
PUBLICAÇÃO: 1999, FONTE: 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
INDEXADO EM: WOS
NO MEU: ResearcherID
46
TÍTULO: Denotational semantics of object specification  Full Text
AUTORES: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLICAÇÃO: 1998, FONTE: ACTA INFORMATICA, VOLUME: 35, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
47
TÍTULO: Nonsequential automata semantics for a concurrent, object-based language
AUTORES: Menezes, PB; Sernadas, A ; Costa, JF ;
PUBLICAÇÃO: 1998, FONTE: US-Brazil Joint Workshops on the Formal Foundations of Software Systems in Electronic Notes in Theoretical Computer Science, VOLUME: 14
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
48
TÍTULO: Synchronization of Logics
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; Carlos Caleiro ;
PUBLICAÇÃO: 1997, FONTE: Stud Logica, VOLUME: 59, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
49
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
50
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 DBLP
NO MEU: ORCID
Página 5 de 9. Total de resultados: 86.

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

Links Úteis

Ajuda

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