Publications

Dissertations

MSc Theses: 1

2021

- Rúben Alexandre Pereira Teixeira advised by Rui Policarpo Duarte and Pedro T. Monteiro, FPGA accelerated model checking of regulatory networks, MSc Thesis at Instituto Superior Técnico, Jan. 2021 [bibTex]