41 Treffer

• 22nd Workshop on (Constraint) Logic Programming Dresden, Germany, September 30 - October 1, 2008 Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008

• Asymptotic subword complexity Staiger, Ludwig Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Constructive dimension and Hausdorff dimension: the case of exact dimension Staiger, Ludwig Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• A correspondence principle for exact constructive dimension Staiger, Ludwig Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

• Dag realizations of directed degree sequences Berger, Annabell ; Müller-Hannemann, Matthias Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Dag realizations of directed degree sequences Berger, Annabell ; Müller-Hannemann, Matthias Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Effective Tour Searching for TSP by Contraction of Pseudo Backbone Edges Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008

• Efficient Computation of Time-Dependent Centralities in Air Transportation Networks Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2010 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2010

• Emulating a PRAM on a Parallel Computer Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2007 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2007

• Fault-tolerant acceptors for solid codes Jürgensen, Helmut ; Staiger, Ludwig Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2014 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2014

• Finding Good Tours for Huge Euclidean TSP Instances by Iterative Backbone Contraction First Results Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2009 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2009

• Handling Proper Minor-Closed Graph Classes in Linear Time Shortest Paths and 2-Approximate Steiner Trees Müller-Hannemann, Matthias ; Tazari, Siamak Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2007 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2007

• How to develop a graphical editor for discrete timed Net Condition/Event Systems using the Eclipse Petri Net Kernel Gerber, Christian Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• An Iconic Scene Memory Approach for Mobile Robots Interacting with Humans Möller, Birgit ; Posch, Stefan Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2007 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2007

• Improving the Efficiency of Helsgaun's Lin-Kernighan Heuristic for the Symmetric TSP Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2007 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2007

• Integration of SAT-based Coverage Measures into a NuSMV-based Verification Workflow Hoffmann, Roberto ; Molitor, Paul Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008

• The maximal subword complexity of quasiperiodic infinite words Polley, Ronny ; Staiger, Ludwig Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2010 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2010

• Mixtures of parsimonious markov models Gohr, André ; Posch, Stefan ; Grosse, Ivo Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

• A Near Linear Time Approximation Scheme for Steiner Tree among Obstacles in the Plane Müller-Hannemann, Matthias ; Tazari, Siamak Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2007 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2007

• Non-Approximability of Just-in-Time Scheduling Müller-Hannemann, Matthias ; Sonnikow, Alexander Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2007 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2007