User: Guest  Login
Sort by:
and:
next

Mayr, Ernst W.
From Petri nets to polynomials and back: Models, their complexity, and new algorithms
Colloquium
ETH Zurich, Switzerland, November 15, 2010
2010
Ablayev, Farid; Ernst W. Mayr
Proceedings of the 5th International Computer Science Symposium on Computer Science --- Theory and Applications, CSR 2010
Springer-Verlag
2010
Gall, Dominik; Jacob, Riko; Richa, A.; Scheideler, C.; Schmid, S.; Täubig, H.
Time complexity of distributed topological self-stabilization : The case of graph linearization
294-305
Proceedings of the 9th Latin American Symposium on Theoretical Informatics, LATIN'2010
Oaxaca, Mexico, April 19-23, 2010
Springer-Verlag
2010
Gerdt, Vladimir P.; Koepf Wolfram; Mayr, Ernst W.; Vorozhtsov, Evgenii V.
Computer Algebra in Scientific Computing - 12th International Workshop (Tsakhkadzor, Armenia, September 6-12, 2010)
Springer-Verlag
2010
Mayr, Ernst W.
From Petri nets to polynomials: Modeling, algoirthms, and complexity
204-204
Proceedings of the 12th International Workshop on Computer Algebra in Scientific Computing, CASC 2010
Tsakhkadzor, Armenia, September 6-12, 2010
Springer-Verlag
2010
Bender, Michael A.; Brodal, Gerth Stolting; Fagerberg, Rolf; Jacob, Riko; Vicari Elias
Optimal sparse matrix dense vector multiplication in the I/O-model
Theory of Computing Systems
2010
47
4
934-962
Mayr, Ernst W.; Ritscher, Stephan
Degree bounds for Gröbner bases of low-dimensional polynomial ideals
21-27
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC'2010 (35th)
Munich, Germany, July 25-28, 2010
ACM Press
2010
Greiner, Gero; Jacob, Riko
Evaluating non-square sparse bilinear forms on multiple vector pairs in the I/O-model
393-404
Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, MFCS'2010
Brno, Czech Republic, August 23-27, 2010
Springer-Verlag
2010
Jacob, Riko; Ritscher, Stephan; Scheideler, Christian; Schmid, Stefan
A self stabilizing and local Delaunay graph construction
771-780
Proceedings of the 20th International Symposium on Algorithms and Computation, ISAAC'2009
Honolulu, Hawaii, USA, December 16-18, 2009
Springer-Verlag
2009
Gall, Dominik,; Jacob, Riko; Richa, Andrea; Scheideler, Christian; Schmid, Stefan; Täubig, Hanjo
Modeling scalability in distributed self-stabilization: The case of graph linearization
294-305
Proceedings of the 9th Latin American Theoretical Informatics Symposium, LATIN'2010
Oaxaca, Mexico, April 19-23, 2010
Springer-Verlag
2010
Sort by:
and:
next