Stephen Curial

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Ondrej Lhoták, Stephen Curial, José Nelson Amaral
An Optimal Encoding to Represent a Single Set in an ROBDD. IEEE Trans. Computers 59 (4) (2010)
Ondrej Lhoták, Stephen Curial, José Nelson Amaral
Using XBDDs and ZBDDs in points-to analysis. Softw. Pract. Exp. 39 (2) (2009)
Stephen Curial, Peng Zhao, José Nelson Amaral, Yaoqing Gao, Shimin Cui, Raúl Silvera, Roch Archambault
MPADS: memory-pooling-assisted data splitting. ISMM (2008)
Ondrej Lhoták, Stephen Curial, José Nelson Amaral
Using ZBDDs in Points-to Analysis. LCPC (2007)
Kevin Andrusky, Stephen Curial, José Nelson Amaral
Tree-Traversal Orientation Analysis. LCPC (2006)
Davood Rafiei, Stephen Curial
ALVIN: a system for visualizing large networks. WWW (Special interest tracks and posters) (2005)
Davood Rafiei, Stephen Curial
Effectively Visualizing Large Networks Through Sampling. IEEE Visualization (2005)