Login / Signup
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)