Michael Altenhofen

According to our database1, Michael Altenhofen authored at least 17 papers between 1993 and 2010.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Bârun: A Scripting Language for CoreASM.
Proceedings of the Abstract State Machines, 2010

2008
Ontologies for Scalable Services-Based Ubiquitous Computing.
Proceedings of the Handbook of Research on Ubiquitous Computing Technology for Real Time Enterprises, 2008

ASMs in Service Oriented Architectures.
J. UCS, 2008

Concurrent Abstract State Machines and +CAL Programs.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

2006
A high-level specification for virtual providers.
IJBPIM, 2006

OCL Support in an Industrial Environment.
Proceedings of the Models in Software Engineering, 2006

2005
An Execution Semantics for Mediation Patterns.
Proceedings of the WIW 2005 Workshop on WSMO Implementations, 2005

Matching Composed Semantic Web Services at Publishing Time.
Proceedings of the 7th IEEE International Conference on E-Commerce Technology Workshops (CEC 2005 Workshops), 2005

Semantic Discovery Optimization: Matching Composed Semantic Web Services at Publishing Time.
Proceedings of the WEBIST 2005, 2005

An Abstract Model for Process Mediation.
Proceedings of the Formal Methods and Software Engineering, 2005

A High-Level Specification for Mediators(Virtual Providers).
Proceedings of the Business Process Management Workshops, 2005

2004
Towards an Integration of Semantic Web Services into existing Web Service Infrastructures.
Proceedings of the Berliner XML Tage 2004, 11.-13. Oktober 2004 in Berlin, 2004

2003
Versioning of E-Learning Objects Enabling Flexible Reuse.
Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

2002
Flexible Instructional Strategies for E-learning.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

1994
The BERKOM Multimedia Teleservices.
Proceedings of the Multimedia: Advanced Teleservices and High-Speed Communication Architectures, 1994

1993
The BERKOM Multimedia Collaboration Service.
Proceedings of the First ACM International Conference on Multimedia '93, 1993


  Loading...