Thorsten Hoffmann

According to our database, Thorsten Hoffmann authored at least 9 papers between 1991 and 2022.

Collaborative distances:

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

2022

Estimation of Music Recording Quality to Predict Automatic Music Transcription Performance.

Markus Schwabe, Thorsten Hoffmann, Sebastian Murgul, Michael Heizmann

Proceedings of the Smart Multimedia - Third International Conference, 2022

2002

Fallstudien relationaler Programmentwicklung am Beispiel ausgewählter Graphdurchlaufstrategien.

Thorsten Hoffmann

PhD thesis, 2002

2001

Modeling Sequences within the RelView System.

Rudolf Berghammer, Thorsten Hoffmann

J. Univers. Comput. Sci., 2001

Relational depth-first-search with applications.

Rudolf Berghammer, Thorsten Hoffmann

Inf. Sci., 2001

Prototyping and Programming with Relations.

Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese

Proceedings of the First International Workshop on Relational Methods in Software, 2001

Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs.

Rudolf Berghammer, Thorsten Hoffmann

Proceedings of the Relational Methods in Computer Science, 2001

2000

Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem.

Rudolf Berghammer, Thorsten Hoffmann

Sci. Comput. Program., 2000

1998

Applications of the Rel View System.

Ralf Behnke, Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Peter Schneider

Proceedings of the International Workshop Tool Support for System Specification, 1998

1991

Prototype for Integrating Probabilistic Fact and Text Retrieval.

Norbert Fuhr, Thorsten Hoffmann

Proceedings of the Wissensbasierte Informationssysteme und Informationsmanagement: Proceedings des 2. Internationalen Symposiums für Informationswissenschaft, 1991