Report on a Practical Application of ASMs in Software Design. - Egon Börger; Peter Päppinghaus; Joachim Schmid 001 (Abstract State Machines, 2000)

Composition and Submachine Concepts for Sequential ASMs. - Egon Börger; Joachim Schmid 001 (CSL, 2000)

Capturing Requirements by Abstract State Machines: The Light Control Case Study. - Egon Börger; Elvinia Riccobene; Joachim Schmid 001 (J. Univers. Comput. Sci., 2000)

Java and the Java Virtual Machine: Definition, Verification, Validation - Robert F. Stärk; Joachim Schmid 001; Egon Börger (Springer, 2001)

Compiling Abstract State Machines to C++. - Joachim Schmid 001 (J. Univers. Comput. Sci., 2001)

Refinement and implementation techniques for Abstract State Machines. - Joachim Schmid 001 (2002)

Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler. - Robert F. Stärk; Joachim Schmid 001 (J. Autom. Reason., 2003)

Enhanced Predictive Up/Down Power Control for CDMA Systems. - Meik Dörpinghaus; Lars Schmitt; Ingo Viering; Axel Klein; Joachim Schmid 001; Gerd Ascheid; Heinrich Meyr (ICC, 2006)