Improved Model Checking Techniques for State Space Analysis of Gene Regulatory NetworksHelio Pais, Kenneth L. McMillan, Ellen Sentovich, Ana T. Freitas, Arlindo L. OliveiraIGI Global eBooks book
Mining Large Query Induced Graphs towards a Hierarchical Query FolksonomyAlexandre P. Francisco, Ricardo Baeza‐Yates, Arlindo L. OliveiraLecture notes in computer science book
Parallel and Distributed Compressed IndexesLuís M. S.Russo, Gonzalo Navarro, Arlindo L. OliveiraLecture notes in computer science book
A Data Mining Approach for the Detection of High-Risk Breast Cancer GroupsOrlando Anunciação, Bruno Costa Gomes, Susana Vinga, Jorge Gaspar, Arlindo L. Oliveira, José RueffAdvances in intelligent and soft computing book