Pedro Alexandre Cardoso Baltazar
AuthID: R-000-EMW
1
TITLE: Errors during aeronautical maintenance activities in the military sector: A positive consequence approach
AUTHORS: Baltazar, A; Saúde, JL; Soares, JM;
PUBLISHED: 2016, SOURCE: Proceedings of the European Conference on Knowledge Management, ECKM, VOLUME: 2016-January
AUTHORS: Baltazar, A; Saúde, JL; Soares, JM;
PUBLISHED: 2016, SOURCE: Proceedings of the European Conference on Knowledge Management, ECKM, VOLUME: 2016-January
INDEXED IN: 
Scopus
Scopus2
TITLE: Decidability and complexity for omega-regular properties of stochastic systems Full Text
AUTHORS: Henriques, D; Biscaia, M; Baltazar, P; Mateus, P ;
PUBLISHED: 2012, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 20, ISSUE: 6
AUTHORS: Henriques, D; Biscaia, M; Baltazar, P; Mateus, P ;
PUBLISHED: 2012, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 20, ISSUE: 6
3
TITLE: Quantum computation tree logic - Model checking and complete calculus Full Text
AUTHORS: Baltazar, P; Chadha, R; Mateus, P ;
PUBLISHED: 2008, SOURCE: Lisbon Quantum Computation, Information and Logic Meeting on Quantum Cryptography and Security in INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, VOLUME: 6, ISSUE: 2
AUTHORS: Baltazar, P; Chadha, R; Mateus, P ;
PUBLISHED: 2008, SOURCE: Lisbon Quantum Computation, Information and Logic Meeting on Quantum Cryptography and Security in INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, VOLUME: 6, ISSUE: 2
INDEXED IN: Scopus 
WOS
Scopus WOS