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="Weihmann, Jeremias"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A framework for classical Petri net problems: Conservative Petri nets as an application
Ernst W. Mayr
,
Jeremias Weihmann
Lecture Notes in Computer Science
8489
, 2014, pp. 314-333
Results on equivalence, boundedness, liveness, and covering problems of BPP-Petri nets
Ernst W. Mayr
,
Jeremias Weihmann
Lecture Notes in Computer Science
7927
, 2013, pp. 70-89
Completeness results for generalized communication-free Petri nets with arbitrary edge multiplicities
Ernst W. Mayr
,
Jeremias Weihmann
Lecture Notes in Computer Science
8169
, 2013, pp. 209-221
Inequalities for the number of walks in graphs
Hanjo Täubig
,
Jeremias Weihmann
,
Sven Kosub
,
Raymond Hemmecke
,
Ernst W. Mayr
Algorithmica
66
(4), 2013, pp. 804-828