Mário Pereira

A Toolchain to Produce Verified OCaml Libraries

Andrei Paskevich, Jean-Christophe Filliâtre, Cláudio Belo Lourenço, 2020 .

A Toolchain to Produce Correct-by-Construction OCaml Programs

Andrei Paskevich, Jean-Christophe Filliâtre, Léon Gondelman, 2018 .

Proposal of counting method for bubble detectors and their intercomparisons

Mário Pereira, Ademir Xavier da Silva, Eduardo Ramalho, 2009 .

Port Infrastructure Control (Madeira Island, Portugal) through a Hybrid Monitoring System (GNSS and Accelerometers)

Ana Cláudia Teodoro, Mário Pereira, Fernando Veloso-Gomes, 2016 .

Europe and the future for WPT

Smail Tedjini, Hendrik Rogier, Sofie Pollin, 2017 .

Enhanced resistive switching and multilevel behavior in bilayered HfAlO/HfAlOx structures for non-volatile memory applications

Mário Pereira, José Silva, M. Gomes, 2015 .

The influence of the morphological characteristics of nanoporous anodic aluminium oxide (AAO) structures on capacitive touch sensor performance: a biological application

Manuel F. M. Costa, Vasco Teixeira, Mário Pereira, 2018, RSC advances.