Ivan Gomes

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Sequence Analysis

Ctl Model Update

Top Venues

MoDELS (Companion)

Publications

Luís Silva, Ivan Gomes, C. Mendes Araújo, Tiago Cepeda, Francisco Oliveira, João Oliveira
A Regression Deep Learning Approach for Fashion Compatibility. ICEIS (1) (2024)
Ana Marta Sequeira, Ivan Gomes, Miguel Rocha
Word embeddings for protein sequence analysis. CIBCB (2023)
Hesham Almatary, Michael Dodson, Jessica Clarke, Peter Rugg, Ivan Gomes, Michal Podhradsky, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson
CompartOS: CHERI Compartmentalization for Embedded Systems. CoRR (2022)
Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban
Model checking as a service: towards pragmatic hidden formal methods. MoDELS (Companion) (2020)
Thomas Boyer Chammard, Blake Regalia, Robert Karban, Ivan Gomes
Assisted authoring of model-based systems engineering documents. MoDELS (Companion) (2020)