Joao Carlos Amaro Ferreira
AuthID: R-000-P7Y
51
TITLE: Towards Verified Handwritten Calculational Proofs: (Short Paper)
AUTHORS: Mendes, A; Ferreira, JF;
PUBLISHED: 2018, SOURCE: 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
AUTHORS: Mendes, A; Ferreira, JF;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: 
Scopus
Scopus52
TITLE: Planning process for an operational management platform for a public transport
AUTHORS: Ferreira, J. C.; A. Marcelo; V. Basto Fernandes; Martins, A. L.;
PUBLISHED: 2018, SOURCE: Planning process for an operational management platform for a public transport, ISSUE: 3
AUTHORS: Ferreira, J. C.; A. Marcelo; V. Basto Fernandes; Martins, A. L.;
PUBLISHED: 2018, SOURCE: Planning process for an operational management platform for a public transport, ISSUE: 3
INDEXED IN: 
Handle
Handle53
TITLE: Planning process for an operational management platform for a public transport
AUTHORS: Ferreira, J. C.; A. Marcelo; V. Basto Fernandes; Martins, A. L.;
PUBLISHED: 2018, SOURCE: Planning process for an operational management platform for a public transport
AUTHORS: Ferreira, J. C.; A. Marcelo; V. Basto Fernandes; Martins, A. L.;
PUBLISHED: 2018, SOURCE: Planning process for an operational management platform for a public transport
INDEXED IN: Handle
Handle54
TITLE: Assessment of perceived quality: comparison of sports apparel retail chains
AUTHORS: Gomes, J. F.; Martins, A. L.; Ferreira, J. C.;
PUBLISHED: 2018, SOURCE: Assessment of perceived quality: comparison of sports apparel retail chains
AUTHORS: Gomes, J. F.; Martins, A. L.; Ferreira, J. C.;
PUBLISHED: 2018, SOURCE: Assessment of perceived quality: comparison of sports apparel retail chains
INDEXED IN: Handle
Handle55
TITLE: M2* - mobility to anywhere, an IoT aggregation service platform
AUTHORS: Ferreira, J. C.; V. Rato;
PUBLISHED: 2018, SOURCE: M2* - mobility to anywhere, an IoT aggregation service platform
AUTHORS: Ferreira, J. C.; V. Rato;
PUBLISHED: 2018, SOURCE: M2* - mobility to anywhere, an IoT aggregation service platform
INDEXED IN: Handle
Handle56
TITLE: Inverted pendulum controlled by an analog pid controller: A framework for a laboratorial experiment
AUTHORS: Dias, L; Ferreira, J; Soares, F ; Lopes, G ; Esteves, JS; Sepúlveda, MJ; Garrido, P;
PUBLISHED: 2017, SOURCE: 12th Portuguese Conference on Automatic Control, CONTROLO 2016 in Lecture Notes in Electrical Engineering, VOLUME: 402
AUTHORS: Dias, L; Ferreira, J; Soares, F ; Lopes, G ; Esteves, JS; Sepúlveda, MJ; Garrido, P;
PUBLISHED: 2017, SOURCE: 12th Portuguese Conference on Automatic Control, CONTROLO 2016 in Lecture Notes in Electrical Engineering, VOLUME: 402
57
TITLE: OpenADR—Intelligent electrical energy consumption towards internet-of-things
AUTHORS: Ferreira, J; Martins, H; Barata, M; Monteiro, V; Afonso, JL ;
PUBLISHED: 2017, SOURCE: 12th Portuguese Conference on Automatic Control, CONTROLO 2016 in Lecture Notes in Electrical Engineering, VOLUME: 402
AUTHORS: Ferreira, J; Martins, H; Barata, M; Monteiro, V; Afonso, JL ;
PUBLISHED: 2017, SOURCE: 12th Portuguese Conference on Automatic Control, CONTROLO 2016 in Lecture Notes in Electrical Engineering, VOLUME: 402
58
TITLE: Mining users mobility at public transportation
AUTHORS: Baeta, N; Fernandes, A; Ferreira, J;
PUBLISHED: 2017, SOURCE: Inteligencia Artificial, VOLUME: 20, ISSUE: 59
AUTHORS: Baeta, N; Fernandes, A; Ferreira, J;
PUBLISHED: 2017, SOURCE: Inteligencia Artificial, VOLUME: 20, ISSUE: 59
59
TITLE: How to foster young scientists’ entrepreneurial spirit?
AUTHORS: Paço, A; Ferreira, J; Raposo, M;
PUBLISHED: 2017, SOURCE: International Journal of Entrepreneurship, VOLUME: 21, ISSUE: 1
AUTHORS: Paço, A; Ferreira, J; Raposo, M;
PUBLISHED: 2017, SOURCE: International Journal of Entrepreneurship, VOLUME: 21, ISSUE: 1
INDEXED IN: Scopus
Scopus60
TITLE: Mobile Device Sensing System for Urban Goods Distribution Logistics
AUTHORS: Ferreira, JC; Monteiro, V; Afonso, JL; Martins, AL; Afonso, JA;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Service Operations and Logistics, and Informatics (SOLI) in 2017 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND LOGISTICS, AND INFORMATICS (SOLI)
AUTHORS: Ferreira, JC; Monteiro, V; Afonso, JL; Martins, AL; Afonso, JA;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Service Operations and Logistics, and Informatics (SOLI) in 2017 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND LOGISTICS, AND INFORMATICS (SOLI)
INDEXED IN: 
WOS
WOS IN MY: 
ORCID
ORCID