output
20232026
most citedA higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems

6 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2026Show all

3 papers · 1 filter

math.GR2026

Quadratic Equations in Graph Products of Groups and the Exponent of Periodicity

Volker Diekert, Silas Natterer, Alexander Thumm

In 1977, Makanin established the decidability of equations in free monoids. A key ingredient in his proof is the exponent of periodicity: for a word , it is the largest exponent…

math.GR2026

The group identification problem for -groups of small order

Bettina Eick, Henrik Schanze

We investigate which group-theoretic invariants are powerful in distinguishing among non-isomorphic p-groups. Based on this, we devise an effective algorithm to solve the group ide…

math.LO2026

On the Diophantine problem related to power circuits

Alexander Rybalov

Myasnikov, Ushakov, and Won introduced power circuits in 2012 to construct a polynomial-time algorithm for the word problem in the Baumslag group, which has a non-elementary Dehn f…