Mayr, Ernst W.; Weihmann, JeremiasCompleteness Results for Generalized Communication-free Petri Nets with Arbitrary Edge Multiplicities209-221Reachalbility Problems7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013Springer-Verlag2013
Mayr, Ernst W.; Weihmann, JeremiasResults on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri-Nets70-89Application and Theory of Petri Nets and Concurrency34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013Springer-Verlag2013
Gerdt, Vladimir P.; Koepf, Wolfram; Mayr, Ernst W.; Vorozhtsov, Evgenii V.Computer Algebra in Scientific Computing, 15th International Workshop, CASC 2013Springer International Publishing2013
Täubig, Hanjo; Weihmann, Jeremias; Kosub, Sven; Hemmecke, Raymond; Mayr, Ernst W.Inequalities for the Number of Walks in GraphsAlgorithmica2013664Aug804-828
Mayr, Ernst W.; Ritscher, StephanDimension-dependent bounds for Gröbner bases of polynomial idealsJournal of Symbolic Computation201349Feb78-94
Login
