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 2023 · math.GRShow all

2 papers · 2 filters

math.GR2023★ 1 cited

An axiomatization for the universal theory of the Heisenberg group

Anthony M. Gaglione, Dennis Spellman

The Heisenberg group, here denoted , is the group of all upper unitriangular matrices with entries in the ring of integers. A.G. Myasnikov posed the que…

math.GR2023

Amenability problem for Thompson's group : state of the art

Victor Guba

This is a survey of our recent results on the amenability problem for Thompson's group . They mostly concern esimating the density of finite subgraphs in Cayley graphs of fo…