ResearcherID Thomson Reuters  

Mateus, Paulo
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: C-9059-2009
URL: http://www.researcherid.com/rid/C-9059-2009
ORCID: http://orcid.org/0000-0002-2393-8224
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Department of Mathematics
Role:
Joint Affiliation:
Sub-org/Dept: SQIG
Role:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  4  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Weakly complete axiomatization of exogenous quantum propositional logic
 Author(s): MATEUS, P; SERNADAS, A
 Source: INFORMATION AND COMPUTATION Volume: 204 Issue: 5 Pages: 771-794 Published: MAY 2006
 Times Cited: 16
 DOI: 10.1016/j.ic.2006.02.001
added
29-Oct-09
2.  Title: Characterizations of one-way general quantum finite automata
 Author(s): Li, Lvzhou; Qiu, Daowen; Zou, Xiangfu; et al.
 Source: Theoretical Computer Science Volume: 419 Pages: 73-91 Published: FEB 17 2012
 Times Cited: 16
 DOI: 10.1016/j.tcs.2011.10.021
added
22-Oct-12
3.  Title: Composition of cryptographic protocols in a probabilistic polynomial-time process calculus
 Author(s): MATEUS, P; MITCHELL, J; SCEDROV, A
 Conference: 14th International Conference on Concurrency Theory Volume: 2761 Pages: 327-349 Year: 2003
 Times Cited: 15
added
29-Oct-09
4.  Title: Probabilistic situation calculus
 Author(s): MATEUS, P; PACHECO, A; PINTO, J; et al.
 Source: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE Volume: 32 Issue: 1-4 Pages: 393-431 Published: 2001
 Times Cited: 13
added
29-Oct-09
5.  Title: State succinctness of two-way finite automata with quantum and classical states
 Author(s): Zheng, Shenggen; Qiu, Daowen; Gruska, Jozef; et al.
 Source: Theoretical Computer Science Volume: 499 Pages: 98-112 Published: AUG 12 2013
 Times Cited: 13
 DOI: 10.1016/j.tcs.2013.06.005
added
02-Sep-14
6.  Title: Reasoning about probabilistic sequential programs
 Author(s): CHADHA, R; CRUZ-FILIPE, L; MATEUS, P; et al.
 Source: THEORETICAL COMPUTER SCIENCE Volume: 379 Issue: 1-2 Pages: 142-165 Published: 2007
 Times Cited: 10
 DOI: 10.1016/j.tcs.2007.02.040
added
29-Oct-09
7.  Title: Noise and measurement errors in a practical two-state quantum bit commitment protocol
 Author(s): Loura, Ricardo; Almeida, Alvaro J.; Andre, Paulo S.; et al.
 Source: Physical Review a Volume: 89 Issue: 5 Published: MAY 30 2014
 Times Cited: 9
 DOI: 10.1103/PhysRevA.89.052336
added
02-Sep-14
8.  Title: Reasoning about quantum systems
 Author(s): MATEUS, P; SERNADAS, A
 Conference: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) Volume: 3229 Pages: 239-251 Year: 2004
 Times Cited: 8
added
29-Oct-09
9.  Title: Exponentially more concise quantum recognition of non-RMM regular languages
 Author(s): Qiu, Daowen; Li, Lvzhou; Mateus, Paulo; et al.
 Source: Journal of Computer and System Sciences Volume: 81 Issue: 2 Pages: 359-375 Published: MAR 2015
 Times Cited: 7
 DOI: 10.1016/j.jcss.2014.06.008
added
14-Jan-15
10.  Title: Quantum computation tree logic - Model checking and complete calculus
 Author(s): BALTAZAR, P; CHADHA, R; MATEUS, P
 Times Cited: 6
added
29-Oct-09
publication(s)  
First Page Previous Page Page   of  4  Go Next Page Last Page
  Sort by:    Results per page: