Martin-Luther-Universität Halle-Wittenberg


LaTeX-Stylefiles für Berichte (1,4 MB)  vom 22.02.2008


Login für Redakteure

Technische Berichte


01 Klaus Reinhardt, Ludwig Staiger and Renate Winter
76. Workshop Algorithmen und Komplexität
und 28. Theorietag Automaten und Formale Sprachen
2018_01.pdf (4,1 MB)  vom 27.11.2018


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


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


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


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


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


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 und 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 und 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 und 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 und Martin Ostrowski
Stochastic Delay Prediction in Large Train Networks
2011_01.pdf (806,9 KB)  vom 23.03.2011


05 Annabell Berger, Matthias Müller-Hannemann, Steffen Rechner und 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 und 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


05 Christian Ernst, Changxing Dong, Dirk Richter, Gerold Jäger und
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 und 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 und 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


10 Roberto Hoffmann und 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 und 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 und 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 und Wolf Zimmermann.
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems
2008_01.pdf (743,4 KB)  vom 16.06.2008


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

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

05 Matthias Müller-Hannemann und 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 und 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 und 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, und 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 und Ludwig Staiger.
On Universal Computably Enumerable Prefix Codes
2007_01.pdf (236 KB)  vom 16.04.2008


01 Ludwig Staiger.
The Kolmogorov complexity of infinite words
06-07report.pdf (244 KB)  vom 24.10.2013


02 Ludwig Staiger.
Hausdorff Measure and Łukasiewicz Languages
05-11report.pdf (80,7 KB)  vom 24.10.2013

01 Changxing Dong und Paul Molitor.
What graphs can be efficiently represented by BDDs?
05-07report.pdf (174,8 KB)  vom 24.10.2013


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 und Hideky Yamasaki.  
Finite Automata Encoding Geometric Figures
04-15report.pdf (281,2 KB)  vom 24.10.2013

02 Cristian S. Calude und 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


01 Boris Goldengorin und Gerard Sierksma.
Equality of Upper and Lower Tolerances in Combinatorial Optimization
03-04report.pdf (78,4 KB)  vom 25.10.2013


03 René Mazala, Ludwig Staiger und 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 und Thomas Rauber.
Efficiency of Thread-parallel Java Programs from Scientific Computing
02-06report.pdf (78 KB)  vom 25.10.2013


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


04 Henning Fernau und Ralf Stiebe.
Valences in Parallel Systems
00-18report.pdf (337,4 KB)  vom 25.10.2013

03 Henning Fernau, Klaus Reinhardt und 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


10 Sandro Wefel und Paul Molitor.
Prove that a faulty multiplier is faulty !?
99-32report.pdf (99,5 KB)  vom 28.10.2013

09 Rudolf Freund und Ludwig Staiger.
Acceptance of ω-Languages by Communicating Deterministic Turing Machines
99-29report.pdf (97,8 KB)  vom 28.10.2013

08 Riccardo Forth und 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 und 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 und 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 und 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


06 Henning Fernau und Ralf Stiebe.
Regulation by Valences
98-36report.pdf (247,3 KB)  vom 28.10.2013

05 Ursula Fissgus, Thomas Rauber und 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 und 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 und 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


06 Axel Podehl, Thomas Rauber und 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 und 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 und 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 und Paul Molitor.
Polynomial Formal Verification of Multipliers
97-07report.pdf (124,6 KB)  vom 29.10.2013


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 und 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 und Paul Molitor.
New Crossover Methods for Sequencing Problems
96-25report.pdf (187,7 KB)  vom 29.10.2013

02 Ines Peters, Paul Molitor und Michael Weber.
On OTC-Routing with Vertical Floating Pins
96-15report.pdf (135,8 KB)  vom 29.10.2013

01 Laura Litan, Paul Molitor und 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


09 Thomas Pohl, Holger Blaar und Wilfried Grecksch.
Parallele Lösung eines stetigen deterministischen Steuerproblems
95-15report.pdf (1,1 MB)  vom 29.10.2013

08 Christoph Scholl und Paul Molitor.
Communication Based FPGA Synthesis for Multi-Output Boolean Functions
95-13report.pdf (345,7 KB)  vom 29.10.2013

07 Kurt Mehlhorn und 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 und Sharad Malik.
Limits of Using Signatures for Permutation Independent Boolean Comparison
95-09report.pdf (155,6 KB)  vom 29.10.2013

05 Marcus Pfister und 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 und 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 und 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

Zum Seitenanfang