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