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