Bárbara Vieira
AuthID: R-001-QVJ
1
TITLE: Enhancing Functionalization of Health Care Textiles with Gold Nanoparticle-Loaded Hydroxyapatite Composites
AUTHORS: Vieira, Barbara; Padrao, Jorge; Alves, Catia; Silva, Carla Joana; Vilaca, Helena; Zille, Andrea;
PUBLISHED: 2023, SOURCE: NANOMATERIALS, VOLUME: 13, ISSUE: 11
AUTHORS: Vieira, Barbara; Padrao, Jorge; Alves, Catia; Silva, Carla Joana; Vilaca, Helena; Zille, Andrea;
PUBLISHED: 2023, SOURCE: NANOMATERIALS, VOLUME: 13, ISSUE: 11
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: CAOVerif: An open-source deductive verification platform for cryptographic software implementations Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B
3
TITLE: Formal verification of side-channel countermeasures using self-composition Full Text
AUTHORS: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 7
AUTHORS: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 7
4
TITLE: Verifying Cryptographic Software Correctness with Respect to Reference Implementations Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLISHED: 2009, SOURCE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLISHED: 2009, SOURCE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825
