Publications (310)
An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems (2001)
Kowalewski, S.; Stursberg, O.; Bauer, N.
Journal articleAn Open Software Architecture for the Verification of Industrial Controllers. (2001)
Treseler, H.; Stursberg, O.; Chung, P.; Yang, S.
Journal articleAn SSB encoded by and operating on linear killer plasmids from Kluyveromyces lactis (2001)
Schaffrath, R.; Meacock, P.
Journal articleApplication of unilateral tensor damage model with realistic damage conditions in a filament-wound composite (2001)
Schreiber, L.
Journal articleArbeitsschutzgerechte Gestaltung von Gruppenarbeit - Branchen- und tätigkeitsübergreifende Grundlagen - Gruppenarbeit 1 (2001)
Freiling, T.; Martin, H.
Journal articleArtificial boundary conditions for elliptic systems in domains with conical outlets to infinity (2001)
Specovius-Neugebauer, M.; Nazarov, S.
Journal articleAsymptotic adaptive methods for multiscale problems in fluid mechanics (2001)
Klein, R.; Munz, C.; Sonar, T.; Meister, A.
Journal articleAuch Schweine schätzen Grundfutter (2001)
Simantke, C.; Sundrum, A.
Journal articleAuditory displays in human-machine interfaces (2001)
Johannsen, G.
Journal articleAuditory displays in human-machine interfaces of mobile robots for non-speech communication with humans (2001)
Johannsen, G.
Journal article