Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Geeraerts, Gilles"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
\omega
-Petri nets
Gilles Geeraerts
,
Alexander Heußner
,
M. Praveen
,
Jean-François Raskin
Lecture Notes in Computer Science
7927
, 2013, pp. 49-69
On reachability for hybrid automata over bounded time
Thomas Brihaye
,
Laurent Doyen
,
Gilles Geeraerts
,
Joël Ouaknine
,
Jean-François Raskin
,
James Worrell
Lecture Notes in Computer Science
6756
, 2011, pp. 416-427
On the efficient computation of the minimal coverability set of Petri nets
Gilles Geeraerts
,
Jean-François Raskin
,
Laurent van Begin
International Journal of Foundations of Computer Science
21
(2), 2010, pp. 135-165
Well-structured languages
Gilles Geeraerts
,
Jean-François Raskin
,
Laurent Van Begin
Acta Informatica
44
(3-4), 2007, pp. 249-288
Expand, enlarge, and check: New algorithms for the coverability problem of WSTS
Gilles Geeraerts
,
Jean-François Raskin
,
Laurent Van Begin
Lecture Notes in Computer Science
3328
, 2004, pp. 287-298