Joachim Schmid

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

University of Ulm, Germany (PHD)

Education History

University of Ulm, Germany

PHD

Publications

Meik Dörpinghaus, Lars Schmitt, Ingo Viering, Axel Klein, Joachim Schmid, Gerd Ascheid, Heinrich Meyr
Enhanced Predictive Up/Down Power Control for CDMA Systems. ICC (2006)
Robert F. Stärk, Joachim Schmid
Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler. J. Autom. Reason. 30 (3-4) (2003)
Joachim Schmid
Compiling Abstract State Machines to C++. J. Univers. Comput. Sci. 7 (11) (2001)
Egon Börger, Peter Päppinghaus, Joachim Schmid
Report on a Practical Application of ASMs in Software Design. Abstract State Machines (2000)
Egon Börger, Joachim Schmid
Composition and Submachine Concepts for Sequential ASMs. CSL (2000)
Egon Börger, Elvinia Riccobene, Joachim Schmid
Capturing Requirements by Abstract State Machines: The Light Control Case Study. J. Univers. Comput. Sci. 6 (7) (2000)