Designing a LTL Model-Checker Based on Unfolding Graphs. - Jean-Michel Couvreur; Sébastien Grivet; Denis Poitrenaud (ICATPN, 2000)

Unfolding of Products of Symmetrical Petri Nets. - Jean-Michel Couvreur; Sébastien Grivet; Denis Poitrenaud (ICATPN, 2001)

Bubble Tree Drawing Algorithm. - Sébastien Grivet; David Auber; Jean-Philippe Domenger; Guy Melançon (ICCVG, 2004)