Joao Carlos Amaro Ferreira
AuthID: R-000-P7Y
121
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
Scopus122
TÃTULO: Extracting clinical knowledge from electronic medical records
AUTORES: Lamy, M; Pereira, R; Ferreira, JC; Melo, F; Velez, I;
PUBLICAÇÃO: 2018, FONTE: IAENG International Journal of Computer Science, VOLUME: 45, NÚMERO: 3
AUTORES: Lamy, M; Pereira, R; Ferreira, JC; Melo, F; Velez, I;
PUBLICAÇÃO: 2018, FONTE: IAENG International Journal of Computer Science, VOLUME: 45, NÚMERO: 3
INDEXADO EM: Scopus 
Handle
Scopus Handle NO MEU: 
ORCID
ORCID123
TÃTULO: Emergency waiting times data analysis
AUTORES: Gonçalves, F; Pereira, R; Ferreira, JC; Vasconcelos, JB; Melo, F; Velez, I;
PUBLICAÇÃO: 2018, FONTE: IAENG International Journal of Computer Science, VOLUME: 45, NÚMERO: 3
AUTORES: Gonçalves, F; Pereira, R; Ferreira, JC; Vasconcelos, JB; Melo, F; Velez, I;
PUBLICAÇÃO: 2018, FONTE: IAENG International Journal of Computer Science, VOLUME: 45, NÚMERO: 3
INDEXADO EM: Scopus Handle
Scopus Handle NO MEU: ORCID
ORCID124
TÃTULO: Building a Community of Users for Open Market Energy Full Text
AUTORES: Ferreira, JC; Martins, AL;
PUBLICAÇÃO: 2018, FONTE: ENERGIES, VOLUME: 11, NÚMERO: 9
AUTORES: Ferreira, JC; Martins, AL;
PUBLICAÇÃO: 2018, FONTE: ENERGIES, VOLUME: 11, NÚMERO: 9
125
TÃTULO: An Energy Management Platform for Public Buildings
AUTORES: Ferreira, JC; Afonso, JA; Monteiro, V; Afonso, JL;
PUBLICAÇÃO: 2018, FONTE: ELECTRONICS, VOLUME: 7, NÚMERO: 11
AUTORES: Ferreira, JC; Afonso, JA; Monteiro, V; Afonso, JL;
PUBLICAÇÃO: 2018, FONTE: ELECTRONICS, VOLUME: 7, NÚMERO: 11
126
TÃTULO: Beacons and BIM Models for Indoor Guidance and Location
AUTORES: Ferreira, JC; Resende, R; Martinho, S;
PUBLICAÇÃO: 2018, FONTE: SENSORS, VOLUME: 18, NÚMERO: 12
AUTORES: Ferreira, JC; Resende, R; Martinho, S;
PUBLICAÇÃO: 2018, FONTE: SENSORS, VOLUME: 18, NÚMERO: 12
127
TÃTULO: Development of an IoT system with smart charging current control for electric vehicles
AUTORES: Sousa, RA; Nogueiras Melendez, AA; Monteiro, V; Afonso, JL; Ferreira, JC; Afonso, JA;
PUBLICAÇÃO: 2018, FONTE: 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018 in Proceedings: IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society
AUTORES: Sousa, RA; Nogueiras Melendez, AA; Monteiro, V; Afonso, JL; Ferreira, JC; Afonso, JA;
PUBLICAÇÃO: 2018, FONTE: 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018 in Proceedings: IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society
128
TÃTULO: Context-aware food recommendation system
AUTORES: Maia, R; Ferreira, JC;
PUBLICAÇÃO: 2018, FONTE: 2018 World Congress on Engineering and Computer Science, WCECS 2018 in Lecture Notes in Engineering and Computer Science, VOLUME: 2237
AUTORES: Maia, R; Ferreira, JC;
PUBLICAÇÃO: 2018, FONTE: 2018 World Congress on Engineering and Computer Science, WCECS 2018 in Lecture Notes in Engineering and Computer Science, VOLUME: 2237
INDEXADO EM: Scopus Handle
Scopus Handle NO MEU: ORCID
ORCID129
TÃTULO: Context-aware information in mobile devices Full Text
AUTORES: Ferreira, JC; Lopes, AL; Albuquerque, V;
PUBLICAÇÃO: 2018, FONTE: 2018 World Congress on Engineering and Computer Science, WCECS 2018 in Lecture Notes in Engineering and Computer Science, VOLUME: 2237
AUTORES: Ferreira, JC; Lopes, AL; Albuquerque, V;
PUBLICAÇÃO: 2018, FONTE: 2018 World Congress on Engineering and Computer Science, WCECS 2018 in Lecture Notes in Engineering and Computer Science, VOLUME: 2237
INDEXADO EM: Scopus Handle
Scopus Handle NO MEU: ORCID
ORCID130
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
Handle