2019

eds.: Pelz, Peter F. ; Groche, Peter (2019)
Uncertainty in Mechanical Engineering III.
International Conference on Uncertainty in Mechanical Engineering. Darmstadt
Conference or Workshop Item, Primary publication

Alex, Jerome (2019)
The periodic Steiner problem.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

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

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

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

2018

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

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

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

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

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

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

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

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

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

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

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

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

Zahn, Peter (2018)
Assertion Games to Justify Classical Reasoning.
Report, Primary publication, Preprint

Zahn, Peter (2018)
Eignet sich "unbestimmt" als Wahrheitswert?
Report, Primary publication

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

Zahn, Peter (2018)
Interpretation unscharfer Aussagen bzw. Relationen als Einermengen bzw. Funktionen.
Report, Primary publication

2017

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

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

2016

Linker, Patrick (2016)
Foundations of E-Theory.
In: The Winnower, 2016, 3
Article, Secondary publication, Publisher's Version

de Beauclair, Wilfried
ed.: de Beauclair, Wilfried (2016)
Mathematik ohne Ziffern - Analoge Rechengeräte.
Book, Primary publication, Publisher's Version

2015

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

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

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

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

2014

Werner, Fabian (2014)
Vector Valued Hecke Theory.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2013

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

Kyed, Mads (2013)
Time-Periodic Solutions to the Navier-Stokes Equations.
Technische Universität Darmstadt, 2012
Habilitation, Secondary publication

2012

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

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

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

2011

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

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

Petri, Birgit (2011)
Perioden, Elementarteiler, Transzendenz - Kurt Hensels Weg zu den p-adischen Zahlen.
Book, Secondary publication, Publisher's Version

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

Sissouno, Nada (2011)
Multivariate Splineapproximation auf Gebieten.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Sissouno, Nadiem (2011)
A Non-commutative Version of the Coupling from the Past Algorithm.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

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

2010

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

2009

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

2008

Elsaesser, Bernhard (2008)
Approximation mit rationalen B-Spline Kurven und Flaechen. Approximation with rational B-spline curves and surfaces.
Book, Secondary publication, Postprint

Ri, Myong Hwan (2008)
Stokes operator and stability of stationary Navier-Stokes flows in infinite cylindrical domains.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

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

2007

Altmann, Kristina (2007)
Centralisers of fundamental subgroups.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Godzierz, Michael (2007)
Globale Optimierung extrem aufwendiger Funktionen mit hochparallelen und sequentiellen Methoden.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hechler, Jochen Kai (2007)
Formoptimierung unter Nebenbedingungen durch Freiform-Deformationen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hofmann-Kliemt, Matthias (2007)
The Invariant Complex Structure on the Homogeneous Space Diff(S1)/Rot(S1).
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Holderbaum, Michael (2007)
Diskretisierung und Approximation von Bildern und morphologischen Bildoperatoren.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Junglas, Daniel (2007)
Optimised Grid-Partitioning for Block Structured Grids in Parallel Computing.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Löw, Tobias (2007)
Locally Boolean Domains and Universal Models for Infinitary Sequential Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Moritz, Susanne (2007)
A Mixed Integer Approach for the Transient Case of Gas Network Optimization.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schumacher, Katrin (2007)
The Navier-Stokes Equations with Low-Regularity Data in Weighted Function Spaces.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Witte, Nikolaus (2007)
Foldable Triangulations.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2006

Pfleiderer, Ralf (2006)
Analysis eines Drehprozesses.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Wockel, Christoph (2006)
Infinite-Dimensional Lie Theory for Gauge Groups.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2005

Lietz, Peter (2005)
From constructive mathematics to computable analysis via the realizability interpretation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2004

Fischer, Tom (2004)
Valuation and risk management in life insurance.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Möller, Markus (2004)
Mixed Integer Models for the Optimisation of Gas Networks in the Stationary Case.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2003

Gaukel, Joachim (2003)
Effiziente Lösung polynomialer und nichtpolynomialer Gleichungssysteme mit Hilfe von Subdivisionsalgorithmen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Micol, Florence (2003)
On representability of *-regular rings and modular ortholattices.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Rohr, Alexander (2003)
A Universal Realizability Model for Sequential Functional Computation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2002

Fischer, Torsten (2002)
Über Modellierung, Analysis und Simulation von Stofftransport auf Wurzeln in strukturierten Böden.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Wilke, Wilhelm (2002)
Segmentierung und Approximation großer Punktwolken.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication