Mark Schäfer

According to our database1, Mark Schäfer
  • authored at least 12 papers between 2005 and 2010.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
STG Decomposition: Internal Communication for SI Implementability.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009
Avoiding Irreducible CSC Conflicts by Internal Communication.
Fundam. Inform., 2009

STG decomposition strategies in combination with unfolding.
Acta Inf., 2009

DESIJ--Enabling Decomposition-Based Synthesis of Complex Asynchronous Controllers.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008
Output-Determinacy and Asynchronous Circuit Synthesis.
Fundam. Inform., 2008

Avoiding irreducible CSC conflicts by internal communication.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007
Component refinement and CSC-solving for STG decomposition.
Theor. Comput. Sci., 2007

Combining Decomposition and Unfolding for STG Synthesis.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

Output-Determinacy and Asynchronous Circuit Synthesis.
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006
Strategies for Optimised STG Decomposition.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
Component Refinement and CSC Solving for STG Decomposition.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

Determinate STG Decomposition of Marked Graphs.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005


  Loading...