フォロー
Pedro Baltazar
Pedro Baltazar
Instituto de Telecomunicações, Technical University of Lisbon
確認したメール アドレス: ist.utl.pt - ホームページ
タイトル
引用先
引用先
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
402008
A type system for flexible role assignment in multiparty communicating systems
P Baltazar, L Caires, VT Vasconcelos, HT Vieira
Trustworthy Global Computing: 7th International Symposium, TGC 2012 …, 2013
202013
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
172007
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
Probabilization of logics: Completeness and decidability
P Baltazar
Logica Universalis 7, 403-440, 2013
102013
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: Festschrift for the 50th Birthday of Jean-Yves …, 2015
52015
Probabilistic and quantum institutions revisited
P Baltazar, J Ramos, C Sernadas
32006
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
PhD Dissertation. New University of Lisbon. Maputo, 2015
22015
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 systems with EpCTL
P Baltazar, P Mateus, SI de Telecomunicaçoes
Awaiting publication, 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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–17