Peter Mayr
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1989–2023
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | MFCS | On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras. | Peter Mayr |
| 2021 | ICMLA | Verifying the Applicability of Synthetic Image Generation for Object Detection in Industrial Quality Inspection. | Majid Shirazi, Markus Schmitz, Simon Janssen, Anabelle Thies, Georgij Safronov, Amr Rizk, Peter Mayr, Philipp Engelhardt |
| 2016 | CSL | Quantified Constraint Satisfaction on Monoids. | Hubie Chen, Peter Mayr |
| 2000 | ISSAC | Algorithms for near-rings of non-linear transformations. | Franz Binder, Erhard Aichinger, Jrgen Ecker, Christof Nbauer, Peter Mayr |
| 1989 | GI | Kommunikationskonzepte fr verteilte Mikrocomputeranwendungen. | Peter Mayr |