71 references, last updated Thu Oct 12 21:32:42 2000

[Gärtner, 2000]
Tobias Gärtner. Recursive Analytic Functions of one Complex Variable. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 2000. (Gzipped PostScript, 41 pages, 124188 bytes)

[Kleineidam, 2000]
Bastian Kleineidam. Verteilte Protokolle zur effizienten Simulation von Mehrkörpersystemen. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 2000. (Gzipped PostScript, 78 pages, 656112 bytes)

[Schmid, 1999]
Rainer Schmid. Approximation verallgemeinerter Polyeder. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1999. (Gzipped PostScript, 89 pages, 1437473 bytes)

[von Oertzen, 1999]
Timo von Oertzen. CEDRIC - ein automatisches geometrisches Beweissystem. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1999. (Gzipped PostScript, 91 pages, 304545 bytes)

[Warken, 1999]
Thomas Warken. Berechnung von Kontaktkräften für eine zwangsbasierte Dynamiksimulation. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1999. (Gzipped PostScript, 65 pages, 1084968 bytes)

[Son, 1998]
Jung-Bae Son. Berechnung konvexer Hüllen in erwarteter Linearzeit. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1998. (Gzipped PostScript, 117 pages, 357111 bytes)

[Jost, 1997]
Stephan Jost. Impulsbasierte Dynamik starrer Körper. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1997. (Gzipped PostScript, 102 pages, 269726 bytes)
Die Arbeit beschäftigt sich mit der Einbeziehung einer impulsbasierten Dynamik in eine Montagesimulation, d.h. neben Geometrie und Kinematik des simulierten Systems betrachten wir auch die Kräfte, die die Bewegungen innerhalb des Systems auslösen. Dabei kann es zur Interaktion zwischen den simulierten Objekten kommen, was die Erkennung solcher Kollisionen und die physikalisch möglichst korrekte Reaktion darauf notwendig macht. Die Arbeit gliedert sich gemäs den vier Phasen unserer Simulation. Im ersten Teil leiten wir Formeln zur Berechnung von Volumen, Schwerpunkt und Trägheitsmatrix von Polyedern her. Das zweite Kapitel beschäftigt sich mit der Entwicklung der Bewegungsgleichungen unserer Objekte und der Lösung der so erhaltenen Differentialgleichungen. Da dabei die Möglichkeit zur Interaktion zwischen den Objekten besteht, müssen wir solche Kontakte erkennen. Eine solche Kollisionserkennung, die mit Systemzuständen zu jeweils zwei festen Zeitpunkten arbeiten, ist das Thema des dritten Teils. Das vierte Kapitel schlieslich beschäftigt sich mit der Reaktion auf Kollisionen. Zu Beginn vergleichen wir mehrere mögliche Ansätze und erläutern die Entscheidung für eine impulsbasierte Methode. Anschliesend wird ein Verfahren zur Behandlung von beliebigen Mehrfachkontakten zwischen verschiedenen Objekten entwickelt. Der Anhang geht dann noch näher auf die Benutzerschnittstelle und insbesondere die Anbindung der Spacemouse (3D-Eingabegerät) ein.

[Martini, 1997]
Christian Martini. Ein Verfahren zur Verschlüsselung von Nachrichten durch Ausnutzung der dynamischen Balancierung von Bäumen. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1997. (Gzipped PostScript, 61 pages, 142645 bytes)

[Melchior, 1997]
Stephan Melchior. Ausnutzung von Symmetrien partieller Boolescher Funktionen. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1997. (Gzipped PostScript, 136 pages, 325258 bytes)
In der vorliegenden Arbeit wurde eine Heuristik zur Bestimmung von symmetrischen Erweiterungen partieller Boolescher Funktionen entwickelt. Dabei wurden für die Spezifizierung der don't care-Menge die Symmetrien der Funktion derart ausgenutzt, daß die resultierende Erweiterung in einer möglichst kleinen Partition der Eingangsvariablen stark symmetrisch ist. Experimentelle Untersuchungen an ROBDD-Darstellungen für Benchmarkschaltungen haben gezeigt, daß sich mit Hilfe der vorgestellten Algorithmen die Größe der Darstellung sehr stark reduzieren läßt. Für viele ROBDD-basierte Anwendungen kann dadurch die Laufzeit, der Speicherverbrauch und die Güte der Schaltungsentwürfe erheblich verbessert werden.

