Assisted authoring of model-based systems engineering documents. - Thomas Boyer Chammard; Blake Regalia; Robert Karban; Ivan Gomes (MoDELS (Companion), 2020)

Model checking as a service: towards pragmatic hidden formal methods. - Benedek Horváth; Bence Graics; Ákos Hajdu; Zoltán Micskei; Vince Molnár; István Ráth; Luigi Andolfato; Ivan Gomes; Robert Karban (MoDELS (Companion), 2020)

CompartOS: CHERI Compartmentalization for Embedded Systems. - Hesham Almatary; Michael Dodson; Jessica Clarke 001; Peter Rugg; Ivan Gomes; Michal Podhradsky; Peter G. Neumann; Simon W. Moore; Robert N. M. Watson (CoRR, 2022)

Word embeddings for protein sequence analysis. - Ana Marta Sequeira; Ivan Gomes; Miguel Rocha 001 (CIBCB, 2023)

A Regression Deep Learning Approach for Fashion Compatibility. - Luís Silva; Ivan Gomes; C. Mendes Araújo; Tiago Cepeda; Francisco Oliveira 009; João Oliveira (ICEIS (1), 2024)