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
Hilfe
Suche: Author="Feret, Jerome"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Graphs, rewriting and pathway reconstruction for rule-based models
Vincent Danos
,
Jerome Feret
,
Walter Fontana
,
Russell Harmer
,
Jonathan Hayman
,
Jean Krivine
,
Chris Thompson-Walsh
,
Glynn Winskel
Leibniz International Proceedings in Informatics (LIPIcs)
18
, 2012, pp. 276-288
Lumpability abstractions of rule-based systems
Jerome Feret
,
Thomas Henzinger
,
Heinz Koeppl
,
Tatjana Petrov
Theoretical Computer Science
431
, 2012, pp. 137-164