Gerrit Nolte

PhD student, LS7 Computer Graphics, Technische Universität Dortmund

Joined

February 2026

Names

Gerrit Nolte (Preferred)

Emails

****@tu-dortmund.de (Confirmed)

Personal Links

Google Scholar

DBLP

Career & Education History

PhD student

LS7 Computer Graphics, Technische Universität Dortmund (udo.edu)

2023 – 2027

Advisors, Relations & Conflicts

PhD Advisor

Mario Botsch

Present

Coworker

Fabian Kemper

Present

Coworker

Friedemann Runte

Present

Coworker

Eduardo Alvarado

Present

Expertise

Machine Learning

Present

Computer Graphics

Present

Physical Simulation

Present

Publications

Forest GUMP: a tool for verification and explanation
Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen
- Int. J. Softw. Tools Technol. Transf. 2023
- Readers: Everyone
Towards rigorous understanding of neural networks via semantics-preserving transformations
Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
- Int. J. Softw. Tools Technol. Transf. 2023
- Readers: Everyone
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)
Nils Jansen, Gerrit Nolte, Bernhard Steffen
- Int. J. Softw. Tools Technol. Transf. 2023
- Readers: Everyone
The power of typed affine decision structures: a case study
Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
- Int. J. Softw. Tools Technol. Transf. 2023
- Readers: Everyone
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations
Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
- CoRR 2023
- Readers: Everyone
The Power of Typed Affine Decision Structures: A Case Study
Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
- CoRR 2023
- Readers: Everyone
A Structural Approach to the Design of Domain Specific Neural Network Architectures
Gerrit Nolte
- CoRR 2023
- Readers: Everyone
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages
Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen
- AISoLA 2023
- Readers: Everyone
Formal Methods Meet Machine Learning (F3ML)
Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
- ISoLA (3) 2022
- Readers: Everyone
Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models
Maximilian Schlüter, Gerrit Nolte
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2022
- Readers: Everyone

Co-Authors

Alexander Bainczyk
Alnis Murtovi
Axel Legay
Bernhard Steffen
Daniel Busch
Kim G. Larsen
Mariëlle Stoelinga
Maximilian Schlüter
Nils Jansen