Technical Reports
2018
2018_01.pdf
(4.1 MB) vom 27.11.2018
2016
01 Rudolf Freund, Sergiu Ivanov and Ludwig Staiger
Going Beyond Turing with P Automata: Regular Observer ω-Languages
and Partial Adult Halting
2016_01.pdf
(461 KB) vom 02.02.2016
02 Gianluigi Zavattaro and Wolf Zimmermann
Proceedings of the PhD Symposium at the 5th European Conference on Service-Oriented and Cloud Computing
2016_02.pdf
(2.3 MB) vom 02.09.2016
2015
01 Gianluigi Zavattaro and Wolf Zimmermann
Proceedings of the PhD Symposium at the 4th European Conference on Service-Oriented and Cloud Computing
ESOCC-Proceedings.pdf
(675.1 KB) vom 11.09.2015
02 Christian S. Calude and Ludwig Staiger
Liouville, Computable, Borel Normal and Martin-Löf Random Numbers
2015_2.pdf
(1.4 MB) vom 23.10.2015
2014
01 Helmut Jürgensen and Ludwig Staiger
Fault-Tolerant Acceptors for Solid Codes
2014_01.pdf
(176.4 KB) vom 11.02.2014
02 folgt in Kürze...
(externe Datei)
03 Ludwig Staiger
On the Hausdorff measure of regular ω-languages in Cantor space
2014_03.pdf
(235.9 KB) vom 25.06.2014
2013
01 Wolf Zimmermann
Proceedings of the PhD Symposium at the 2nd European Conference on Service-Oriented and Cloud Computing
2013_01.pdf
(1.7 MB) vom 16.12.2013
2012
01 Ludwig Staiger
A Correspondence Principle for Exact Constructive Dimension
2102_01.pdf
(328 KB) vom 17.04.2012
02 Andre Gohr
Mixtures of Parsimonious Markov Models,
A. Gohr, S. Posch, I. Grosse
2012_02.pdf
(448.3 KB) vom 04.09.2012
03 Wolf Zimmermann
Proceedings of the PhD Symposium at the 1st European Conference on Service-Oriented and Cloud Computing.
Wolf Zimmermann (Editor)
2012_03.pdf
(919.2 KB) vom 18.09.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
2006
01 Ludwig Staiger.
The Kolmogorov complexity of infinite words
06-07report.pdf
(244 KB) vom 24.10.2013
2005
02 Ludwig Staiger.
Hausdorff Measure and Łukasiewicz Languages
05-11report.pdf
(80.7 KB) vom 24.10.2013
01 Changxing Dong and Paul Molitor.
What graphs can be efficiently represented by BDDs?
05-07report.pdf
(174.8 KB) vom 24.10.2013
2004
04 Cristian S. Calude, Ludwig Staiger und Karl Svozil.
Randomness Relative to Cantor Expansions
04-23report.pdf
(87.3 KB) vom 24.10.2013
03 Helmut Jürgensen, Ludwig Staiger and Hideky Yamasaki.
Finite Automata Encoding Geometric Figures
04-15report.pdf
(281.2 KB) vom 24.10.2013
02 Cristian S. Calude and Ludwig Staiger.
Generalisations of Disjunctive Sequences
04-14report.pdf
(189.4 KB) vom 11.11.2013
01 Holger Blaar, Marcel Karnstedt, Thomas Lange und Renate Winter.
Possibilities to solve the clique problem by thread parallelism using task pools
04-09report.pdf
(140.9 KB) vom 24.10.2013
2003
01 Boris Goldengorin and Gerard Sierksma.
Equality of Upper and Lower Tolerances in Combinatorial Optimization
03-04report.pdf
(78.4 KB) vom 25.10.2013
2002
03 René Mazala, Ludwig Staiger and Renate Winter.
12. Theorietag
02-16report.pdf
(560.3 KB) vom 25.10.2013
02 Ludwig Staiger.
How Large is the Set of Disjunctive Sequences?
02-15report.pdf
(124.5 KB) vom 25.10.2013
01 Holger Blaar, Matthias Legeler and Thomas Rauber.
Efficiency of Thread-parallel Java Programs from Scientific Computing
02-06report.pdf
(78 KB) vom 25.10.2013
2001
02 Ludwig Staiger.
Topologies for Disjunctive ω-words
01-15report.pdf
(89.5 KB) vom 25.10.2013
01 Renate Winter.
Kryptoalgorithmen unter Ausnutzung der Komplexität des Clique-Problems
01-12report.pdf
(150.4 KB) vom 25.10.2013
2000
04 Henning Fernau and Ralf Stiebe.
Valences in Parallel Systems
00-18report.pdf
(337.4 KB) vom 25.10.2013
03 Henning Fernau, Klaus Reinhardt and Ludwig Staiger.
Decidability of Code Properties
00-11report.pdf
(103.1 KB) vom 25.10.2013
02 Tetsuo Moriya.
Closure under Composition and Syntactic Monoids of some Codes
00-04report.pdf
(175.7 KB) vom 25.10.2013
01 Ursula Fissgus.
Scheduling Using Genetic Algorithms
00-01report.pdf
(111 KB) vom 25.10.2013
1999
10 Sandro Wefel and Paul Molitor.
Prove that a faulty multiplier is faulty !?
99-32report.pdf
(99.5 KB) vom 28.10.2013
09 Rudolf Freund and Ludwig Staiger.
Acceptance of ω-Languages by Communicating Deterministic Turing Machines
99-29report.pdf
(97.8 KB) vom 28.10.2013
08 Riccardo Forth and Paul Molitor.
An Efficient Heuristic for State Encoding Minimizing the BDD Representations of the Transition Relations of Finite State Machines
99-23report.pdf
(103.7 KB) vom 28.10.2013
07 Hideki Yamasaki.
Logical Characterization of Petri Net ω-Languages
99-17report.pdf
(254.8 KB) vom 28.10.2013
06 Henning Fernau and Ludwig Staiger.
Iterated Function Systems and Control Languages
99-16report.pdf
(276.6 KB) vom 28.10.2013
05 Ludwig Staiger.
On the Power of Reading the Whole Infinite Input Tape
99-15report.pdf
(119.6 KB) vom 28.10.2013
04 Ludwig Staiger.
The Kolmogorov Complexity of Liouville Numbers
99-14report.pdf
(89.6 KB) vom 28.10.2013
03 Ludwig Staiger.
How Much Can You Win When Your Adversary is Handicapped?
99-13report.pdf
(80.1 KB) vom 28.10.2013
02 Christian Matuszewski, Robby Schoenfeld and Paul Molitor.
Using sifting for k-layer straightline crossing minimization
99-11report.pdf
(186.5 KB) vom 28.10.2013
01 Thomas Pohl, Wilfried Grecksch and Holger Blaar.
A Parallel Modified Lagrangian Method for an Optimal Control Problem of a Linear Disributed Stochastic System
99-09report.dvi
(86.2 KB) vom 28.10.2013
1998
06 Henning Fernau and Ralf Stiebe.
Regulation by Valences
98-36report.pdf
(247.3 KB) vom 28.10.2013
05 Ursula Fissgus, Thomas Rauber and Gudula Rünger.
A Framework for Generating Task Parallel Programs
98-34report.pdf
(309.8 KB) vom 28.10.2013
04 Ludwig Staiger.
The Hausdorff Measure of Regular ω-languages is Computable
98-30report.pdf
(188.8 KB) vom 28.10.2013
03 Laura Heinrich-Litan, Ursula Fissgus, St. Sutter, Paul Molitor and Thomas Rauber.
Modeling the Communication Behavior on Distributed Memory Machines by Genetic Programming
98-24report.pdf
(201.6 KB) vom 28.10.2013
02 Thomas Pohl, Wilfried Grecksch and Holger Blaar.
A Parallel Application of a Quasigradient Method in Stochastic Control Theory
98-11report.dvi
(62 KB) vom 28.10.2013
01 Ludwig Staiger.
Rich ω-Words and Monadic Second-Order Arithmetic
98-06report.pdf
(263.8 KB) vom 28.10.2013
1997
06 Axel Podehl, Thomas Rauber and Gudula Rünger.
A SharedMemory Implementation of the Hierarchical Radiosity Method
97-49report.pdf
(367.7 KB) vom 29.10.2013
05 Holger Zickner, Holger Blaar and Matthias Basken.
Eine Bibliothek mit parallelen Algorithmen und Datenstrukturen zur Losung geometrischer Probleme
97-38report.pdf
(160.8 KB) vom 29.10.2013
04 Paul Molitor.
Abschlußbericht des DFG-Forschungsprojektes: Logische Synthese und Optimierung kleiner Schaltungen
97-23report.pdf
(230.1 KB) vom 29.10.2013
03 Thomas Bräsel, Bernhard Frötschl and Raúl Rojas.
Rotation and translation invariant pattern recognition - The effect of discretization
97-10report.pdf
(192.8 KB) vom 29.10.2013
02 Ludwig Staiger.
ω- languages
97-09report.pdf
(491.6 KB) vom 29.10.2013
01 Martin Keim, Michael Martin, Bernd Becker, Rolf Drechsler and Paul Molitor.
Polynomial Formal Verification of Multipliers
97-07report.pdf
(124.6 KB) vom 29.10.2013
1996
05 Paul Molitor, Stefan Näher, Raúl Rojas und Ludwig Staiger.
Beiträge zur Informatik - Vier Artikel wurden Herrn Prof. Karl-Heinz Rauchhaus zum 60. Geburtstag gewidmet.
Paul Molitor. On Efficient Dynamic Reordering of Variables for Binary Decision Diagrams, 1 - 7.
Stefan Näher. LEDA - Eine Plattform für kombinatorisches und geometrisches Rechnen, 9 - 24.
Raúl Rojas. Sechzig Jahre Computergeschichte - Die Architektur der Rechenmaschinen Z1 und Z3, 25 - 50.
Ludwig Staiger. On ω-power Languages, 51 - 69.
04 Christoph Scholl, Stefan Melchior, Günter Hotz and Paul Molitor.
Minimizing ROBDD Sizes of Incompletely Specified Boolean Functions by Exploiting Strong Symmetrie
96-40report.pdf
(271.1 KB) vom 29.10.2013
03 Tolga Asveren and Paul Molitor.
New Crossover Methods for Sequencing Problems
96-25report.pdf
(187.7 KB) vom 29.10.2013
02 Ines Peters, Paul Molitor and Michael Weber.
On OTC-Routing with Vertical Floating Pins
96-15report.pdf
(135.8 KB) vom 29.10.2013
01 Laura Litan, Paul Molitor and Dirk Möller.
Least Upper Bounds on the Sizes of Symmetric Variable Order based Binary Decision Diagrams
96_08.pdf
(303.7 KB) vom 29.10.2013
1995
09 Thomas Pohl, Holger Blaar and Wilfried Grecksch.
Parallele Lösung eines stetigen deterministischen Steuerproblems
95-15report.pdf
(1.1 MB) vom 29.10.2013
08 Christoph Scholl and Paul Molitor.
Communication Based FPGA Synthesis for Multi-Output Boolean Functions
95-13report.pdf
(345.7 KB) vom 29.10.2013
07 Kurt Mehlhorn and Stefan Näher.
LEDA - A Platform for Combinatorial and Geometric Computing
95-10report.pdf
(165.4 KB) vom 29.10.2013
06 Janett Mohnke, Paul Molitor and Sharad Malik.
Limits of Using Signatures for Permutation Independent Boolean Comparison
95-09report.pdf
(155.6 KB) vom 29.10.2013
05 Marcus Pfister and Raúl Rojas.
Hybrid Learning Algorithms for Neural Networks - The adaptive Inclusion of Second Order Information
95-08report.pdf
(192.3 KB) vom 29.10.2013
04 Tom Head and Andreas Weber.
Deciding Multiset Decipherability
95-07report.pdf
(448.8 KB) vom 12.11.2013
03 Ines Peters.
Priority Driven Channel Pin Assignment
95-06report.pdf
(307.8 KB) vom 29.10.2013
02 Bernd Becker, Rolf Drechsler and Paul Molitor.
On the Generation of Area-Time Optimal Testable Adders
95-04report.pdf
(380.5 KB) vom 29.10.2013
01 Paul Molitor.
Recent Developments in Wiring and via Minimization
95-01report.pdf
(1.1 MB) vom 11.11.2013