2003

Dausend, Uwe ; Halasy-Wimmer, G. ; Schmitt, S. (2003)
Optimierung einer elektromechanischen Bremse durch geeignete Getriebeauslegung.
In: ATZ Automobiltechnische Zeitschrift, 105 (11)
Artikel, Bibliographie

2002

Dausend, U. ; Halasy-Wimmer, G. ; Schmitt, S. (2002)
Alternatives Kraftwandlungsgetriebe für eine elektromechanisch betätigte Scheibenbremse.
In: brems.tech
Buchkapitel, Bibliographie

2000

Nakatsuji, Shin'ichi ; Mizumoto, M. ; Takai, A. ; Akutsu, H. ; Yamada, J.-I. ; Kawamura, H. ; Schmitt, S. ; Hafner, K. (2000)
Novel CT complexes derived from 4-alkylamino-TEMPO and 2,4,6,8-tetracyanoazulene.
In: Molecular Crystals and Liquid Crystals, 348 (1)
doi: 10.1080/10587250008024790
Artikel, Bibliographie

1999

Egly, Uwe ; Schmitt, S. (1999)
On intuitionistic proof transformations, their complexity, and application to constructive program synthesis.
In: Fundamenta Informaticae, 39 (1-2)
doi: 10.3233/FI-1999-391204
Artikel, Bibliographie

Mohr, Peter ; Enders, J. ; Hartmann, T. ; Kaiser, H. ; Schiesser, D. ; Schmitt, S. ; Volz, S. ; Wissel, F. ; Zilges, A. (1999)
Real photon scattering up to 10 MeV: the improved facility at the Darmstadt electron accelerator S-DALINAC.
In: Nuclear instruments & methods in physics research. A 423 (1999), S. 480-488
Artikel, Bibliographie

1998

Egly, Uwe ; Schmitt, S. (1998)
Intuitionistic proof transformations and their application to constructive program synthesis.
Konferenzveröffentlichung, Bibliographie

1995

Schmitt, S. ; Kreitz, (1995)
On transforming intuitionistic matrix proofs into standard-sequent proofs.
Konferenzveröffentlichung, Bibliographie