---

Technische Berichte

2012

01 Ludwig Staiger
A Correspondence Principle for Exact Constructive Dimension
2102_01.pdf (328 KB)  vom 17.04.2012

2011

10 Ludwig Staiger
On Oscillation-free Chaitin h-random Sequences
2011_10.pdf (261.6 KB)  vom 22.11.2011

09 Ludwig Staiger
Asymptotic Subword Complexity
2011_09.pdf (299 KB)  vom 22.11.2011

08 Wolf Zimmermann
Proceedings of the PhD Symposium at the 9th IEEE European Conference on Web Services
2011_08.pdf (2.6 MB)  vom 31.08.2011

07 Ludwig Staiger
Constructive Dimension and Hausdorff Dimension: The Case of Exact Dimension
2011_07.pdf (318.7 KB)  vom 27.06.2011

06 Annabell Berger und Matthias Müller-Hannemann
Dag Characterizations of Directed Degree Sequences
2011-6.pdf (300.2 KB)  vom 22.06.2011

05 Annabell Berger and Matthias Müller-Hannemann
Dag Realizations of Directed Degree Sequences
2011_05.pdf (567.7 KB)  vom 26.04.2011

04 Christian Gerber
How to develop a graphical editor for discrete timed Net Condition/Event Systems using the Eclipse Petri Net Kernel
2011_04.pdf (799.5 KB)  vom 05.04.2011

03 Marc Goerigk, Martin Knoth, Matthias Müller-Hannemann, Anita Schöbel and Marie Schmidt
The Price of Robustness in Timetable Information
tech-report-2011-3.pdf (818.3 KB)  vom 15.03.2011

02 Annabell Berger, Christian Blaar, Andreas Gebhardt,
Matthias Müller-Hannemann and Mathias Schnee
Passenger Flow-Oriented Train Disposition
2011_02r.pdf (2.5 MB)  vom 29.04.2011

01 Annabell Berger, Andreas Gebhardt, Matthias Müller-Hannemann and Martin Ostrowski
Stochastic Delay Prediction in Large Train Networks
2011_01.pdf (806.9 KB)  vom 23.03.2011

2010

05 Annabell Berger, Matthias Müller-Hannemann, Steffen Rechner and Alexander Zock
Efficient Computation of Time-Dependent Centralities in Air Transportation Networks
2010_05.pdf (279.9 KB)  vom 19.01.2011

04 Wolf Zimmermann
Proceedings of the PhD Symposium at the 8th IEEE European Conference on Web Services
2010_04.pdf (1.4 MB)  vom 24.11.2010

03 Hendrik Bugdoll
Physically based motion of point masses on NURBS surfaces in real-time
2010_03.pdf (3.3 MB)  vom 16.08.2010

02 Ronny Polley and Ludwig Staiger
The Maximal Subword Complexity of Quasiperiodic
Infinite Words
2010_02.pdf (292.3 KB)  vom 12.11.2010

01 Sibylle Schwarz und Ludwig Staiger
Topologies refining the CANTOR topology on X^ω
2010_01.pdf (287.7 KB)  vom 18.06.2010

2009

05 Christian Ernst, Changxing Dong, Dirk Richter, Gerold Jäger and
Paul Molitor
Finding Good Tours for Huge Euclidean TSP Instances by Iterative Backbone Contraction: First Results
2009_05.pdf (440.7 KB)  vom 17.12.2009

04 Andreas Both and Wolf Zimmermann
Supporting the Development Process of Reliable Software During the Composition Process Using Interaction Protocols
2009_04.pdf (859.9 KB)  vom 17.09.2009

03 Jöran Mielke, Ludwig Staiger und Renate Winter.
Theorietag Automaten und Formale Sprachen 2009
2009_03.pdf (929.7 KB)  vom 27.08.2009

02 Jöran Mielke und Ludwig Staiger.
On Oscillation-free ɛ-random Sequences II
2009_02.pdf (269 KB)  vom 17.07.2009

01 Annabell Berger and Matthias Müller-Hannemann.
Subpath-Optimality of Multi-Criteria Shortest Paths in Time- and Event-Dependent Networks
2009_01.pdf (238.1 KB)  vom 13.05.2009

2008

10 Roberto Hoffmann and Paul Molitor
Integration of SAT-based Coverage Measures into a NuSMV-based Verification Workflow
2008_10.pdf (237.2 KB)  vom 17.12.2009

09 Sandro Wefel and Paul Molitor.
Using Hardware Tokens for Authentication of Multiple Client Application Making Single Sign-On Possible
2008_09.pdf (236.2 KB)  vom 24.11.2008

08 Sibylle Schwarz.
22nd Workshop on (Constraint) Logic Programming
2008_08.pdf (1.3 MB)  vom 04.11.2008

07 Sebastian Preuße und Hans-Michael Hanisch.
Verhaltensspezifikation mit Symbolic Timing Diagrams
2008_07.pdf (1.9 MB)  vom 04.11.2008

06 Sebastian Preuße und Hans-Michael Hanisch.
Verhaltensspezifikation mit der Sicherheitsfachsprache
2008_06.pdf (1.4 MB)  vom 04.11.2008

05 Sebastian Preuße und Hans-Michael Hanisch.
Vergleich von Verfahren zur Spezifikation von Anlagenverhalten
2008_05.pdf (225.7 KB)  vom 04.11.2008

04 Changxing Dong, Gerold Jäger, Dirk Richter and Paul Molitor.
Effective Tour Searching for TSP by Contraction of Pseudo Backbone Edges
2008_04.pdf (373.6 KB)  vom 28.08.2008

03 Ludwig Staiger.
On Oscillation-free ε-random Sequences
2008_03.pdf (263.6 KB)  vom 02.09.2008

02 Jöran Mielke.
Refined Bounds on Kolmogorov Complexity for w-Languages
2008_02.pdf (223.3 KB)  vom 02.09.2008

01 Andreas Both and Wolf Zimmermann.
Automatic Protocol Conformance Checking of
Recursive and Parallel Component-Based Systems
2008_01.pdf (743.4 KB)  vom 16.06.2008

2007

07 Holger Blaar, Jörg Keller, Christoph Keßler and Bert Wesarg.
Emulating a PRAM on a Parallel Computer
2007_07.pdf (168.4 KB)  vom 16.04.2008

06 Matthias Müller-Hannemann and Alexander Sonnikow.
Non-Approximability of Just-in-Time Scheduling
2007_06.pdf (192.8 KB)  vom 16.04.2008

05 Matthias Müller-Hannemann and Siamak Tazari.
Handling Proper Minor-Closed Graph Classes in Linear Time: Shortest Paths and 2-Approximate Steiner Trees
2007_05.pdf (245.2 KB)  vom 16.04.2008

04 Matthias Müller-Hannemann and Siamak Tazari.
A Near Linear Time Approximation Scheme for Steiner Tree among Obstacles in the Plane
2007_04.pdf (343.2 KB)  vom 16.04.2008

03 Birgit Möller and Stefan Posch.
An Iconic Scene Memory Approach for Mobile Robots Interacting with Humans
2007_03.pdf (1.2 MB)  vom 16.04.2008

02 Dirk Richter, Boris Goldengorin, Gerold Jäger, and Paul Molitor,
Improving the Efficiency of Helsgaun`s Lin-Kernighan Heuristic for the Symmetric TSP
2007_02.pdf (352.7 KB)  vom 16.04.2008

01 Cristian S. Calude and Ludwig Staiger.
On Universal Computably Enumerable Prefix Codes
2007_01.pdf (236 KB)  vom 16.04.2008

Up