Neuzugänge

vom 17.4.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

Theorietag Automaten und Formale Sprachen 2009

Wittenberg, 27. bis 30. September 2009

Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2009 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2009

vom 16.4.2014

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

vom 7.2.2011

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

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

Physically based motion of point masses on NURBS surfaces in real-time

Bugdoll, Hendrik

Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2010 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2010

Proceedings of the PhD Symposium at the 8th IEEE European Conference on Web Services

Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2010 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2010

Topologies refining the CANTOR topology on Xw

Schwarz, Sibylle ; Staiger, Ludwig

Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2010 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2010

vom 4.2.2011

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

On Oscillation-free e-random Sequences II

Mielke, Jöran ; Staiger, Ludwig

Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2009 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2009

Subpath-Optimality of Multi-Criteria Shortest Paths in Time- and Event-Dependent Networks

Berger, Annabell ; Müller-Hannemann, Matthias

Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2009 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2009

Supporting the Development Process of Reliable Software During the Composition Process Using Interaction Protocols

Both, Andreas ; Zimmermann, Wolf

Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2009 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2009

vom 26.7.2010

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

vom 8.10.2009

On Universal Computably Enumerable Prefix Codes

Calude, Cristian ; Staiger, Ludwig