Mark Schäfer

13 papers B 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2010 — conf
STG Decomposition: Internal Communication for SI Implementability.
ACSD
Dominic Wist, Mark Schäfer, Walter Vogler, Ralf Wollowski
2009 — —
Advanced STG decomposition
Mark Schäfer
2009 J jnl
Avoiding Irreducible CSC Conflicts by Internal Communication.
Fundam. Informaticae
Dominic Wist, Ralf Wollowski, Mark Schäfer, Walter Vogler
2009 — conf
DESIJ--Enabling Decomposition-Based Synthesis of Complex Asynchronous Controllers.
ACSD
Mark Schäfer, Dominic Wist, Ralf Wollowski
2009 J jnl
STG decomposition strategies in combination with unfolding.
Acta Informatica
Victor Khomenko, Mark Schäfer, Walter Vogler, Ralf Wollowski
2008 — conf
Avoiding irreducible CSC conflicts by internal communication.
ACSD
Mark Schäfer, Walter Vogler, Dominic Wist, Ralf Wollowski
2008 J jnl
Output-Determinacy and Asynchronous Circuit Synthesis.
Fundam. Informaticae
Victor Khomenko, Mark Schäfer, Walter Vogler
2007 — conf
Combining Decomposition and Unfolding for STG Synthesis.
ICATPN
Victor Khomenko, Mark Schäfer
2007 J jnl
Component refinement and CSC-solving for STG decomposition.
Theor. Comput. Sci.
Mark Schäfer, Walter Vogler
2007 — conf
Output-Determinacy and Asynchronous Circuit Synthesis.
ACSD
Victor Khomenko, Mark Schäfer, Walter Vogler
2006 — conf
Strategies for Optimised STG Decomposition.
ACSD
Mark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko
2005 B conf
Component Refinement and CSC Solving for STG Decomposition.
FoSSaCS
Mark Schäfer, Walter Vogler
2005 — conf
Determinate STG Decomposition of Marked Graphs.
ICATPN
Mark Schäfer, Walter Vogler, Petr Jancar