Determinate STG Decomposition of Marked Graphs. - Mark Schäfer; Walter Vogler; Petr Jancar (ICATPN, 2005)

Strategies for Optimised STG Decomposition. - Mark Schäfer; Walter Vogler; Ralf Wollowski; Victor Khomenko (ACSD, 2006)

Combining Decomposition and Unfolding for STG Synthesis. - Victor Khomenko; Mark Schäfer (ICATPN, 2007)

Component refinement and CSC-solving for STG decomposition. - Mark Schäfer; Walter Vogler (Theor. Comput. Sci., 2007)

Output-Determinacy and Asynchronous Circuit Synthesis. - Victor Khomenko; Mark Schäfer; Walter Vogler (Fundam. Informaticae, 2008)

DESIJ–Enabling Decomposition-Based Synthesis of Complex Asynchronous Controllers. - Mark Schäfer; Dominic Wist; Ralf Wollowski (ACSD, 2009)

STG decomposition strategies in combination with unfolding. - Victor Khomenko; Mark Schäfer; Walter Vogler; Ralf Wollowski (Acta Informatica, 2009)

Avoiding Irreducible CSC Conflicts by Internal Communication. - Dominic Wist; Ralf Wollowski; Mark Schäfer; Walter Vogler (Fundam. Informaticae, 2009)

Advanced STG decomposition - Mark Schäfer (2009)

STG Decomposition: Internal Communication for SI Implementability. - Dominic Wist; Mark Schäfer; Walter Vogler; Ralf Wollowski (ACSD, 2010)