Herausforderungen für die Lehre am Beispiel der mechanischen Verfahrenstechnik
W. Peukert, H.-J. Schmid, Chemie Ingenieur Technik 75 (2003) 177–183.

On the relevance of accounting for the evolution of the fractal dimension in aerosol process simulations
C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 34 (2003) 511–534.

Stability versus Speed in a Computable Algebraic Model
M. Ziegler, in: Proc. 5th Conference on Real Numbers and Computers (RN), INRIA, 2003, pp. 47–64.

Computable Operators on Regular Sets
M. Ziegler, in: Computability and Complexity in Analysis, 2003, pp. 389–406.

Viele Inhalte, viele Kontexte, viele Aktivitäten – eine Rahmenkonzeption für Sachaufgaben
M. Grüßing, F. Hellmich, Grundschulunterricht 2 (2003) 13–15.

Was interessiert Grundschulkinder an Mathematikaufgaben?
F. Hellmich, B. Moschner, in: H.-W. Henn (Ed.), Beiträge zum Mathematikunterricht 2003, Franzbecker, Hildesheim, 2003, pp. 285–288.

Behavioral Subtyping Relations for Active Objects
H. Wehrheim, Formal Methods in System Design (2003) 143--170.

Preserving Properties Under Change
H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.

Inheritance of Temporal Logic Properties
H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.

Checking Consistency in UML Diagramms: Classes and State Machines
H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.