ProfileOfResearchers

IN MY:

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

IN MY:

ORCID |

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

IN MY:

TITLE: Quantum institutions
AUTHORS: Caleiro, C ; Mateus, P ; Sernadas, A ; Sernadas, C ;
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

CrossRef: 6

IN MY:

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

IN MY:

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

CrossRef: 3

IN MY:

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

IN MY:

ORCID |

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

IN MY:

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

IN MY:

ORCID |