Tim Richter

According to our database, Tim Richter authored at least 6 papers between 2001 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Optimization under uncertainty.

Nicola Botta, Patrik Jansson, Tim Richter

CoRR, March, 2025

Realization of a Digital Process Chain Architecture: Rapid Reconfiguration of Production Machines for Product Changes.

Nico Schramm, Tim Richter, Kai Grunert, Ismail Can, Aaron Hoppe, Till Tschiltschke, Moritz Chemnitz, Matthias Stollenwerk, Thomas Cory, Wolf Rieder

Proceedings of the 7th International Conference on Industry of the Future and Smart Manufacturing (ISM 2025), 2025

2021

Extensional equality preservation and verified generic programming.

Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter

J. Funct. Program., 2021

2019

Tracing sharing in an imperative pure calculus.

Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca

Sci. Comput. Program., 2019

2014

Digital Media as Support for Technical Vocational Training: Expectations and Research Results of the Use of Web2.0.

Sven Schulte, Tim Richter, Torsten Grantz

Int. J. Adv. Corp. Learn., 2014

2001

Circular stationary solutions in two-dimensional neural fields.

Herrad Werner, Tim Richter

Biol. Cybern., 2001