Pedro Baltazar
Pedro Baltazar
Instituto de Telecomunicações, Technical University of Lisbon
Verified email at ist.utl.pt - Homepage
Title
Cited by
Cited by
Year
Quantum computation tree logic—model checking and complete calculus
P Baltazar, R Chadha, P Mateus
International Journal of Quantum Information 6 (02), 219-236, 2008
342008
A type system for flexible role assignment in multiparty communicating systems
P Baltazar, L Caires, VT Vasconcelos, HT Vieira
International Symposium on Trustworthy Global Computing, 82-96, 2012
212012
Linearly refined session types
P Baltazar, D Mostrous, VT Vasconcelos
arXiv preprint arXiv:1211.4099, 2012
192012
Towards model-checking quantum security protocols
P Baltazar, R Chadha, P Mateus, A Sernadas
2007 First International Conference on Quantum, Nano, and Micro Technologies …, 2007
162007
Exogenous probabilistic computation tree logic
P Baltazar, P Mateus, R Nagarajan, N Papanikolaou
Electronic Notes in Theoretical Computer Science 190 (3), 95-110, 2007
152007
Probabilization of logics: Completeness and decidability
P Baltazar
Logica Universalis 7 (4), 403-440, 2013
112013
Temporalization of probabilistic propositional logic
P Baltazar, P Mateus
International Symposium on Logical Foundations of Computer Science, 46-60, 2009
82009
M-solid varieties of languages
P Baltazar
Acta Cybernetica 18 (4), 719-731, 2008
62008
Deciding theoremhood in fibred logics without shared connectives
S Marcelino, C Caleiro, P Baltazar
The Road to Universal Logic, 387-406, 2015
42015
Probabilistic and quantum institutions revisited
P Baltazar, J Ramos, C Sernadas
32006
A temporal logic for planning under uncertainty
M Biscaia, P Baltazar, P Mateus, R Nagarajan
The Twenty-Sixth International FLAIRS Conference, 2013
22013
Decidability and complexity for ω-regular properties of stochastic systems
D Henriques, M Biscaia, P Baltazar, P Mateus
Logic Journal of IGPL 20 (6), 1175-1201, 2012
22012
Verifying probabilistic system with EpCTL
P Baltazar, P Mateus, SI de Telecomunicaçoes
Preprint, SQIG-IT and IST-TU Lisbon, 1049-001, 2008
22008
Dynamic Roles in Multiparty Communicating Systems
P Baltazar, L Caires, VT Vasconcelos, H Vieira
UNL-DI-1–2012, Universidade Nova de Lisboa, 2012
12012
Typing dynamic roles in multiparty interaction
P Baltazar, VT Vasconcelos, H Torres Vieira
12011
Variedades M-sólidas de linguagens
P Baltazar
Master's thesis, FCUL, Universidade de Lisboa, 2005
12005
The system can't perform the operation now. Try again later.
Articles 1–16