Andreas Glausch

Publication Activity (10 Years)

Years Active: 1999-2009
Publications (10 Years): 0

Publications

Andreas Glausch, Wolfgang Reisig
An ASM-Characterization of a Class of Distributed Algorithms. Rigorous Methods for Software Construction and Analysis (2009)
Andreas Glausch, Wolfgang Reisig
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. CALCO (2007)
Andreas Glausch, Wolfgang Reisig
How Expressive Are Petri Net Schemata?. ICATPN (2006)
Sebastian von Klinski, Andreas Glausch, Claus Derz, Thomas Tolxdorff
Modellbasierte Rekonstruktion von Organoberflächen auf der Basis von zweidimensionalen Schnittdaten. Bildverarbeitung für die Medizin (1999)
Sebastian von Klinski, Andreas Glausch, Thomas Tolxdorff
Model-based reconstruction of organ surfaces from two-dimensional CT or MRT data of the head. Medical Imaging: Image Processing (1999)