Pedro Baltazar

Cited by

	All	Since 2016
Citations	138	48
h-index	7	5
i10-index	6	1

20062007200820092010201120122013201420152016201720182019202020211 3 5 10 10 4 9 15 12 19 17 5 10 9 5 2

Co-authors

Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Rohit ChadhaUniversity of MissouriVerified email at missouri.edu
Hugo Torres VieiraUniversidade da Beira InteriorVerified email at ubi.pt
Luis CairesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityVerified email at mdx.ac.uk
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Dimitris MostrousVerified email at di.fc.ul.pt
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior TécnicoVerified email at math.tecnico.ulisboa.pt
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerified email at tecnico.ulisboa.pt

Pedro Baltazar

Instituto de Telecomunicações, Technical University of Lisbon

Verified email at ist.utl.pt - Homepage

Applied Logics Security Type Systems


Title Sort by citations Sort by year Sort by 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	32	2008
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	20	2012
Linearly refined session types P Baltazar, D Mostrous, VT Vasconcelos arXiv preprint arXiv:1211.4099, 2012	15	2012
Exogenous probabilistic computation tree logic P Baltazar, P Mateus, R Nagarajan, N Papanikolaou Electronic Notes in Theoretical Computer Science 190 (3), 95-110, 2007	15	2007
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	15	2007
Probabilization of logics: Completeness and decidability P Baltazar Logica Universalis 7 (4), 403-440, 2013	11	2013
Temporalization of probabilistic propositional logic P Baltazar, P Mateus International Symposium on Logical Foundations of Computer Science, 46-60, 2009	8	2009
M-solid varieties of languages P Baltazar Acta Cybernetica 18 (4), 719-731, 2008	6	2008
Deciding theoremhood in fibred logics without shared connectives S Marcelino, C Caleiro, P Baltazar The Road to Universal Logic, 387-406, 2015	4	2015
Probabilistic and quantum institutions revisited P Baltazar, J Ramos, C Sernadas	3	2006
A Temporal Logic for Planning under Uncertainty. M Biscaia, P Baltazar, P Mateus, R Nagarajan FLAIRS Conference, 2013	2	2013
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	2	2012
Verifying probabilistic system with EpCTL P Baltazar, P Mateus, SI de Telecomunicaçoes Preprint, SQIG-IT and IST-TU Lisbon, 1049-001, 2008	2	2008
Dynamic Roles in Multiparty Communicating Systems P Baltazar, L Caires, VT Vasconcelos, H Vieira UNL-DI-1–2012, Universidade Nova de Lisboa, 2012	1	2012
Typing dynamic roles in multiparty interaction P Baltazar, VT Vasconcelos, H Torres Vieira	1	2011
Variedades M-sólidas de linguagens P Baltazar Master's thesis, FCUL, Universidade de Lisboa, 2005	1	2005

The system can't perform the operation now. Try again later.

Articles 1–16

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors