1998

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

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

1997

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

1996

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