Deutsch

Bibel, Wolfgang ; Korn, ; Kreitz, ; Kurucz, ; Otten, ; Schmitt, ; Stolpmann, (1998)
A multi-level approach to program synthesis.
Konferenzveröffentlichung, Bibliographie

Englisch

Immel, Stefan ; Schmitt, ; Lichtenthaler, F. W. (1998)
Molecular modeling of saccharides, 16. The molecular geometries of cyclofructins.
Konferenzveröffentlichung, Bibliographie

Immel, Stefan ; Schmitt, ; Lichtenthaler, (1998)
Molecular modeling of saccharides, 18. Alpha-cycloaltrin: conformation and properties in aqueous solution.
Konferenzveröffentlichung, Bibliographie

Arslan, Ulvi ; Arslan, Ulvi ; Quick, Hubert ; Schmitt, (1998)
Tunneling in cities and urban areas.
Konferenzveröffentlichung, Bibliographie

Hankel, Marlis ; Karasözen, ; Rentrop, ; Schmitt, (1997)
A molecular dynamics model for symplectic integrators.
In: Mathematical modelling of systems. 3 (1997), S. 282-296
Artikel, Bibliographie

Bibel, Wolfgang ; Korn, ; Kreitz, ; Schmitt, (1996)
Problem-oriented applications of automated theorem proving.
In: Design and implementation of symbolic computation systems
Buchkapitel, Bibliographie

Miosga, Thomas ; Schaaff-Gerstenschläger, ; Chalwatzis, ; Boles, ; Fournier, ; Schmitt, ; Velten, ; Wilhelm, ; Zimmermann, (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 (1995), S. 681-690
Artikel, Bibliographie