Publications
- Logic Functional Programming
-
Reverse Restructuring: Another Method of Solving Algebraic Equations
- Bernd Bütow, Stephan Thesing.
- Technischer Report 94-07.
- Technische Fakultät,
Universität Bielefeld
-
A new Calculus for Semantic Matching
- Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing.
- PLILP 95.
- Semantic Matching for Left-Linear Convergent Rewrite Systems
- Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing.
- Journal of Functional and Logic Programming
- Number 11, Volume 1999
- The MIT Press
- October 1999
- Quetzal. Ein Beschreibungssystem für semantische Unifikationsverfahren
- Diplomarbeit in der AG Praktische Informatik
- Technische Fakultät, Universität Bielefeld, 1996
- Program Analysis
- PAG Manual V1.0 18.09.1998
- Stephan Thesing, Florian Martin, Oliver Lauer, Martin Alt
- Fachbereich 14, Universität des Saarlandes, Saarbrücken
- Real-Time Systems
- Cache-Sensitive Pre-Runtime Scheduling
- Daniel Kästner, Stephan Thesing
- LCTES 98
- Abstract
- Cache Aware Pre-Runtime Scheduling
- Daniel Kästner, Stephan Thesing
- Journal of Real-Time Systems
- Volume 1999, Number 2/3, pages 235-250
- Kluwer Academic Publishers
- November 1999
Back to Home Page
thesing@cs.uni-sb.de