[Ritter, 1997]
Jörg Ritter. Flexible Visualisierung von Entwurfsdaten in CADIC. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1997. (Gzipped PostScript, 89 pages, 723734 bytes)

[Gamkrelidze, 1996]
Alexander Gamkrelidze. Entwurf eines booleschen Sortiernetzes mit der Struktur eines n-dimensionalen Würfels. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1996. (Gzipped PostScript, 86 pages, 964777 bytes)

[Hopf, 1996]
Dirk Hopf. Editor zur handschriftlichen Eingabe zweidimensionaler Formeln in den Computer. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1996. (Gzipped PostScript, 67 pages, 230335 bytes)

[Kreutzer, 1996]
Michael Kreutzer. Das Fanout-Problem: Analysen und Heuristiken für flache und hierarchische Schaltungsbeschreibungen. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1996. (Gzipped PostScript, 126 pages, 576997 bytes)

[Müller, 1996]
Holger Müller. Pfadsystemtest fuer unate Schaltkreise. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1996. (Gzipped PostScript, 109 pages, 358377 bytes)

[Welsch, 1996]
Markus Welsch. Exakte geometrische Kollisionserkennung. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1996. (Gzipped PostScript, 108 pages, 877238 bytes)

[Chadzelek, 1995]
Thomas Chadzelek. Heuristische Bewegungsplanung mit vielen Freiheitsgraden. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, March 1995. (Gzipped PostScript, 83 pages, 412842 bytes)
Ein Algorithmus für das allgemeine geometrische Bewegungsplanungsproblem wird vorgestellt, welcher intuitiv leichte Probleme auch in Szenen mit vielen Freiheitsgraden schnell löst. Eine Divide-and-Conquer-Strategie dient zur Wegesuche, wobei der Konfigurationsraum nie explizit errechnet oder repräsentiert wird; sie greift auf eine Routine zur Kollisionserkennung zurück. Die elementaren Translationen und Rotationen, aus denen sich eine Bewegung zusammensetzt, werden getrennt durch ein effizientes Verfahren behandelt; Hüllkörper verringern dabei die Laufzeit in praktischen Beispielen dramatisch.

[Nikolaus, 1995]
Ulrich Nikolaus. Ein automatischer Testmustergenerator unter 16-wertiger Logik mit variabler Fehlermodellierung. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1995. (Gzipped PostScript, 66 pages, 428568 bytes)

[Schulz, 1995]
Frank Schulz. Selbstorganisierende Datenstrukturen bei abhängigen Zugriffen. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1995. (Gzipped PostScript, 106 pages, 237161 bytes)
Wir betrachten das Wörterbuchproblem, wenn die Folge der Suchanfragen durch eine Markov-Kette modelliert werden kann (Anfragequelle mit Gedächtnis). Selbst-organisierende Datenstrukturen stellen eine Möglichkeit zur Behandlung dar, und erlauben die dynamische Anpassung an das Zugriffsverhalten. Für die Simple-k- und Batched-k-Nach-Vorne-Schieben- Regel werden Formeln fuer die erwartete Suchzeit hergeleitet. Es stellt sich heraus, daß bei abhängigen Zugriffen mit trägem Übergangsverhalten (Lokalität der Zugriffe) die Hierarchie der Heuristiken bzgl. der erwarteten Suchzeit genau umgedreht ist als bei unabhängigen Zugriffen. Weiter betrachten wir eine spezielle Folge abhängiger Zugriffe, um die Größe des Zustandsraums der Datenstruktur zu reduzieren. In diesem Fall können wir beliebige Vorwärts- Regeln miteinander vergleichen und stellen auch hier fest, daß die Rangfolge der Regeln genau umgekehrt ist, verglichen mit unabhängigen Zugriffen. Außerdem betrachten wir selbst-organisierende Suchbäume mit der Zur-Wurzel-Rotieren-Regel. Bei beliebiger vorgegebener stationärer Verteilung können Zugriffsfolgen mit Lokalität angegeben werden, so daß die erwartete Suchzeit beliebig nahe an 1 liegt.

