Login for editors
Technische Berichte
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
