Pedro Baltazar

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Planning Under Uncertainty

Stochastic Systems

Top Venues

Logica Universalis

FLAIRS Conference

Publications

Manuel Biscaia, Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan
A Temporal Logic for Planning under Uncertainty. FLAIRS Conference (2013)
Pedro Baltazar
Probabilization of Logics: Completeness and Decidability. Logica Universalis 7 (4) (2013)
Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira
A Type System for Flexible Role Assignment in Multiparty Communicating Systems. TGC (2012)
Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos
Linearly Refined Session Types LINEARITY (2012)
David Henriques, Manuel Biscaia, Pedro Baltazar, Paulo Mateus
Decidability and complexity for ω-regular properties of stochastic systems. Log. J. IGPL 20 (6) (2012)
Pedro Baltazar, Paulo Mateus
Temporalization of Probabilistic Propositional Logic. LFCS (2009)
Pedro Baltazar
M-Solid Varieties of Languages. Acta Cybern. 18 (4) (2008)
Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas
Towards Model-Checking Quantum Security Protocols. ICQNM (2007)
Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou
Exogenous Probabilistic Computation Tree Logic. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)