[Vierke, 1995]
Gero Vierke. Berechenbarkeit reellwertiger Funktionen und analytische Berechnungen. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1995. (Gzipped PostScript, 47 pages, 121788 bytes)

[Backes, 1994]
Rainer Backes. Interaktive Hierarchiemodifikationen. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1994.

[Biwersi, 1994]
Michael Biwersi. mu SiC -- ein kleiner Silicon-Compiler. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1994.

[Collet, 1994]
Wolfgang Collet. Repräsentation und Modellierung von regulären Objekten. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1994. (Gzipped PostScript, 134 pages, 701368 bytes)

[Eckstein, 1994]
Jens Eckstein. Heuristische Bewegungsplanungsstrategien im R3. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1994. (Gzipped PostScript, 133 pages, 1435655 bytes)
Two general heuristic approaches to the geometric motion planning problem are considered. Both heuristics make use of efficient collision detection algorithms and combine motion planning with collision detection to speed up planning or to extend planning facilities. The first approach tries to speed up motion planning by ignoring all obstacles in the scene which do not contribute to the planned collision-free path. In order to obtain such a minimal scene the heuristic computes a collision-free path in a scene and checks the planned paths for collisions with ignored obstacles using standard collision detection algorithms. The heuristic thereby conserves qualitative features of the algorithms used like completeness, computation of most-secure, euclidian-shortest or time-optimal paths. It can be used with any kind of motion planning algorithms like classical ones, algorithms for dynamical environments or multiple moving objects. The advantages of the heuristic are shown for a complete algorithm handling 3-dimensional objects with two translational degrees of freedom using the configuration space approach of Lozano-Perez and Wesley. The second heuristic extends the facilities of algorithms for static environments by classifying the obstacles in the scene in fixed and movable obstacles forming a motion planning problem with many degrees of freedom. The complex problem is decomposed in a series of simple problems which can be solved efficiently by known algorithms and the solutions are combined to a solution for the whole problem. It is shown that together with a problem modification strategy the heuristic nearly always extends and never reduces the facilities of motion planning algorithms in static environments.

[Follert, 1994]
Frank Follert. Lageoptimierung nach dem Maximin-Kriterium. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1994. (Gzipped PostScript, 123 pages, 399409 bytes)

[Krallmann, 1994]
Matthias Krallmann. TestShell -- Eine Benutzer- und Entwicklungsumgebung zur interaktiven, hierarchischen Testmustergenerierung. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1994.

[Benzing, 1993]
Ulrich Benzing. Parametrisierter Entwurf eines schnellen 1024--Bit Multiplizierers unter Verwendung des VLSI--Entwurfssystems CADIC. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 1993.

[Emmerich, 1993]
Martin Emmerich. Netzlistenextraktion aus einem hierarchischen Syntaxgraphen. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1993.

[Kremer, 1993]
Stephanie Kremer. Fehlersimulation in sequentiellen Schaltkreisen. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1993.

[Olinga, 1993]
Guy Francois Olinga. Berechnung von Signalwahrscheinlichkeiten in kombinatorischen Schaltkreisen. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1993.

[Scholl, 1993]
Christoph Scholl. Mehrstufige Logiksynthese unter Ausnutzung von Symmetrien und nichttrivialen Zerlegungen. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1993. (Gzipped PostScript, 166 pages, 364544 bytes)

[Brettar, 1992]
Christoph Brettar. mu SiC -- ein kleiner Silicon-Compiler: regelbasierte Bausteinanpassung und Schaltkreisoptimierung. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1992.

