Követés
Pedro Baltazar
Pedro Baltazar
Instituto de Telecomunicações, Technical University of Lisbon
E-mail megerősítve itt: ist.utl.pt - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
432008
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
182012
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
182007
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, 403-440, 2013
132013
Temporalization of probabilistic propositional logic
P Baltazar, P Mateus
International Symposium on Logical Foundations of Computer Science, 46-60, 2009
92009
Deciding theoremhood in fibred logics without shared connectives
S Marcelino, C Caleiro, P Baltazar
The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves …, 2015
62015
M-solid varieties of languages
P Baltazar
Acta Cybernetica 18 (4), 719-731, 2008
62008
Probabilistic and quantum institutions revisited
P Baltazar, J Ramos, C Sernadas
Preprint, CLC, Department of Mathematics, IST, Lisbon, 2006
42006
Influência da OIT no Direito do Trabalho em Moçambique (Desde 1919 à Constituição da República de Moçambique de 2004 e à Lei nº 23/2007, de 1 de Agosto)
PM Baltazar
PQDT-Global, 2015
32015
A Temporal Logic for Planning under Uncertainty.
M Biscaia, P Baltazar, P Mateus, R Nagarajan
FLAIRS, 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 systems 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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–17