Statistics
Publications
4
Citations
81
H-Index
4
Active since
2007
Affiliations
Instituto Superior Técnico(Current)
Pedro Baltazar is an author at Instituto Superior Técnico specializing in computer science, computing, and computational tree logic.
Publications per year
2007–2012
4
4
Towards Model-Checking Quantum Security Protocols
Pedro Baltazar, Rohit Chadha, Paulo Mateus et al. · 2007 · 18 citations
Exogenous Probabilistic Computation Tree Logic
Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan et al. · Electronic Notes in Theoretical Computer Science · 2007 · 10 citations · Full text
1–4 of 4