Pedro Baltazar

According to our database, Pedro Baltazar authored at least 9 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Probabilization of Logics: Completeness and Decidability.

Pedro Baltazar

Logica Universalis, 2013

A Temporal Logic for Planning under Uncertainty.

Manuel Biscaia, Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan

Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

2012

Decidability and complexity for ω-regular properties of stochastic systems.

David Henriques, Manuel Biscaia, Pedro Baltazar, Paulo Mateus

Log. J. IGPL, 2012

Linearly Refined Session Types

Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos

Proceedings of the Proceedings 2nd International Workshop on Linearity, 2012

A Type System for Flexible Role Assignment in Multiparty Communicating Systems.

Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

2009

Temporalization of Probabilistic Propositional Logic.

Pedro Baltazar, Paulo Mateus

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008

M-Solid Varieties of Languages.

Pedro Baltazar

Acta Cybern., 2008

2007

Exogenous Probabilistic Computation Tree Logic.

Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Towards Model-Checking Quantum Security Protocols.

Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas

Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007