Effectively Visualizing Large Networks Through Sampling. - Davood Rafiei; Stephen Curial (IEEE Visualization, 2005)

ALVIN: a system for visualizing large networks. - Davood Rafiei; Stephen Curial (WWW (Special interest tracks and posters), 2005)

Tree-Traversal Orientation Analysis. - Kevin Andrusky; Stephen Curial; José Nelson Amaral (LCPC, 2006)

Using ZBDDs in Points-to Analysis. - Ondrej Lhoták; Stephen Curial; José Nelson Amaral (LCPC, 2007)

MPADS: memory-pooling-assisted data splitting. - Stephen Curial; Peng Zhao; José Nelson Amaral; Yaoqing Gao; Shimin Cui; Raúl Silvera; Roch Archambault (ISMM, 2008)

Using XBDDs and ZBDDs in points-to analysis. - Ondrej Lhoták; Stephen Curial; José Nelson Amaral (Softw. Pract. Exp., 2009)

An Optimal Encoding to Represent a Single Set in an ROBDD. - Ondrej Lhoták; Stephen Curial; José Nelson Amaral (IEEE Trans. Computers, 2010)