Dulce Helena Pereira Costa Fernão Pires
AuthID: R-000-4C8
1
TITLE: Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
AUTHORS: Costa, D; Martins, MA;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
AUTHORS: Costa, D; Martins, MA;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2
TITLE: A Four-Valued Hybrid Logic with Non-dual Modal Operators
AUTHORS: Costa, D; Martins, MA ;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Costa, D; Martins, MA ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP3
TITLE: Modeling for Computer Simulation as a Tool for the Teaching of Transient Power Systems
AUTHORS: Sousa S Martins; Dulce Costa; Martins, JF ; Fernao F Pires ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Power Engineering, Energy and Electrical Drives in 2009 INTERNATIONAL CONFERENCE ON POWER ENGINEERING, ENERGY AND ELECTRICAL DRIVES
AUTHORS: Sousa S Martins; Dulce Costa; Martins, JF ; Fernao F Pires ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Power Engineering, Energy and Electrical Drives in 2009 INTERNATIONAL CONFERENCE ON POWER ENGINEERING, ENERGY AND ELECTRICAL DRIVES
4
TITLE: An Anti-Resonance Active Method for a Power Factor Correction Capacitive Systeme
AUTHORS: Fernao F Pires ; Dulce Costa; Gil Marques ; Fernando F Silva ;
PUBLISHED: 2008, SOURCE: 2008 IEEE Region 8 International Conference on Computational Technologies in Electrical and Electronics Engineering in 2008 IEEE REGION 8 INTERNATIONAL CONFERENCE ON COMPUTATIONAL TECHNOLOGIES IN ELECTRICAL AND ELECTRONICS ENGINEERING: SIBIRCON 2008, PROCEEDINGS
AUTHORS: Fernao F Pires ; Dulce Costa; Gil Marques ; Fernando F Silva ;
PUBLISHED: 2008, SOURCE: 2008 IEEE Region 8 International Conference on Computational Technologies in Electrical and Electronics Engineering in 2008 IEEE REGION 8 INTERNATIONAL CONFERENCE ON COMPUTATIONAL TECHNOLOGIES IN ELECTRICAL AND ELECTRONICS ENGINEERING: SIBIRCON 2008, PROCEEDINGS
5
TITLE: Passive and active anti-resonance capacitor systems for power factor correction
AUTHORS: Dulce Fernao Pires; Vitor Fernao Pires; Carlos Henggeler Antunes; Antonio Gomes Martins;
PUBLISHED: 2006, SOURCE: 12th International Power Electronics and Motion Control Conference in 2006 12TH INTERNATIONAL POWER ELECTRONICS AND MOTION CONTROL CONFERENCE, VOLS 1-4
AUTHORS: Dulce Fernao Pires; Vitor Fernao Pires; Carlos Henggeler Antunes; Antonio Gomes Martins;
PUBLISHED: 2006, SOURCE: 12th International Power Electronics and Motion Control Conference in 2006 12TH INTERNATIONAL POWER ELECTRONICS AND MOTION CONTROL CONFERENCE, VOLS 1-4
INDEXED IN: WOS
WOS