72
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
INDEXED IN: Scopus
73
TITLE: Building a Community of Users for Open Market Energy  Full Text
AUTHORS: Joao C Ferreira; Ana Lucia Martins;
PUBLISHED: 2018, SOURCE: ENERGIES, VOLUME: 11, ISSUE: 9
INDEXED IN: Scopus WOS
74
TITLE: Strategic knowledge management: theory, practice and future challenges
AUTHORS: Ferreira, J; Mueller, J; Papa, A;
PUBLISHED: 2018, SOURCE: Journal of Knowledge Management
INDEXED IN: Scopus
75
TITLE: An Energy Management Platform for Public Buildings  Full Text
AUTHORS: Joao C Ferreira; Jose A Afonso; Vitor Monteiro; Joao L Afonso;
PUBLISHED: 2018, SOURCE: ELECTRONICS, VOLUME: 7, ISSUE: 11
INDEXED IN: Scopus WOS
76
TITLE: Beacons and BIM Models for Indoor Guidance and Location  Full Text
AUTHORS: Joao C Ferreira; Ricardo Resende; Stuart Martinho;
PUBLISHED: 2018, SOURCE: SENSORS, VOLUME: 18, ISSUE: 12
INDEXED IN: Scopus WOS
77
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
INDEXED IN: Scopus
78
TITLE: Comprehensive analysis and comparison of digital current control techniques for active rectifiers
AUTHORS: Monteiro, V; Ferreira, JC; Pedrosa, D; Sepúlveda, MJ; Aparício Fernandes, JC; Afonso, JL;
PUBLISHED: 2017, SOURCE: 12th Portuguese Conference on Automatic Control, CONTROLO 2016 in Lecture Notes in Electrical Engineering, VOLUME: 402
INDEXED IN: Scopus CrossRef
79
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
INDEXED IN: Scopus CrossRef
80
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
INDEXED IN: Scopus CrossRef
Page 8 of 17. Total results: 164.