Mark Schäfer

According to our database, Mark Schäfer authored at least 10 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

STG Decomposition: Internal Communication for SI Implementability.

Dominic Wist, Mark Schäfer, Walter Vogler, Ralf Wollowski

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Advanced STG decomposition

Mark Schäfer

PhD thesis, 2009

Avoiding Irreducible CSC Conflicts by Internal Communication.

Dominic Wist, Ralf Wollowski, Mark Schäfer, Walter Vogler

Fundam. Informaticae, 2009

STG decomposition strategies in combination with unfolding.

Victor Khomenko, Mark Schäfer, Walter Vogler, Ralf Wollowski

Acta Informatica, 2009

DESIJ--Enabling Decomposition-Based Synthesis of Complex Asynchronous Controllers.

Mark Schäfer, Dominic Wist, Ralf Wollowski

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Output-Determinacy and Asynchronous Circuit Synthesis.

Victor Khomenko, Mark Schäfer, Walter Vogler

Fundam. Informaticae, 2008

2007

Component refinement and CSC-solving for STG decomposition.

Mark Schäfer, Walter Vogler

Theor. Comput. Sci., 2007

Combining Decomposition and Unfolding for STG Synthesis.

Victor Khomenko, Mark Schäfer

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Strategies for Optimised STG Decomposition.

Mark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Determinate STG Decomposition of Marked Graphs.

Mark Schäfer, Walter Vogler, Petr Jancar

Proceedings of the Applications and Theory of Petri Nets 2005, 2005