Berechenbare Reelle Funktionenfolgen. - Jürgen Hauck (Math. Log. Q., 1976)

Konstruktive Darstellungen Reeller Zahlen und Folgen. - Jürgen Hauck (Math. Log. Q., 1978)

Stetigkeitseigenschaften Berechenbarer Reeller Funktionen. - Jürgen Hauck (Math. Log. Q., 1980)

Konstruktive Darstellungen in Topologischen Räumen mit Rekursiver Basis. - Jürgen Hauck (Math. Log. Q., 1980)

Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis. - Jürgen Hauck (Math. Log. Q., 1981)

Stetigkeitseigenschaften Berechenbarer Funktionale. - Jürgen Hauck (Math. Log. Q., 1982)

Konstruktive reelle funktionale und Operatoren. - Jürgen Hauck (Math. Log. Q., 1983)

Eine neue Definition Berechenbarer reeller Funktionen. - Jürgen Hauck (Math. Log. Q., 1984)

Zur Wellengleichung mit konstruktiven Randbedingungen. - Jürgen Hauck (Math. Log. Q., 1984)

Ein Kriterium für die Konstruktive Lösbarkeit der Differentialgleichung y' = f(x, y). - Jürgen Hauck (Math. Log. Q., 1985)

Eine Berechenbare Funktion Mit Rationalen Werten, Die Nicht Rekursiv Ist. - Jürgen Hauck (Math. Log. Q., 1987)

Ein Kriterium für die Primitive Rekursivität der Funktional-Iteration. - Jürgen Hauck (Math. Log. Q., 1991)

Ground-state structures of polymers. - Jürgen Hauck; Kevin Mika (J. Comput. Chem., 2001)