Tim Richter

Orcid: 0000-0002-8892-283X

According to our database¹, Tim Richter authored at least 4 papers between 2001 and 2021.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2021

Extensional equality preservation and verified generic programming.

[BibT_eX]

[DOI]

J. Funct. Program., 2021

2019

Tracing sharing in an imperative pure calculus.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

2014

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

[BibT_eX]

[DOI]

Sven Schulte

Tim Richter

Torsten Grantz

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

2001

Circular stationary solutions in two-dimensional neural fields.

[BibT_eX]

[DOI]

Herrad Werner

Tim Richter

Biol. Cybern., 2001

Tim Richter

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...