Peter Mayr

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 14

Top Topics

Stainless Steel

Constraint Satisfaction

Hypertree Decomposition

Higher Education

Top Venues

Int. J. Algebra Comput.

Log. Methods Comput. Sci.

Publications

Peter Mayr
On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras. MFCS (2023)
Alexandr Kazda, Peter Mayr, Dmitriy Zhuk
Small Promise CSPs that reduce to large CSPs. Log. Methods Comput. Sci. 18 (3) (2022)
Majid Shirazi, Markus Schmitz, Simon Janssen, Anabelle Thies, Georgij Safronov, Amr Rizk, Peter Mayr, Philipp Engelhardt
Verifying the Applicability of Synthetic Image Generation for Object Detection in Industrial Quality Inspection. ICMLA (2021)
Alexandr Kazda, Peter Mayr, Dmitriy Zhuk
Small PCSPs that reduce to large CSPs. CoRR (2021)
Guofeng Deng, Ezzeddine El Sai, Trevor Manders, Peter Mayr, Poramate Nakkirt, Athena Sparks
Sandwiches for Promise Constraint Satisfaction. CoRR (2020)
Dariia Strelnikova, Gernot Paulus, Sabine Käfer, Karl-Heinrich Anders, Peter Mayr, Helmut Mader, Ulf Scherling, Rudi Schneeberger
Drohnenbasierte optische Ermittlung von heterogenen Oberflächenströmungsmustern in der Nähe von Fischaufstiegshilfen / Drone-based Optical Detection of Heterogeneous Surface Flow Patterns in the Vicinity of Fish Ladders. AGIT Journal 6 (2020)
Dariia Strelnikova, Gernot Paulus, Sabine Käfer, Karl-Heinrich Anders, Peter Mayr, Helmut Mader, Ulf Scherling, Rudi Schneeberger
Drone-Based Optical Measurements of Heterogeneous Surface Velocity Fields around Fish Passages at Hydropower Dams. Remote. Sens. 12 (3) (2020)
William J. DeMeo, Peter Mayr, Nik Ruskuc
Bounded homomorphisms and finitely generated fiber products of lattices. Int. J. Algebra Comput. 30 (04) (2020)
Andrei Bulatov, Peter Mayr, Ágnes Szendrei
The Subpower Membership Problem for Finite Algebras with Cube Terms. Log. Methods Comput. Sci. 15 (1) (2019)
Peter Mayr, Nik Ruskuc
Generating subdirect products. J. Lond. Math. Soc. 100 (2) (2019)
Andrei Bulatov, Peter Mayr, Ágnes Szendrei
The Subpower Membership Problem for Finite Algebras with Cube Terms. CoRR (2018)
Hubie Chen, Peter Mayr
Quantified Constraint Satisfaction on Monoids. CSL (2016)
Andrei Bulatov, Peter Mayr, Markus Steindl
The subpower membership problem for semigroups. CoRR (2016)
Andrei Bulatov, Marcin Kozik, Peter Mayr, Markus Steindl
The subpower membership problem for semigroups. Int. J. Algebra Comput. 26 (7) (2016)
Peter Mayr, Harald Bendl, Frauke Mörike
The Double-Effect Approach to Serious Games in Higher Education: Students Designing and Developing Serious Games for Other Students. GALA (2015)
Erhard Aichinger, Peter Mayr
Independence of algebras with edge term. Int. J. Algebra Comput. 25 (7) (2015)
Peter Mayr
The Subpower Membership Problem for Mal'cEV Algebras. Int. J. Algebra Comput. 22 (7) (2012)
Peter Mayr
Polynomial Clones on Squarefree Groups. Int. J. Algebra Comput. 18 (4) (2008)
Günter Landsmann, Peter Mayr, Josef Schicho
A Topological Criterion for Polynomiality. Algorithmic Algebra and Logic (2005)
Julia Gerhard, Peter Mayr
Competing in the E-learning Environment--Strategies for Universities. HICSS (2002)
Franz Binder, Peter Mayr
Algorithms for Finite Near-rings and their N-groups. J. Symb. Comput. 32 (1/2) (2001)
Franz Binder, Erhard Aichinger, Jürgen Ecker, Christof Nöbauer, Peter Mayr
Algorithms for near-rings of non-linear transformations. ISSAC (2000)
Peter Mayr
Kommunikationskonzepte für verteilte Mikrocomputeranwendungen. GI Jahrestagung (1) (1989)