Joachim Schmid

According to our database, Joachim Schmid authored at least 8 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

Enhanced Predictive Up/Down Power Control for CDMA Systems.

Meik Dörpinghaus, Lars Schmitt, Ingo Viering, Axel Klein, Joachim Schmid, Gerd Ascheid, Heinrich Meyr

Proceedings of IEEE International Conference on Communications, 2006

2003

Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler.

Robert F. Stärk, Joachim Schmid

J. Autom. Reason., 2003

2002

Refinement and implementation techniques for Abstract State Machines.

Joachim Schmid

PhD thesis, 2002

2001

Compiling Abstract State Machines to C++.

Joachim Schmid

J. Univers. Comput. Sci., 2001

Java and the Java Virtual Machine: Definition, Verification, Validation

Robert F. Stärk, Joachim Schmid, Egon Börger

Springer, 2001

2000

Capturing Requirements by Abstract State Machines: The Light Control Case Study.

Egon Börger, Elvinia Riccobene, Joachim Schmid

J. Univers. Comput. Sci., 2000

Composition and Submachine Concepts for Sequential ASMs.

Egon Börger, Joachim Schmid

Proceedings of the Computer Science Logic, 2000

Report on a Practical Application of ASMs in Software Design.

Egon Börger, Peter Päppinghaus, Joachim Schmid

Proceedings of the Abstract State Machines, 2000