A

Albert, Christoph (2013):
On Stability of Falling Films: Numerical and Analytical Investigations.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Alex, Jerome (2019):
The periodic Steiner problem.
Darmstadt, Technische Universität Darmstadt, Technische Universität, [Ph.D. Thesis]

Alfes, Claudia (2015):
CM values and Fourier coefficients of harmonic Maass forms.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Altmann, Kristina (2007):
Centralisers of fundamental subgroups.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000875],
[Ph.D. Thesis]

B

Bucher, Max (2018):
Optimality Conditions and Numerical Methods for a Continuous Reformulation of Cardinality Constrained Optimization Problems.
Darmstadt, Technische Universität, [Ph.D. Thesis]

C

Canavoi, Felix (2018):
Cayley Structures and the Expressiveness of Common Knowledge Logic.
Darmstadt, Technische Universität, [Ph.D. Thesis]

D

Dittmann, Moritz Christopher (2018):
Reflective Automorphic Forms and Siegel Theta Series for Niemeier Lattices.
Darmstadt, Technische Universität, [Ph.D. Thesis]

de Beauclair, Wilfried de Beauclair, Wilfried (ed.) (2016):
Mathematik ohne Ziffern - Analoge Rechengeräte.
Blaustein, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/id/eprint/5383],
[Book]

E

Elsaesser, Bernhard (1998):
Approximation mit rationalen B-Spline Kurven und Flaechen. Approximation with rational B-spline curves and surfaces.
Aachen, Shaker, [Other]

F

Fischer, Tom (2004):
Valuation and risk management in life insurance.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000412],
[Ph.D. Thesis]

Fischer, Torsten (2002):
Über Modellierung, Analysis und Simulation von Stofftransport auf Wurzeln in strukturierten Böden.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000258],
[Ph.D. Thesis]

G

Gaukel, Joachim (2003):
Effiziente Lösung polynomialer und nichtpolynomialer Gleichungssysteme mit Hilfe von Subdivisionsalgorithmen.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000365],
[Ph.D. Thesis]

Godzierz, Michael (2007):
Globale Optimierung extrem aufwendiger Funktionen mit hochparallelen und sequentiellen Methoden.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000851],
[Ph.D. Thesis]

Gries, Mathis Yannik (2018):
On the primitive equations and the hydrostatic Stokes operator.
Darmstadt, Technische Universität, [Ph.D. Thesis]

H

Hartmann, René (2011):
Subdivision Surfaces: C2 schemes and generalized control nets.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Hechler, Jochen Kai (2007):
Formoptimierung unter Nebenbedingungen durch Freiform-Deformationen.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000769],
[Ph.D. Thesis]

Helmerich, Markus Alexander (2009):
Liniendiagramme in der Wissenskommunikation - Eine mathematisch-didaktische Untersuchung.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Hofmann-Kliemt, Matthias (2007):
The Invariant Complex Structure on the Homogeneous Space Diff(S1)/Rot(S1).
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000846],
[Ph.D. Thesis]

Holderbaum, Michael (2007):
Diskretisierung und Approximation von Bildern und morphologischen Bildoperatoren.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000798],
[Ph.D. Thesis]

Huang, Wei (2019):
Optimal Operation of Water Supply Networks by Mixed Integer Nonlinear Programming and Algebraic Methods.
Darmstadt, tuprints, Technische Universität, [Ph.D. Thesis]

J

Junglas, Daniel (2007):
Optimised Grid-Partitioning for Block Structured Grids in Parallel Computing.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000829],
[Ph.D. Thesis]

K

Kartzow, Alexander (2011):
First-Order Model Checking on Generalisations of Pushdown Graphs.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Kreuzer, Alexander P. (2012):
Proof mining and combinatorics : Program extraction for Ramsey's theorem for pairs.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Kyed, Mads (2012):
Time-Periodic Solutions to the Navier-Stokes Equations.
Darmstadt, Technische Universität, [Habilitation]

Kürsten, Susanne (2015):
Das Einbettungsproblem für periodische Flächen in R^n.
Darmstadt, Technische Universität, [Ph.D. Thesis]

L

Lietz, Peter (2005):
From constructive mathematics to computable analysis via the realizability interpretation.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000528],
[Ph.D. Thesis]

Linker, Patrick (2016):
Foundations of E-Theory.
3, In: The Winnower, pp. e145350-06184, ISSN 2373-146X, DOI: 10.15200/winn.145350.0618,
[Article]

Ludovici, Francesco (2017):
Numerical analysis of parabolic optimal control problems with restrictions on the state and its first derivative.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Lukassen, Axel Ariaan (2018):
Simulation of chemical systems with fast chemistry.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Löw, Tobias (2007):
Locally Boolean Domains and Universal Models for Infinitary Sequential Languages.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000790],
[Ph.D. Thesis]

Lübbers, Jan-Erik (2019):
Displacement of biased random walk in a one-dimensional percolation model.
Darmstadt, Technische Universität, [Ph.D. Thesis]

M

