| 2025 | SMC | Enhancing the Dendritic Cell Algorithm through Automated Feature Reduction Techniques for Improved Anomaly Detection. | Vitor Pereira, Rui Pinto, Gil Gonalves |
| 2023 | CCS | Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge. | Samuel Dittmer, Karim Eldefrawy, Stphane Graham-Lengrand, Steve Lu, Rafail Ostrovsky, Vitor Pereira |
| 2023 | GECCO | Combining Evolutionary Algorithms with Reaction Rules Towards Focused Molecular Design. | Joo Correia, Vitor Pereira, Miguel Rocha |
| 2022 | CEC | Variational Autoencoders and Evolutionary Algorithms for Targeted Novel Enzyme Design. | Miguel Martins, Miguel Rocha, Vitor Pereira |
| 2022 | IJCNN | Development of Deep Learning approaches to predict relationships between chemical structures and sweetness. | Joo Capela, Joo Correia, Vitor Pereira, Miguel Rocha |
| 2022 | IJCNN | Predicting the number of biochemical transformations needed to synthesize a compound. | Joo Correia, Rafael Carreira, Vitor Pereira, Miguel Rocha |
| 2021 | CCS | Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. | Jos Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira |
| 2021 | PACBB | Combinatorial Optimization of Succinate Production in Escherichia coli. | Vitor Pereira, Miguel Rocha |
| 2019 | CCS | A Machine-Checked Proof of Security for AWS Key Management Service. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grgoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran |
| 2019 | CCS | A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation. | Karim Eldefrawy, Vitor Pereira |
| 2017 | CCS | A Fast and Verified Software Stack for Secure Function Evaluation. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Vitor Pereira |
| 2017 | ETFA | Feature selection using non-binary decision trees applied to condition monitoring. | Bruno Ferreira, Rui Gabriel Azevedo Silva, Vitor Pereira |
| 2017 | FNC | Optimizing Segment Routing using Evolutionary Computation. | Vitor Pereira, Miguel Rocha, Pedro Sousa |
| 2017 | GECCO | Evolutionary computation at work for the optimization of link state routing protocols. | Vitor Pereira, Pedro Sousa, Miguel Rocha |
| 2015 | EMO | Comparison of Single and Multi-objective Evolutionary Algorithms for Robust Link-State Routing. | Vitor Pereira, Pedro Sousa, Paulo Cortez, Miguel Rio, Miguel Rocha |
| 2015 | IDC | Automated Network Resilience Optimization Using Computational Intelligence Methods. | Vitor Pereira, Miguel Rocha, Pedro Sousa |
| 2013 | DCAI | Robust Optimization of Intradomain Routing Using Evolutionary Algorithms. | Vitor Pereira, Pedro Sousa, Paulo Cortez, Miguel Rio, Miguel Rocha |