Miriam C. B. Bergue Alves
AuthID: R-00G-WA7
1
TITLE: Exploring the impact of breathing patterns on active drag in breaststroke swimming
AUTHORS: Alves, Miriam; Barbosa, Tiago M.; Vilas Boas, Joao Paulo;
PUBLISHED: 2024, SOURCE: JOURNAL OF BIOMECHANICS, VOLUME: 177
AUTHORS: Alves, Miriam; Barbosa, Tiago M.; Vilas Boas, Joao Paulo;
PUBLISHED: 2024, SOURCE: JOURNAL OF BIOMECHANICS, VOLUME: 177
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Variability of energy cost in breaststroke technique: a systematic review Full Text
AUTHORS: Alves, Miriam; Barbosa, Tiago M.; Vilas Boas, Joao Paulo;
PUBLISHED: 2024, SOURCE: SPORTS BIOMECHANICS
AUTHORS: Alves, Miriam; Barbosa, Tiago M.; Vilas Boas, Joao Paulo;
PUBLISHED: 2024, SOURCE: SPORTS BIOMECHANICS
3
TITLE: Formal Verification of a Space System's User Interface With the IVY Workbench Full Text
AUTHORS: Campos, JC ; Sousa, M; Alves, MCB; Harrison, MD ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, ISSUE: 2
AUTHORS: Campos, JC ; Sousa, M; Alves, MCB; Harrison, MD ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, ISSUE: 2
4
TITLE: Formal Verification of Safety-Critical User Interfaces: a space system case study
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: 2014 AAAI Spring Symposium in 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, VOLUME: SS-14-02
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: 2014 AAAI Spring Symposium in 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, VOLUME: SS-14-02
INDEXED IN: Scopus 
DBLP
Scopus DBLP