[Grande, 1992]
Bernd Grande. Verfahren zur hierarchischen Schichtzuweisung und ihre Implementierung in CADIC. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1992.

[Heimig, 1992]
Ingo Heimig. Übersicht über den momentanen Stand der High-Level Synthese. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1992.

[Meiser, 1992]
Michael Meiser. Leiterlängenreduktion in logisch-topographischen Netzen. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1992.

[Reichert, 1992]
Armin Reichert. Baumgrammatiken mit multilinearer Interpretation. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1992. (Gzipped PostScript, 53 pages, 140627 bytes)
Wir untersuchen den Zusammenhang zwischen Baumersetzungen und dazu korrespondierenden Stringersetzungen. Jeder durch ein Baumersetzungssystem generierten Sprache wird durch sog. multilineare Interpretation eine Stringsprache zugeordnet. Wir zeigen, daß sich diese Stringsprachen durch eine natürliche Verallgemeinerung der kontextfreien Grammatiken, den gekoppelt-kontextfreien Grammatiken erzeugen lassen. Es wird weiter gezeigt, daß die Klasse der Tree-Adjoinining-Languages, die in der Computerlinguistik zur Zeit große Bedeutung findet, durch gekoppelt-kontextfreie Sprachen charakterisiert werden kann.

[Schnabel, 1992]
Jörg Edi Schnabel. Generierung der Stromversorgung in CADIC. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1992.

[Yazdani, 1992]
A. A. Yazdani. Sprachtheoretische Einbettung homotoper Transformationen zur Überkreuzungsminimierung in Schaltkreisen. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1992.

[Hauter, 1991]
Iris Hauter. Hardware-Entwurf eines Datenkomprimierers. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1991.

[Kirsch, 1991]
B. Kirsch. Integration eines Sensorbausteins zur Druckmessung mit VENUS 3. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1991.

[Schieffer, 1991]
Björn Schieffer. Hierarchische Fehlersimulation mit Nicht-Standard-Fehlermodellen. Diplomarbeit, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1991. (Gzipped PostScript, 75 pages, 243392 bytes)
Der erste Teil der Arbeit beschäftigt sich mit den Problemen einer feineren Modellierung von Fehlern, der zweite mit der Miniaturisierung von Schaltkreisen. Die führt nämlich dazu, daßdie auf die Chips gebrannten Schaltungen immer umfangreicher werden. Weshalb wiederum die Algorithmen für Testgenerierung und Fehlersimulation immer mehr Zeit beanspruchen. Sie bedürfen daher einer Weiterentwicklung, um mit neuen Generationen von Schaltungen Schritt zu halten. Da Testen eine sehr zeitaufwendige Aufgabe ist stellt man die Laufzeit der Algorithmen gegenüber ihrem Speicherbedarf oft in den Vordergrund. Deshalb wurde deren hierarchischer Aufbau, der das Design großer Schaltungen erst ermöglicht, nicht genutzt. Die höheren Laufzeitkosten eines hierarchischen Algorithmus stufte man als zu teuer gegenüber dem daraus erhofften Platzgewinn ein. Ich will für die hierarchische Fehlersimulation zeigen, daßdie Laufzeitkosten gar nicht so hoch sind, wie bisher angenommen.

[Eickholt, 1990]
H. H. Eickholt. Entwicklung zweier VLSI-Multipliziererchips mit dem CAD-Entwurfssystem VENUS 1. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1990. 107 Seiten.

[Grünewald, 1990]
Birgit Grünewald. Entwurf eines Chips zur Berechnung von Ausgleichsparabeln. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1990. 82 Seiten.

[Heckler, 1990]
Christian Heckler. Obere und untere Schranken beim zwei-- und dreidimensionalen VLSI-entwurf. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1990. 131 Seiten.

[Hinsberger, 1990]
Uwe Hinsberger. Zellenbasierte Dimensionierung kombinatorischer Schaltkreise. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1990. 94 Seiten.

