Dokumente der Abteilung
Artikel in Tagungsbänden
Jahresberichte des IFI
- 1996: Jahresbericht 1996 / Institut für Informatik, Universität Stuttgart, Jahresbericht IFI, 1996.
Technische Berichte
- Nr. 01: Burkert, Gerrit; Loethe, Mathis: ChaPLin 3.2 - Ein Chartparser fuer linguistische Untersuchungen, Technischer Bericht Nr. 1996/01.
- Nr. 02: Diekert, Volker; Métivier, Yves: Partial Commutation and Traces, Technischer Bericht Nr. 1996/02.
- Nr. 04: Hertrampf, Ulrich; Bergen, Andreas: 32. Workshop ueber Komplexitaetstheorie, Datenstrukturen und effiziente Algorithmen, Technischer Bericht Nr. 1996/04.
- Nr. 11: Burkhardt, Walter H.; Rust, Stefan: Integrated Software-/Hardware Development System, Technischer Bericht Nr. 1996/11.
- Nr. 12: Burkhardt, Walter H.: Performance in Multiprocessor Systems, Technischer Bericht Nr. 1996/12.
- Nr. 15: Hertrampf, Ulrich: Acceptance by Transformation Monoids (with an Application to Local Self Reductions), Technischer Bericht Nr. 1996/15.
Dissertationen
- Bertol, Michael W.: Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden, Dissertation, 1996.
Diplomarbeiten (Archiv) (nach Nummern sortiert)
- Nr. 1345: Reißing, Ralf: Konzeption und Realisierung einer Basismaschine für SESAM-2, Diplomarbeit Nr. 1345, 1996.
- Nr. 1356: Gärtner, Volker: Ein abstraktes, quantitatives Modell kleiner Softwareprojekte, Diplomarbeit Nr. 1356, 1996.
- Nr. 1373: Schaal, Markus: Verkehrsmodellierung, Diplomarbeit Nr. 1373, 1996.
- Nr. 1384: Jager, Izidor: Spezifikation und Umsetzung einer Modellierungssprache für ein Aktives Semantisches Netz, Diplomarbeit Nr. 1384, 1996.
- Nr. 1430: Kawetzki, Bernd: Topologieoptimierung diskreter Tragwerke mittels Evolutionsstrategien am Beispiel ebener Fachwerke, Diplomarbeit Nr. 1430, 1996.
- Nr. 1434: Merling, Andreas: Automatische Erzeugung von Syntaxbäumen für einen Compilergenerator, Diplomarbeit Nr. 1434, 1996.
- Nr. 1440: Meier, Uwe: Entwicklung eines Erfahrungsmanagementsystems für die Unikatherstellung, Diplomarbeit Nr. 1440, 1996.
Diplomarbeiten (Archiv) (nach Namen sortiert)
- Gärtner, Volker: Ein abstraktes, quantitatives Modell kleiner Softwareprojekte, Diplomarbeit Nr. 1356, 1996.
- Jager, Izidor: Spezifikation und Umsetzung einer Modellierungssprache für ein Aktives Semantisches Netz, Diplomarbeit Nr. 1384, 1996.
- Kawetzki, Bernd: Topologieoptimierung diskreter Tragwerke mittels Evolutionsstrategien am Beispiel ebener Fachwerke, Diplomarbeit Nr. 1430, 1996.
- Meier, Uwe: Entwicklung eines Erfahrungsmanagementsystems für die Unikatherstellung, Diplomarbeit Nr. 1440, 1996.
- Merling, Andreas: Automatische Erzeugung von Syntaxbäumen für einen Compilergenerator, Diplomarbeit Nr. 1434, 1996.
- Reißing, Ralf: Konzeption und Realisierung einer Basismaschine für SESAM-2, Diplomarbeit Nr. 1345, 1996.
- Schaal, Markus: Verkehrsmodellierung, Diplomarbeit Nr. 1373, 1996.
Studienarbeiten (Archiv) (nach Nummern sortiert)
- Nr. 1501: Diederich, Michael K.: Zeitbegriff im Aktionenmodell, Studienarbeit Nr. 1501, 1996.
- Nr. 1518: Gesewsky, Andreas: Entwurf und Implementierung eines Abspielsystems für "Sprechende Bücher", Studienarbeit Nr. 1518, 1996.
- Nr. 1556: Heinrich, Mark: Realisierung eines objekt-orientierten Modells für X Applikationen mit RAP, Studienarbeit Nr. 1556, 1996.
- Nr. 1557: Schlegel, Jürgen: Entwicklung einer Datenbank zur Verwaltung des Lehrangebots der Fakultät Informatik, Studienarbeit Nr. 1557, 1996.
- Nr. 1565: Boehmerle, Frank: Modellierung und Simulation von Geschäftsprozessen, Studienarbeit Nr. 1565, 1996.
- Nr. 1567: Würthner, Martin: Entwurf und Implementierung einer Interndarstellung für die Analyse von Ada-Programmen, Studienarbeit Nr. 1567, 1996.
- Nr. 1578: Tuschek, Marko: Konstruktivitaet in der Theoretischen Informatik, Studienarbeit Nr. 1578, 1996.
- Nr. 1580: Lewandowski, Stefan: Heapsort-Varianten in Theorie und Praxis, Studienarbeit Nr. 1580, 1996.
- Nr. 1584: Benz, Axel: Spezifikation eines Grapheneditors, Studienarbeit Nr. 1584, 1996.
Studienarbeiten (Archiv) (nach Namen sortiert)
- Benz, Axel: Spezifikation eines Grapheneditors, Studienarbeit Nr. 1584, 1996.
- Boehmerle, Frank: Modellierung und Simulation von Geschäftsprozessen, Studienarbeit Nr. 1565, 1996.
- Diederich, Michael K.: Zeitbegriff im Aktionenmodell, Studienarbeit Nr. 1501, 1996.
- Gesewsky, Andreas: Entwurf und Implementierung eines Abspielsystems für "Sprechende Bücher", Studienarbeit Nr. 1518, 1996.
- Heinrich, Mark: Realisierung eines objekt-orientierten Modells für X Applikationen mit RAP, Studienarbeit Nr. 1556, 1996.
- Lewandowski, Stefan: Heapsort-Varianten in Theorie und Praxis, Studienarbeit Nr. 1580, 1996.
- Schlegel, Jürgen: Entwicklung einer Datenbank zur Verwaltung des Lehrangebots der Fakultät Informatik, Studienarbeit Nr. 1557, 1996.
- Tuschek, Marko: Konstruktivitaet in der Theoretischen Informatik, Studienarbeit Nr. 1578, 1996.
- Würthner, Martin: Entwurf und Implementierung einer Interndarstellung für die Analyse von Ada-Programmen, Studienarbeit Nr. 1567, 1996.