Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Confirmed Publications: 88



21
TITLE: Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems  Full Text
AUTHORS: Cruz-Filipe, L; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2007, SOURCE: Logic Journal of IGPL, VOLUME: 16, ISSUE: 2
INDEXED IN: CrossRef
IN MY: ORCID
22
TITLE: Reasoning about probabilistic sequential programs  Full Text
AUTHORS: Chadha, R; Cruz Filipe, L; Mateus, P ; Sernadas, A ;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 379, ISSUE: 1-2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
23
TITLE: Towards model-checking quantum security protocols
AUTHORS: Baltazar, P; Chadha, R; Mateus, P ; Sernadas, A ;
PUBLISHED: 2007, SOURCE: First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007 in First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007
INDEXED IN: Scopus CrossRef
IN MY: ORCID
24
TITLE: Quantum institutions
AUTHORS: Carlos Caleiro ; Paulo Mateus ; Amilcar Sernadas ; Cristina Sernadas ;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
25
TITLE: Reasoning About Imperative Quantum Programs
AUTHORS: Chadha, R; Mateus, P ; Sernadas, A ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 158, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
26
TITLE: Reasoning about states of probabilistic sequential programs
AUTHORS: Chadha, R; Mateus, P ; Sernadas, A ;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
27
TITLE: Weakly complete axiomatization of exogenous quantum propositional logic  Full Text
AUTHORS: Mateus, P ; Sernadas, A ;
PUBLISHED: 2006, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 204, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
28
TITLE: Modal sequent calculi labelled with truth values: Completeness, duality and analyticity  Full Text
AUTHORS: Paulo Mateus ; Amilcar Sernadas ; Cristina Sernadas ; Luca Vigano;
PUBLISHED: 2004, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 12, ISSUE: 3
INDEXED IN: WOS CrossRef
IN MY: ORCID | ResearcherID
29
TITLE: Reasoning about quantum systems
AUTHORS: Mateus, P ; Sernadas, A ;
PUBLISHED: 2004, SOURCE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
30
TITLE: Categorical foundations for randomly timed automata  Full Text
AUTHORS: Mateus, P ; Morais, M ; Nunes, C ; Pacheco, A ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2003, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 308, ISSUE: 1-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
Page 3 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