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
[2]
Hilfe
Suche: Author="Couvreur, Jean-Michel"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Branching processes of general Petri nets
Jean-Michel Couvreur
,
Denis Poitrenaud
,
Pascal Weil
Lecture Notes in Computer Science
6709
, 2011, pp. 129-148
On the equivalence between liveness and deadlock-freeness in Petri nets
Kamel Barkaoui
,
Jean-Michel Couvreur
,
Kais Klai
Lecture Notes in Computer Science
3536
, 2005, pp. 90-107
Data decision diagrams for Petri net analysis
Jean-Michel Couvreur
,
Emmanuelle Encrenaz
,
Emmanuel Paviot-Adet
,
Denis Poitrenaud
,
Pierre-André Wacrenier
Lecture Notes in Computer Science
2360
, 2002, pp. 101-120
Unfolding of products of symmetrical Petri nets
Jean-Michel Couvreur
,
Sébastien Grivet
,
Denis Poitrenaud
Lecture Notes in Computer Science
2075
, 2001, pp. 121-143
Designing a LTL model-checker based on unfolding graphs
Jean-Michel Couvreur
,
Sébastien Grivet
,
Denis Poitrenaud
Lecture Notes in Computer Science
1825
, 2000, pp. 123-145
Detection of illegal behaviors based on unfoldings
Jean-Michel Couvreur
,
Denis Poitrenaud
Lecture Notes in Computer Science
1639
, 1999, pp. 364-383