Andreas Glausch

According to our database1, Andreas Glausch authored at least 5 papers between 1999 and 2009.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
An ASM-Characterization of a Class of Distributed Algorithms.
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2007
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006
How Expressive Are Petri Net Schemata?.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

1999
Model-based reconstruction of organ surfaces from two-dimensional CT or MRT data of the head.
Proceedings of the Medical Imaging 1999: Image Processing, 1999

Modellbasierte Rekonstruktion von Organoberflächen auf der Basis von zweidimensionalen Schnittdaten.
Proceedings of the Bildverarbeitung für die Medizin 1999: Algorithmen, 1999


  Loading...