Ernst W. Mayr
Affiliations:- TU Munich, Faculty of Computer Science
- Johann Wolfgang Goethe University of Frankfurt, Institute of Computer Science
- Stanford University, Department of Computer Science
According to our database1,
Ernst W. Mayr
authored at least 74 papers
between 1981 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
On csauthors.net:
Bibliography
2022
2021
2017
Theory Comput. Syst., 2017
2016
Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Arc Multiplicities.
Fundam. Informaticae, 2016
2015
Complexity Results for Problems of Communication-Free Petri Nets and Related Formalisms.
Fundam. Informaticae, 2015
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015
2014
A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
2013
J. Symb. Comput., 2013
Completeness Results for Generalized Communication-Free Petri Nets with Arbitrary Edge Multiplicities.
Proceedings of the Reachability Problems - 7th International Workshop, 2013
Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013
2011
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011
2010
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010
From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk).
Proceedings of the Computer Algebra in Scientific Computing - 12th International Workshop, 2010
2009
2008
Lebenslanges Lernen in der Informatik: Beiträge der Hochschulen und Erwartungen der Wirtschaft - Vorwort.
Proceedings of the Lebenslanges Lernen in der Informatik: Workshop im Rahmen der GI-Jahrestagung INFORMATIK 2008 am 11. September 2008 in München, 2008
2007
Motion planning for 6R-Robots: multiple tasks with constrained velocity and orientation of the end-effector.
Proceedings of the Symbolic-Numeric Computation, 2007
Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations.
Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007
2006
Proceedings of the Computer Algebra in Scientific Computing, 9th International Workshop, 2006
2005
Fachinformationssystem Informatik (FIS-I) und Semantische Technologien für Informationsportale (SemIPort).
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005
Proceedings of the Computer Algebra in Scientific Computing, 8th International Workshop, 2005
2004
Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004
Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods.
Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004
2003
Konzeption und Betrieb eines Kompetenz- und Dienstleistungsnetzes für die Informatik.
Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003
2002
J. Algorithms, 2002
2001
Theor. Comput. Sci., 2001
An Optimal Algorithm for Constructing the Reduced Gröbner Basis of Binomial Ideals, and Applications to Commutative Semigroups.
J. Symb. Comput., 2001
J. Parallel Distributed Comput., 2001
2000
Optimal Algorithms for the Coverability, the Subword, the Containment, and the Equivalence Problems for Commutative Semigroups.
Inf. Comput., 2000
Proceedings of the Theoretical Computer Science, 2000
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000
1999
J. Symb. Comput., 1999
Proceedings of the Informatik '99, 1999
1998
Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures, 1998
Proceedings of the Euro-Par '98 Parallel Processing, 1998
1997
Algorithmica, 1997
The Complexity of the Coverability, the Containment, and the Equivalence Problems for Commutative Semigroups.
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997
1996
A New Efficient Algorithm for Embedding an Arbitrary Binary Tree into Its Optimal Hypercube.
J. Algorithms, 1996
Proceedings of the STACS 96, 1996
Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, 1996
Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1996
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996
Proceedings of the Euro-Par '96 Parallel Processing, 1996
Proceedings of the Euro-Par '96 Parallel Processing, 1996
1995
J. Parallel Distributed Comput., 1995
Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995
1994
Optimal Expression Evaluation and Term Matching on the Boolean Hypercube and on Hypercubic Networks.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994
1993
J. Parallel Distributed Comput., 1993
Proceedings of the Algorithms - ESA '93, First Annual European Symposium, Bad Honnef, Germany, September 30, 1993
1992
Optimal Implementation of General Divide-and-Conquer on the Hypercube and Related Networks.
Proceedings of the Parallel Architectures and Their Efficient Use, 1992
1991
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991
1989
Theor. Comput. Sci., 1989
Proceedings of the STACS 89, 1989
1988
Parallel Approximation Algorithms.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
1987
1986
Proceedings of the Graphtheoretic Concepts in Computer Science, International Workshop, 1986
Perfect Graphs and Parallel Algorithms.
Proceedings of the International Conference on Parallel Processing, 1986
1984
1983
Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983
1981