Artikel

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

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

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

Miosga, Thomas ; Schaaff-Gerstenschläger, Ine ; Chalwatzis, N. ; Baur, A. ; Boles, Eckhard ; Fournier, C. ; Schmitt, S. ; Velten, C. ; Wilhelm, N. ; Zimmermann, Friedrich K. (1995)
Sequence analysis of a 33.1 kb fragment from the left arm of Saccharomyces cerevisiae chromosome X, including putative proteins with leucine zippers, a fungal Zn(11)2-Cys6 binuclear cluster domin and a putative alpha2-SCB-alpha2 binding site.
In: Yeast, 11
doi: 10.1002/yea.320110709
Artikel, Bibliographie

Buchkapitel

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

Konferenzveröffentlichung

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

Bibel, Wolfgang ; Korn, D. ; Kreitz, C. ; Kurucz, F. ; Otten, J. ; Schmitt, S. ; Stolpmann, G.
Hrsg.: Fuchs, Norbert E. (1998)
A multi-level approach to program synthesis.
7th International Workshop on Logic Program Synthesis and Transformation (LOPSTR ’97). Leuven, Belgium (10.07.1998-12.07.1998)
doi: 10.1007/3-540-49674-2_1
Konferenzveröffentlichung, Bibliographie

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