@inproceedings{26277,
  author       = {{Ziegler, Martin}},
  booktitle    = {{Computability and Complexity in Analysis}},
  pages        = {{389--406}},
  title        = {{{Computable Operators on Regular Sets}}},
  volume       = {{302-8/2003}},
  year         = {{2003}},
}

@inproceedings{18374,
  abstract     = {{In der heutigen Zeit operieren Unternehmen zunehmend in einem schwierigen Umfeld: Die Innovationsdynamik nimmt zu und die Produktlebenszyklen werden kürzer. Daraus resultieren hohe Anforderungen an die Planung von Fertigungssysteme. Um diesen Prozess zu unterstützen, sollen die Technologien Augmented Reality und Virtual Reality in einem integrierten System genutzt werden. Dieses System unterstützt den Anwender bei der Modellbildung, der Validierung des Simulationsmodells sowie der folgenden Optimierung des Fertigungssystems. Durch die Entwicklung geeigneter Kopplungs- bzw. Integrationsmechanismen wird eine durchgängige Nutzung der Technologien AR, VR und Simulation realisiert. Die Visualisierung der anfallenden 3D-Daten innerhalb der VR- und ARUmgebungen erfolgt mittels einer 3D-Renderinglibrary, die es durch den Einsatz von neuen entwickelten Verfahren ermöglicht, die verwendeten 3D-Modelle weitgehend automatisiert aus unternehmensinternen 3D-CAD-Modellen zu generieren.}},
  author       = {{Fischer, Matthias and Grafe, Michael and Matysczok, Carsten and Schoo, Michael and Mueck, Bengt}},
  booktitle    = {{2. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}},
  pages        = {{153--166}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Planung von komplexen Fertigungssystemen durch Einsatz einer VR/AR-unterstützten Simulation}}},
  volume       = {{123}},
  year         = {{2003}},
}

@phdthesis{18573,
  author       = {{Sohler, Christian}},
  isbn         = {{3-935433-28-X}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Property Testing and Geometry}}},
  volume       = {{119}},
  year         = {{2003}},
}

@phdthesis{24603,
  author       = {{El-Kebbe, Dania Adnan}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Towards the MaSHReC Manufacturing System under Real-Time Constraints}}},
  volume       = {{117}},
  year         = {{2003}},
}

@phdthesis{24590,
  author       = {{Wagenblaßt, Dieter}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Eine Analysemethode zur Beurteilung der Funktionssicherheit von gemischt analog-digitalen Schaltungen}}},
  volume       = {{103}},
  year         = {{2002}},
}

@phdthesis{24591,
  author       = {{Porrmann, Mario}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Leistungsbewertung eingebetteter Neurocomputersysteme}}},
  volume       = {{104}},
  year         = {{2002}},
}

@phdthesis{24592,
  author       = {{Seifert, Lars}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Methodik zum Aufbau von Informationsmodellen für Electronic Business in der Produktentwicklung}}},
  volume       = {{105}},
  year         = {{2002}},
}

@phdthesis{24593,
  author       = {{Soetebeer, Martin}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Methode zur Modellierung, Kontrolle und Steuerung von Produktstrategien}}},
  volume       = {{106}},
  year         = {{2002}},
}

@proceedings{24594,
  editor       = {{Gausemeier, Jürgen}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{1. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}}},
  volume       = {{107}},
  year         = {{2002}},
}

@phdthesis{24595,
  author       = {{Flath, Martin}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Methode zur Konzipierung mechatronischer Systeme}}},
  volume       = {{108}},
  year         = {{2002}},
}

@phdthesis{24596,
  author       = {{Avenarius, Joachim}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Methoden zur Suche und Informationsbereitstellung von Lösungselementen für die Entwicklung mechatronischer Systeme}}},
  volume       = {{109}},
  year         = {{2002}},
}

@phdthesis{24597,
  author       = {{Helmke, Stefan}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Eine simulationsgestützte Methode für die optimale Budgetentscheidung im Kundenbindungsmanagement}}},
  volume       = {{110}},
  year         = {{2002}},
}

@phdthesis{24598,
  author       = {{Czubayko, Roland}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Rechnerinterne Repräsentation von informationsverarbeitenden Lösungselementen für die verteilte kooperative Produktentwicklung in der Mechatronik}}},
  volume       = {{111}},
  year         = {{2002}},
}

@phdthesis{24599,
  author       = {{Goldschmidt, Stefan}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Anwendung mengenorientierter numerischer Methoden zur Analyse nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik von Schienenfahrzeugen}}},
  volume       = {{112}},
  year         = {{2002}},
}

@phdthesis{24600,
  author       = {{Lehmann, Thomas and Winter, K.}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Towards Device Driver Synthesis}}},
  volume       = {{113}},
  year         = {{2002}},
}

@phdthesis{24601,
  author       = {{Härtel, Wulf}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Issueorientierte Frühaufklärung}}},
  volume       = {{114}},
  year         = {{2002}},
}

@inproceedings{26412,
  author       = {{Volbert, Klaus}},
  booktitle    = {{Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-based Processing}},
  title        = {{{A simulation environment for ad hoc networks using sector subdivision}}},
  doi          = {{10.1109/empdp.2002.994324}},
  year         = {{2002}},
}

@phdthesis{18169,
  abstract     = {{Die Implementierung von Algorithmen zur Lösung geometrischer Probleme im Euklidischen Raum (z.B. Berechnung der konvexen Hülle oder des Durchschnitts zweier Polyeder) stellt sich oftmals als hochgradig nichttrivial heraus. Ob und unter welchen Voraussetzungen die verursachenden numerischen Instabilitäten überhaupt ini den Griff zu kriegen oder vielmehr dem Problem inhärent sind, untersucht diese Arbeit in einem auf Turing zurückgehenden Rechenmodell. Im Gegensatz zu algebraischen Ansätzen geht jenes nicht von der Verfügbarkeit exakter Tests auf z.B. Gleichheit reeller Zahlen aus, sondern berücksichtigt die auf Digitalcomputern tatsächlich realisierbare Approximation durch rationale Zahlen. In diesem Rahmen werden beweisbar stabile Algorithmen zum Lösen linearer Gleichungssysteme, zur Matrix-Diagonalisierung und zur linearen wie nichtlinearen Optimierung präsentiert. Als wichtiges technisches Hilfsmittel dient ein neuer Berechenbarkeitsbegriff für reguläre unendliche Mengen reller Zahlen, der sich aus dem systematischen Vergleich verschiedener der Literatur entnommener ad-hoc Ansätze ergibt.}},
  author       = {{Ziegler, Martin}},
  isbn         = {{3-935433-24-7}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Zur Berechenbarkeit reeller geometrischer Probleme}}},
  volume       = {{115}},
  year         = {{2002}},
}

@phdthesis{19622,
  author       = {{Schröder, Klaus}},
  isbn         = {{3-931466-88-4}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing}}},
  volume       = {{89}},
  year         = {{2001}},
}

@phdthesis{24509,
  author       = {{Preis, Robert}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Analyses and Design of Efficient Graph Partitioning Methods}}},
  volume       = {{88}},
  year         = {{2001}},
}