Pedro Baltazar - Citegraph

Author Info

Name	Affiliation	Papers
PEDRO BALTAZAR	Univ Lisbon, Fac Sci, Lisbon, Portugal	8
Collaborators	Citations	PageRank
10	22	3.35
Referers	Referees	References
50	165	110

Search Limit

100165

Publications (8 rows)

Collaborators (10 rows)

Referers (50 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Probabilization of Logics: Completeness and Decidability.	2	0.38	2013
A Temporal Logic for Planning under Uncertainty.	0	0.34	2013
Decidability and complexity for ω-regular properties of stochastic systems.	0	0.34	2012
A Type System for Flexible Role Assignment in Multiparty Communicating Systems.	9	0.59	2012
Linearly Refined Session Types	4	0.42	2012
Temporalization of Probabilistic Propositional Logic	2	0.38	2009
M-solid varieties of languages	1	0.39	2008
Exogenous Probabilistic Computation Tree Logic	4	0.51	2007

1