Veröffentlichungen

2008

• Avoiding Irreducible CSC Conflicts by Internal Communication
  Mark Schaefer, Walter Vogler, Dominic Wist and Ralf Wollowski
  Application of Concurrency to System Design ACSD 2008
  IEEE 2008, 3-12
• Avoiding Irreducible CSC Conflicts by Internal Communication
  Mark Schaefer, Walter Vogler, Dominic Wist and Ralf Wollowski
  Technical Report, Institute of Computer Science, University of Augsburg, February 2008
  2008-02

2007

• DesiJ - A Tool for STG Decomposition
  Mark Schaefer
  Technical Report, Institute of Computer Science, University of Augsburg, October 2007
  2007-11
• Output-Determinacy and Asynchronous Circuit Synthesis
  Victor Khomenko, Mark Schaefer, Walter Vogler
  Application of Concurrency to System Design ACSD 2007
  IEEE 2007, 147-156
• Combining Decomposition and Unfolding for STG Synthesis
  Victor Khomenko, Mark Schaefer
  ICATPN 2007, LNCS 4546, 223 - 243
• Output-Determinacy and Asynchronous Circuit Synthesis
  Victor Khomenko, Mark Schaefer and Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, January 2007
  2007-02
• Combining Decomposition and Unfolding for STG Synthesis
  Victor Khomenko and Mark Schaefer
  Technical Report, Institute of Computer Science, University of Augsburg, January 2007
  2007-01

2006

• CSC-Aware STG Decomposition
  Mark Schaefer
  18th UK Asynchronous Forum, 2006
• Strategies for Optimised STG Decomposition
  Mark Schaefer, Walter Vogler, Ralf Wollowski, Victor Khomenko
  Application of Concurrency to System Design ACSD 2006
  IEEE 2006, 123 - 132

2005

• STG Decomposition: Optimised Backtracking and Component Reduction
  Mark Schaefer
  Technical Report, Institute of Computer Science, University of Augsburg, 2005
  2005-13
• Determinate STG Decomposition of Marked Graphs
  Mark Schaefer, Walter Vogler, Petr Jančar
  Applications and Theory of Petri Nets 2005, Miami, Juni 2005
  Eds.: G. Ciardo, P. Darondeau
  Springer 2005, Lect. Notes Comput. Sci. 3536, 365 – 384
  Copyright by Springer
• Component Refinement and CSC Solving for STG Decomposition
  Mark Schaefer, Walter Vogler
  FOSSACS 2005, Edinburgh, April 2005
  Ed.: V. Sassone
  Springer 2005, Lect. Notes Comput. Sci. 3441, 348 – 363
  Copyright by Springer

2004

• Component Refinement and CSC Solving for STG Decomposition
  Mark Schaefer, Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2004
  2004-13
• Determinate STG Decomposition of Marked Graphs
  Mark Schaefer, Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2004
  2004-12

2003

• Training and Holistic Computation of Vector Graphics with Hebbian Bases in Contrast to RAAM Networks
  Mark Schaefer, Werner Dilger
  Proceedings of the International Joint Conference on Neural Networks, 2003
• Representation and Training of Vector Graphics with RAAM Networks
  Mark Schaefer, Werner Dilger
  Proceedings of the International Joint Conference on Neural Networks 2003
• Distributed Representation of Vector Graphics
  Mark Schaefer
  Diploma Thesis, Technical University of Chemnitz, Faculty of Computer Science, March 2003

2002

• Linear and Quadratic Local Models for ICE-Networks
  Mark Schaefer, Werner Dilger
  Proceedings of the International Conference on Neural Information Processing, Singapore, November 2002
  Eds.: Lipo Wang, Jagath C. Rajapakse, Kunihiko Fukushima, Soo-Young Lee, Xin Yao
  Volume 1, pp. 40-44
  Copyright by IEEE