Maier, Lars-Benjamin (2018):
Ambient Approximation of Functions and Functionals on Embedded Submanifolds.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Maric, Tomislav (2017):
Lagrangian/Eulerian numerical methods for fluid interface advection on unstructured meshes.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Mersini, Jetmire (2015):
Synthesis, Surface Immobilization and Characterization of Metal Complexes for Olefin Metathesis.
Darmstadt, TU Darmstadt, Technische Universität, [Ph.D. Thesis]

Micol, Florence (2003):
On representability of *-regular rings and modular ortholattices.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000303],
[Ph.D. Thesis]

Moritz, Susanne (2007):
A Mixed Integer Approach for the Transient Case of Gas Network Optimization.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000785],
[Ph.D. Thesis]

Möller, Claudia (2015):
A New Strategy for Exact Determination of the Joint Spectral Radius.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Möller, Markus (2004):
Mixed Integer Models for the Optimisation of Gas Networks in the Stationary Case.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000438],
[Ph.D. Thesis]

Müller, Florian (2018):
Nichtparametrische Kurvenschätzung für latente Variablen.
Darmstadt, Technische Universität, [Ph.D. Thesis]

N

Nesensohn, Manuel (2012):
Lp-theory for a class of viscoelastic fluids with and without a free surface.
Darmstadt, Technische Universität, [Ph.D. Thesis]

O

Opitz, Sebastian (2018):
Computation of Eisenstein series associated with discriminant forms.
Darmstadt, Technische Universität, [Ph.D. Thesis]

P

Petri, Birgit (2011):
Perioden, Elementarteiler, Transzendenz - Kurt Hensels Weg zu den p-adischen Zahlen.
In: Geschichtswissenschaften, Darmstadt, TU Darmstadt, [Online-Edition: http://www.dr.hut-verlag.de/978-3-8439-0138-3.html],
[Book]

Pfleiderer, Ralf (2006):
Analysis eines Drehprozesses.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000646],
[Ph.D. Thesis]

R

Ri, Myong Hwan (2006):
Stokes operator and stability of stationary Navier-Stokes flows in infinite cylindrical domains.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000686],
[Ph.D. Thesis]

Rohr, Alexander (2003):
A Universal Realizability Model for Sequential Functional Computation.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000351],
[Ph.D. Thesis]

Rosenbusch, Artus Ph. (2011):
Fairness Considerations in Cooperative Games.
Darmstadt, Technische Universität, [Ph.D. Thesis]

S

Sachs, Stephen (2012):
Multigrid Methods applied to Fluid-Structure Interaction.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Schumacher, Katrin (2007):
The Navier-Stokes Equations with Low-Regularity Data in Weighted Function Spaces.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000815],
[Ph.D. Thesis]

Schwinn, Sebastian (2018):
Mathematical analysis of models from communications engineering.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Seitz, Tobias (2018):
Geometry identification and data enhancement for distributed flow measurements.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Seyfert, Anton (2018):
The Helmholtz-Hodge Decomposition in Lebesgue Spaces on Exterior Domains and Evolution Equations on the Whole Real Time Axis.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Sissouno, Nada (2011):
Multivariate Splineapproximation auf Gebieten.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Sissouno, Nadiem (2011):
A Non-commutative Version of the Coupling from the Past Algorithm.
Darmstadt, TU prints, Technische Universität, [Ph.D. Thesis]

Steiner, Lisa (2008):
A C*-Algebraic Approach to Quantum Coding Theory.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Stute, Volker (2010):
Zur Simulation von Einflussgrößen der Behaglichkeit und Energieeffizienz in Personenbahnhöfen - Entwicklung und Bewertung quantitativer und numerischer Verfahren.
Darmstadt, Technische Universität, [Ph.D. Thesis]

W

Wagner, Lisa (2018):
Second-Order Implicit Methods for Conservation Laws with Applications in Water Supply Networks.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Werner, Fabian (2014):
Vector Valued Hecke Theory.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Wilke, Wilhelm (2002):
Segmentierung und Approximation großer Punktwolken.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000255],
[Ph.D. Thesis]

Witte, Nikolaus (2007):
Foldable Triangulations.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000788],
[Ph.D. Thesis]

Witzel, Stefan (2011):
Finiteness Properties of Chevalley Groups over the Ring of (Laurent) Polynomials over a Finite Field.
Darmstadt, Technische Universität, [Ph.D. Thesis]

Wockel, Christoph (2006):
Infinite-Dimensional Lie Theory for Gauge Groups.
Darmstadt, Technische Universität, [Online-Edition: http://elib.tu-darmstadt.de/diss/000752],
[Ph.D. Thesis]

Z

Zahn, Peter (2006):
Assertion Games to Justify Classical Reasoning.
In: Synthese, (148), pp. 309-343, [Article]

Zahn, Peter (2018):
Eignet sich "unbestimmt" als Wahrheitswert?
[Report]

Zahn, Peter (2018):
Erblich endliche Mengen und die Widerspruchsfreiheit einer abgeschwächten Version von ZFC.
[Report]

Zahn, Peter (2019):
Erblich endliche Mengen und die Widerspruchsfreiheit einer abgeschwächten Version von ZFC (Erweiterte Fassung).
[Report]

Zahn, Peter (2018):
Interpretation unscharfer Aussagen bzw. Relationen als Einermengen bzw. Funktionen.
[Report]