Joao Carlos Amaro Ferreira
AuthID: R-000-P7Y
51
TÃTULO: Towards Verified Handwritten Calculational Proofs: (Short Paper)
AUTORES: Mendes, A; Ferreira, JF;
PUBLICAÇÃO: 2018, FONTE: 9th International Conference on Interactive Theorem Proving, ITP 2018 Held as Part of the Federated Logic Conference, FloC 2018 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10895 LNCS
AUTORES: Mendes, A; Ferreira, JF;
PUBLICAÇÃO: 2018, FONTE: 9th International Conference on Interactive Theorem Proving, ITP 2018 Held as Part of the Federated Logic Conference, FloC 2018 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10895 LNCS
INDEXADO EM: 
Scopus
Scopus52
TÃTULO: Planning process for an operational management platform for a public transport
AUTORES: Ferreira, J. C.; A. Marcelo; V. Basto Fernandes; Martins, A. L.;
PUBLICAÇÃO: 2018, FONTE: Planning process for an operational management platform for a public transport, NÚMERO: 3
AUTORES: Ferreira, J. C.; A. Marcelo; V. Basto Fernandes; Martins, A. L.;
PUBLICAÇÃO: 2018, FONTE: Planning process for an operational management platform for a public transport, NÚMERO: 3
INDEXADO EM: 
Handle
Handle53
TÃTULO: Planning process for an operational management platform for a public transport
AUTORES: Ferreira, J. C.; A. Marcelo; V. Basto Fernandes; Martins, A. L.;
PUBLICAÇÃO: 2018, FONTE: Planning process for an operational management platform for a public transport
AUTORES: Ferreira, J. C.; A. Marcelo; V. Basto Fernandes; Martins, A. L.;
PUBLICAÇÃO: 2018, FONTE: Planning process for an operational management platform for a public transport
INDEXADO EM: Handle
Handle54
TÃTULO: Assessment of perceived quality: comparison of sports apparel retail chains
AUTORES: Gomes, J. F.; Martins, A. L.; Ferreira, J. C.;
PUBLICAÇÃO: 2018, FONTE: Assessment of perceived quality: comparison of sports apparel retail chains
AUTORES: Gomes, J. F.; Martins, A. L.; Ferreira, J. C.;
PUBLICAÇÃO: 2018, FONTE: Assessment of perceived quality: comparison of sports apparel retail chains
INDEXADO EM: Handle
Handle55
TÃTULO: M2* - mobility to anywhere, an IoT aggregation service platform
AUTORES: Ferreira, J. C.; V. Rato;
PUBLICAÇÃO: 2018, FONTE: M2* - mobility to anywhere, an IoT aggregation service platform
AUTORES: Ferreira, J. C.; V. Rato;
PUBLICAÇÃO: 2018, FONTE: M2* - mobility to anywhere, an IoT aggregation service platform
INDEXADO EM: Handle
Handle56
TÃTULO: Inverted pendulum controlled by an analog pid controller: A framework for a laboratorial experiment
AUTORES: Dias, L; Ferreira, J; Soares, F ; Lopes, G ; Esteves, JS; Sepúlveda, MJ; Garrido, P;
PUBLICAÇÃO: 2017, FONTE: 12th Portuguese Conference on Automatic Control, CONTROLO 2016 in Lecture Notes in Electrical Engineering, VOLUME: 402
AUTORES: Dias, L; Ferreira, J; Soares, F ; Lopes, G ; Esteves, JS; Sepúlveda, MJ; Garrido, P;
PUBLICAÇÃO: 2017, FONTE: 12th Portuguese Conference on Automatic Control, CONTROLO 2016 in Lecture Notes in Electrical Engineering, VOLUME: 402
57
TÃTULO: OpenADR—Intelligent electrical energy consumption towards internet-of-things
AUTORES: Ferreira, J; Martins, H; Barata, M; Monteiro, V; Afonso, JL ;
PUBLICAÇÃO: 2017, FONTE: 12th Portuguese Conference on Automatic Control, CONTROLO 2016 in Lecture Notes in Electrical Engineering, VOLUME: 402
AUTORES: Ferreira, J; Martins, H; Barata, M; Monteiro, V; Afonso, JL ;
PUBLICAÇÃO: 2017, FONTE: 12th Portuguese Conference on Automatic Control, CONTROLO 2016 in Lecture Notes in Electrical Engineering, VOLUME: 402
58
TÃTULO: Mining users mobility at public transportation
AUTORES: Baeta, N; Fernandes, A; Ferreira, J;
PUBLICAÇÃO: 2017, FONTE: Inteligencia Artificial, VOLUME: 20, NÚMERO: 59
AUTORES: Baeta, N; Fernandes, A; Ferreira, J;
PUBLICAÇÃO: 2017, FONTE: Inteligencia Artificial, VOLUME: 20, NÚMERO: 59
59
TÃTULO: How to foster young scientists’ entrepreneurial spirit?
AUTORES: Paço, A; Ferreira, J; Raposo, M;
PUBLICAÇÃO: 2017, FONTE: International Journal of Entrepreneurship, VOLUME: 21, NÚMERO: 1
AUTORES: Paço, A; Ferreira, J; Raposo, M;
PUBLICAÇÃO: 2017, FONTE: International Journal of Entrepreneurship, VOLUME: 21, NÚMERO: 1
INDEXADO EM: Scopus
Scopus60
TÃTULO: Mobile Device Sensing System for Urban Goods Distribution Logistics
AUTORES: Ferreira, JC; Monteiro, V; Afonso, JL; Martins, AL; Afonso, JA;
PUBLICAÇÃO: 2017, FONTE: IEEE International Conference on Service Operations and Logistics, and Informatics (SOLI) in 2017 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND LOGISTICS, AND INFORMATICS (SOLI)
AUTORES: Ferreira, JC; Monteiro, V; Afonso, JL; Martins, AL; Afonso, JA;
PUBLICAÇÃO: 2017, FONTE: IEEE International Conference on Service Operations and Logistics, and Informatics (SOLI) in 2017 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND LOGISTICS, AND INFORMATICS (SOLI)
INDEXADO EM: 
WOS
WOS NO MEU: 
ORCID
ORCID