Pedro Baltazar
Pedro Baltazar
Instituto de Telecomunicações, Technical University of Lisbon
Verifierad e-postadress på ist.utl.pt - Startsida
Titel
Citeras av
Citeras av
År
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
312008
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
192012
Exogenous probabilistic computation tree logic
P Baltazar, P Mateus, R Nagarajan, N Papanikolaou
Electronic Notes in Theoretical Computer Science 190 (3), 95-110, 2007
142007
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
142007
Linearly refined session types
P Baltazar, D Mostrous, VT Vasconcelos
arXiv preprint arXiv:1211.4099, 2012
132012
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
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–16