Pedro Baltazar

Cited by

	All	Since 2020
Citations	162	31
h-index	7	3
i10-index	6	1

20072008200920102011201220132014201520162017201820192020202120222023202420252 6 10 10 4 8 17 12 19 19 3 12 7 6 6 5 5 8 1

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

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 VieiraEvidence SrlVerified email at evidence.eu.com
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.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
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
Dimitris Mostrous

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	42	2008
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	20	2013
Linearly refined session types P Baltazar, D Mostrous, VT Vasconcelos arXiv preprint arXiv:1211.4099, 2012	19	2012
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	17	2007
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
Probabilization of logics: Completeness and decidability P Baltazar Logica Universalis 7, 403-440, 2013	12	2013
Temporalization of probabilistic propositional logic P Baltazar, P Mateus International Symposium on Logical Foundations of Computer Science, 46-60, 2009	9	2009
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	6	2015
M-solid varieties of languages P Baltazar Acta Cybernetica 18 (4), 719-731, 2008	6	2008
Probabilistic and quantum institutions revisited P Baltazar, J Ramos, C Sernadas	4	2006
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	3	2015
A temporal logic for planning under uncertainty M Biscaia, P Baltazar, P Mateus, R Nagarajan The Twenty-Sixth International 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 systems with EpCTL P Baltazar, P Mateus, SI de Telecomunicaçoes Awaiting publication, 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–17

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors