Benutzer: Gast  Login
Sortieren nach:
und:
Mehr ...

Mayr, Ernst W.
From Petri nets to polynomials and back: Models, their complexity, and new algorithms
Colloquium
ETH Zurich, Switzerland, November 15, 2010
2010

Mehr ...

Ablayev, Farid; Ernst W. Mayr
Proceedings of the 5th International Computer Science Symposium on Computer Science --- Theory and Applications, CSR 2010
Springer-Verlag
2010

Mehr ...

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

Mehr ...

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

Mehr ...

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

Mehr ...

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

Mehr ...

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

Mehr ...

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

Mehr ...

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

Mehr ...

Greiner, Gero; Jacob, Riko
The I/O complexity of sparse matrix dense matrix multiplication
143-156
Proceedings of the 9th Latin American Theoretical Informatics Symposium, LATIN'2010
Oaxaca, Mexico, April 19-23, 2010
Springer-Verlag
2010