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
On Community Detection in Very Large NetworksAlexandre P. Francisco, Arlindo L. OliveiraCommunications in computer and information science book
Fully Generalized Graph CoresAlexandre P. Francisco, Arlindo L. OliveiraCommunications in computer and information science book