Mark Schäfer

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Dominic Wist, Mark Schäfer, Walter Vogler, Ralf Wollowski
STG Decomposition: Internal Communication for SI Implementability. ACSD (2010)
Mark Schäfer, Dominic Wist, Ralf Wollowski
DESIJ--Enabling Decomposition-Based Synthesis of Complex Asynchronous Controllers. ACSD (2009)
Dominic Wist, Ralf Wollowski, Mark Schäfer, Walter Vogler
Avoiding Irreducible CSC Conflicts by Internal Communication. Fundam. Informaticae 95 (1) (2009)
Victor Khomenko, Mark Schäfer, Walter Vogler, Ralf Wollowski
STG decomposition strategies in combination with unfolding. Acta Informatica 46 (6) (2009)
Victor Khomenko, Mark Schäfer, Walter Vogler
Output-Determinacy and Asynchronous Circuit Synthesis. Fundam. Informaticae 88 (4) (2008)
Mark Schäfer, Walter Vogler, Dominic Wist, Ralf Wollowski
Avoiding irreducible CSC conflicts by internal communication. ACSD (2008)
Mark Schäfer, Walter Vogler
Component refinement and CSC-solving for STG decomposition. Theor. Comput. Sci. 388 (1-3) (2007)
Victor Khomenko, Mark Schäfer
Combining Decomposition and Unfolding for STG Synthesis. ICATPN (2007)
Victor Khomenko, Mark Schäfer, Walter Vogler
Output-Determinacy and Asynchronous Circuit Synthesis. ACSD (2007)
Mark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko
Strategies for Optimised STG Decomposition. ACSD (2006)
Mark Schäfer, Walter Vogler
Component Refinement and CSC Solving for STG Decomposition. FoSSaCS (2005)
Mark Schäfer, Walter Vogler, Petr Jancar
Determinate STG Decomposition of Marked Graphs. ICATPN (2005)