[Kiel, 1990]
Detlef Kiel. VLSI Architekturen zur Verwaltung von Wörterbüchern: Analyse und Entwürfe. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1990. 99 Seiten.

[König, 1990]
Joachim König. Signaltypverfeinerung in CADIC. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1990. 97 Seiten.

[Mechenbier, 1990]
Dirk Mechenbier. Kompaktieren von Layouts. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1990. 97 Seiten.

[Müller, 1990]
B. Müller. Ausnutzung funktionaler Eigenschaften von Operationen zur Erhöhung der Verfügbarkeit von Rechnern. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1990. 47 Seiten.

[Pitsch, 1990]
Gisela Pitsch. Effiziente parallele Verfahren zur Entscheidung des Wortproblems bei Dycksprachen. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1990. 103 Seiten.

[Weber, 1990]
Wolfgang Weber. Entwurf und Test einer Familie von Gleitkommaaddierern. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1990. 144 Seiten.

[Zimmer, 1990]
Walter Zimmer. Realisierung eines schnellen 1024-Bit Multiplizierers. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1990. 113 Seiten.

[Hahn, 1989]
Ralf Hahn. Methoden zur Fehlersimulation kombinatorischer Schaltkreise. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1989.

[Kiefer, 1989]
B. Kiefer. Schichtzuweisung an Schaltkreisfeldern. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1989. 69 Seiten.

[Krieger, 1989]
Rolf Krieger. Ein strukturbasiertes Verfahren zur Fehlersimulation kombinatorischer Schaltkreise. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1989.

[Schneider, 1989]
M. F. Schneider. Entwicklung eines intelligenten Vermittlungsbausteins für 2-WADE-Kommunikation in Polyknoten-Systemen. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1989.

[Spanier, 1989]
Uwe Spanier. Automatische Pfadgenerierung für CADIC. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1989. 74 Seiten.

[Burch, 1988]
Thomas Burch. Ein grafisches Eingabesystem für CADIC. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1988. 91 Seiten.

[de la Hamette, 1988]
Luc de la Hamette. Automatische Leitungsverfeinerung mit CADIC. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1988. 69 Seiten.

[Müller, 1988]
Reinhard Müller. Plazierungsvorgaben für Standardzellen aus CADIC-Beschreibungen. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1988. 81 Seiten.

[Schömer, 1988]
Elmar Schömer. Fehlertolerantes Routing auf dem n-dimensionalen Würfel. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1988. 51 Seiten. (Gzipped PostScript, 57 pages, 170111 bytes)

[Serf, 1988]
Bernd Serf. Probleme bei der Simulation kombinatorischer Schaltkreise unter Ausnutzung von Hierarchie. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1988. 49 Seiten.

[Reinert, 1987]
J. Reinert. Integration eines 4x4-Koppelvielfaches mit dem Entwicklungssystem VENUS 1. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1987.

[Bertrand, 1986]
J. P. Bertrand. Schichtzuweisung unter dem Aspekt der Kontaktminimierung. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1986.

[Bühler, 1986]
H. Bühler. Korrektheitsbeweise rekursiv beschriebener logisch topologischer Netze. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1986.

[Doan, 1986]
Q. D. Doan. Graphische Eingabe logisch topologischer Netze. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1986.

[Lang, 1986]
M. M. Lang. Die algebraische Mehrgittertheorie und der schnelle iterative Löser AMG01. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1986.

[Zell, 1986]
P. Zell. Integration der Kanaleinheit mit HILL und VENUS 1. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1986.

[Schmitt, 1985]
F. J. Schmitt. Rechtwinklige Verdrahtung optimaler Layouts. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1985.

[Schworm, 1985]
K. Schworm. Layouts unter Berücksichtigung von Leitungsbreiten und Modulgrößen. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1985.

[Becker-Groh, 1983]
U. Becker-Groh. Optimale Einbettung von Graphen mit festem Rand. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1983.

[Osthof, 1983]
H. G. Osthof. Der minimale Kreis um eine endliche Punktmenge. Master's thesis, Fachbereich Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany, 1983.