1
TÍTULO: A Four-Valued Hybrid Logic with Non-dual Modal Operators
AUTORES: Costa, D; Martins, MA ;
PUBLICAÇÃO: 2020, FONTE: 2nd International Workshop on Dynamic Logic (DaLi) as part of the Formal Methods Week / 3rd World Congress on Formal Methods in DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, DALI 2019, VOLUME: 12005
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2
TÍTULO: Efficiency and Sufficiency in electric energy: a study with higher education students
AUTORES: José L Sousa; Jorge Junior; Alexandre J Silva; Dulce H Costa;
PUBLICAÇÃO: 2019, FONTE: 14th Conference on Sustainable Development of Energy, Water and Environment Systems (SDEWES)
INDEXADO EM: Handle
3
TÍTULO: Passive and active anti-resonance capacitor systems for power factor correction
AUTORES: Dulce Fernao Pires; Vitor Fernao Pires; Carlos Henggeler Antunes; Antonio Gomes Martins;
PUBLICAÇÃO: 2006, FONTE: 12th International Power Electronics and Motion Control Conference in 2006 12TH INTERNATIONAL POWER ELECTRONICS AND MOTION CONTROL CONFERENCE, VOLS 1-4
INDEXADO EM: WOS