Michael Altenhofen

Publication Activity (10 Years)

Years Active: 1993-2010
Publications (10 Years): 0

Publications

Michael Altenhofen, Roozbeh Farahbod
Bârun: A Scripting Language for CoreASM. ASM (2010)
Michael Altenhofen, Achim D. Brucker
Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study. FMICS (2010)
Michael Altenhofen, Andreas Friesen, Jens Lemcke
ASMs in Service Oriented Architectures. J. Univers. Comput. Sci. 14 (12) (2008)
Michael Altenhofen, Egon Börger
CAL Programs. WADT (2008)
Michael Altenhofen, Thomas Hettel, Stefan Kusterer
OCL Support in an Industrial Environment. MoDELS (Workshops) (2006)
Michael Altenhofen, Andreas Friesen, Jens Lemcke, Egon Börger
A high-level specification for virtual providers. Int. J. Bus. Process. Integr. Manag. 1 (4) (2006)
Andreas Friesen, Michael Altenhofen
Matching Composed Semantic Web Services at Publishing Time. CEC Workshops (2005)
Andreas Friesen, Michael Altenhofen
Semantic Discovery Optimization: Matching Composed Semantic Web Services at Publishing Time. WEBIST (2005)
Michael Altenhofen, Egon Börger, Jens Lemcke
An Abstract Model for Process Mediation. ICFEM (2005)
Michael Altenhofen, Egon Börger, Jens Lemcke
A High-Level Specification for Mediators(Virtual Providers). Business Process Management Workshops (2005)
Michael Altenhofen, Egon Börger, Jens Lemcke
An Execution Semantics for Mediation Patterns. WIW (2005)
Michael Altenhofen, Christian Drumm
Towards an Integration of Semantic Web Services into existing Web Service Infrastructures. Berliner XML Tage (2004)
Wolfgang Theilmann, Michael Altenhofen
Versioning of E-Learning Objects Enabling Flexible Reuse. ICWI (2003)
Michael Altenhofen, Joachim Schaper
Flexible Instructional Strategies for E-learning. HICSS (2002)
Michael Altenhofen, Joachim Schaper, Susan Thomas
The BERKOM Multimedia Teleservices. IWACA (1994)
Michael Altenhofen, Jürgen Dittrich, Rainer Hammerschmidt, Thomas Käppner, Carsten Kruschel, Ansgar Kückes, Thomas Steinig
The BERKOM Multimedia Collaboration Service. ACM Multimedia (1993)