Mayr, Ernst W.; Weihmann, Jeremias
Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Edge Multiplicities
209-221
Reachalbility Problems
7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013
Springer-Verlag
2013

Mayr, Ernst W.; Weihmann, Jeremias
Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri-Nets
70-89
Application and Theory of Petri Nets and Concurrency
34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013
Springer-Verlag
2013

Gerdt, Vladimir P.; Koepf, Wolfram; Mayr, Ernst W.; Vorozhtsov, Evgenii V.
Computer Algebra in Scientific Computing, 15th International Workshop, CASC 2013
Springer International Publishing
2013

Täubig, Hanjo; Weihmann, Jeremias; Kosub, Sven; Hemmecke, Raymond; Mayr, Ernst W.
Inequalities for the Number of Walks in Graphs
Algorithmica
2013
66
4
Aug
804-828

Mayr, Ernst W.; Ritscher, Stephan
Dimension-dependent bounds for Gröbner bases of polynomial ideals
Journal of Symbolic Computation
2013
49
Feb
78-94