Johannes Helbig

According to our database1, Johannes Helbig authored at least 6 papers between 1993 and 2010.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
SOA Innovation Lab and SOPERA - Open Innovation for a Joint Agenda of Users and Vendors.
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

2007
Service Orientation in the Enterprise.
Computer, 2007

1998
Linking visual formalisms: a compositional proof system for statecharts based on symbolic timing diagrams.
PhD thesis, 1998

1994
Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams.
Proceedings of the Programming Concepts, 1994

An OBDD-Representation of Statecharts.
Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

1993
VHDL/S - integrating statecharts, timing diagrams, and VHDL.
Microprocess. Microprogramming, 1993


  Loading...