|
Search the dblp DataBase
Gilles Geeraerts:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
Expand, Enlarge and Check... Made Efficient. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:394-407 [Conf]
- Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS. [Citation Graph (0, 0)][DBLP] FSTTCS, 2004, pp:287-298 [Conf]
- Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
On the omega-language Expressive Power of Extended Petri Nets. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:87-101 [Journal]
- Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 2006, v:72, n:1, pp:180-203 [Journal]
- Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
On the omega-language expressive power of extended Petri nets. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:356, n:3, pp:374-386 [Journal]
- Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
On the Efficient Computation of the Minimal Coverability Set for Petri Nets. [Citation Graph (0, 0)][DBLP] ATVA, 2007, pp:98-113 [Conf]
- Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
Well-structured languages. [Citation Graph (0, 0)][DBLP] Acta Inf., 2007, v:44, n:3-4, pp:249-288 [Journal]
Lattice-Valued Binary Decision Diagrams. [Citation Graph (, )][DBLP]
Realizability of Real-Time Logics. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|