| * | 2009 |
|---|
| 8 | EE | Laurent Doyen,
Gilles Geeraerts,
Jean-François Raskin,
Julien Reichert:
Realizability of Real-Time Logics.
FORMATS 2009: 133-148 |
| 2007 |
|---|
| 7 | EE | Gilles Geeraerts,
Jean-François Raskin,
Laurent Van Begin:
On the Efficient Computation of the Minimal Coverability Set for Petri Nets.
ATVA 2007: 98-113 |
| 6 | EE | Gilles Geeraerts,
Jean-François Raskin,
Laurent Van Begin:
Well-structured languages.
Acta Inf. 44(3-4): 249-288 (2007) |
| 2006 |
|---|
| 5 | EE | Gilles Geeraerts,
Jean-François Raskin,
Laurent Van Begin:
Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS.
J. Comput. Syst. Sci. 72(1): 180-203 (2006) |
| 4 | EE | Alain Finkel,
Gilles Geeraerts,
Jean-François Raskin,
Laurent Van Begin:
On the omega-language expressive power of extended Petri nets.
Theor. Comput. Sci. 356(3): 374-386 (2006) |
| 2005 |
|---|
| 3 | EE | Gilles Geeraerts,
Jean-François Raskin,
Laurent Van Begin:
Expand, Enlarge and Check... Made Efficient.
CAV 2005: 394-407 |
| 2 | EE | Alain Finkel,
Gilles Geeraerts,
Jean-François Raskin,
Laurent Van Begin:
On the omega-language Expressive Power of Extended Petri Nets.
Electr. Notes Theor. Comput. Sci. 128(2): 87-101 (2005) |
| 2004 |
|---|
| 1 | EE | Gilles Geeraerts,
Jean-François Raskin,
Laurent Van Begin:
Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS.
FSTTCS 2004: 287-298 |
