Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Publicações Confirmadas: 88



21
TÍTULO: Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems  Full Text
AUTORES: Cruz-Filipe, L; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2007, FONTE: Logic Journal of IGPL, VOLUME: 16, NÚMERO: 2
INDEXADO EM: CrossRef
NO MEU: ORCID
22
TÍTULO: Reasoning about probabilistic sequential programs  Full Text
AUTORES: Chadha, R; Cruz Filipe, L; Mateus, P ; Sernadas, A ;
PUBLICAÇÃO: 2007, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 379, NÚMERO: 1-2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
23
TÍTULO: Towards model-checking quantum security protocols
AUTORES: Baltazar, P; Chadha, R; Mateus, P ; Sernadas, A ;
PUBLICAÇÃO: 2007, FONTE: First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007 in First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
24
TÍTULO: Quantum institutions
AUTORES: Caleiro, C ; Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2006, FONTE: Symposium on Algebra, Meaning and Computation in honor of Joseph Goguen on his 65th Birthday in ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, VOLUME: 4060
INDEXADO EM: Scopus WOS CrossRef: 6
NO MEU: ORCID
25
TÍTULO: Reasoning About Imperative Quantum Programs
AUTORES: Chadha, R; Mateus, P ; Sernadas, A ;
PUBLICAÇÃO: 2006, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 158, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
26
TÍTULO: Reasoning about states of probabilistic sequential programs
AUTORES: Chadha, R; Mateus, P ; Sernadas, A ;
PUBLICAÇÃO: 2006, FONTE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID
27
TÍTULO: Weakly complete axiomatization of exogenous quantum propositional logic  Full Text
AUTORES: Mateus, P ; Sernadas, A ;
PUBLICAÇÃO: 2006, FONTE: INFORMATION AND COMPUTATION, VOLUME: 204, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
28
TÍTULO: Modal sequent calculi labelled with truth values: Completeness, duality and analyticity  Full Text
AUTORES: Paulo Mateus ; Amilcar Sernadas ; Cristina Sernadas ; Luca Vigano;
PUBLICAÇÃO: 2004, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 12, NÚMERO: 3
INDEXADO EM: WOS CrossRef
NO MEU: ResearcherID
29
TÍTULO: Reasoning about quantum systems
AUTORES: Mateus, P ; Sernadas, A ;
PUBLICAÇÃO: 2004, FONTE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
30
TÍTULO: Categorical foundations for randomly timed automata  Full Text
AUTORES: Mateus, P ; Morais, M ; Nunes, C ; Pacheco, A ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2003, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 308, NÚMERO: 1-3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
Página 3 de 9. Total de resultados: 88.

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

Links Úteis

Ajuda

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