MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Paulo Mateus" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Paracategories I: Internal Paracategories and Saturated Partial Algebras
by Claudio Hermida, Paulo Mateus — 2002 — Comp. Sci
…Paracategories I: Internal Paracategories and Saturated Partial Algebras Claudio Hermida Paulo…
Cited by 3 (2 self) – Add To MetaCart

Paracategories II: Adjunctions, fibrations and examples from probabilistic automata theory
by Claudio Hermida, Paulo Mateus — 2002
… Hermida Paulo Mateus 2 September 2002 Abstract In this sequel to [HM02], we explore some…
Cited by 1 (1 self) – Add To MetaCart

Exogenous semantics approach to enriching logics
by Paulo Mateus, Amílcar Sernadas, Cristina Sernadas — 2005 — Essays on the Foundations of Mathematics and Logic, volume 1 of Advanced Studies in Mathematics and Logic
…Exogenous Semantics Approach to Enriching Logics Paulo Mateus, Amílcar Sernadas, and Cristina…
Cited by 7 (6 self) – Add To MetaCart

Realization of Probabilistic Automata: Categorical Approach
by Paulo Mateus, Amílcar Sernadas, Cristina Sernadas — Recent Developments in Algebraic Development Techniques - Selected Papers, volume 1827 of Lecture Notes in Computer Science. SpringerVerlag. In print
…Realization of Probabilistic Automata: Categorical Approach Paulo Mateus, Amlcar Sernadas, Cristina…
Cited by 1 (0 self) – Add To MetaCart

Towards a quantitative analysis of security protocols
by Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò — 2006
…Towards a Quantitative Analysis of Security Protocols 1 Introduction Pedro Adão 1 , Paulo Mateus 1…
Cited by 1 (0 self) – Add To MetaCart

Observations and the Probabilistic Situation Calculus
by Paulo Mateus, Antonio Pacheco, Javier Pinto — 2002
…OBSERVATIONS AND THE PROBABILISTIC SITUATION CALCULUS Paulo Mateus (1) , Antonio Pacheco (2…
Cited by 17 (5 self) – Add To MetaCart

Precategories for Combining Probabilistic Automata
by Paulo Mateus, Amílcar Sernadas, Cristina Sernadas — 1999 — Electronic Notes in Theoretical Computer Science
…Precategories for Combining Probabilistic Automata Paulo Mateus, Am'ilcar Sernadas and Cristina…
Cited by 11 (6 self) – Add To MetaCart

Non-determinism and Uncertainty in the Situation Calculus
by Javier Pinto Amilcar, Amilcar Sernadas, Cristina Sernadas, Paulo Mateus — 1999
… , Cristina Sernadas y and Paulo Mateus y Departamento de Ciencia de la Computaci'on, Pontificia…
Add To MetaCart

Category Theory in Coq
by Alexandra Carvalho, Supervised Am'ilcar Sernadas, Paulo Mateus — 1998
…Category Theory in Coq Alexandra Carvalho Diploma Thesis Supervised by Am'ilcar Sernadas and Paulo…
Cited by 3 (0 self) – Add To MetaCart

Universal Aspects of Probabilistic Automata
by Lutz Schröder, Lutz Schr Oder, Paulo Mateus — 2000
… of Probabilistic Automata LUTZ SCHR ODER 1 and PAULO MATEUS 2 1 Department of Mathematics and Computer…
Cited by 8 (5 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB