uni
suche
kontakt
impressum
Universität Stuttgart
Abteilung
|
Mitarbeiter
|
Lehre
|
Forschung
|
Publikationen
|
Service
|
Institut
|
Informatik
|
Fakultät
Institut für Formale Methoden der Informatik
Abteilung Formale Konzepte
Dr. Stefan Lewandowski
ehem. Wissenschaftlicher Assistent
Ich bin seit 1.11.2010 nicht mehr an der Universität Stuttgart tätig.
Lehre
Betreuung von
Studien-/Diplomarbeiten
und Fachstudien
Arbeitsgebiete
Veröffentlichungen
Literatursuche
Gesucht & gefunden
Un- & Sinniges
SS 10 Einführung in die Informatik III
WS 09/10 Einführung in die Informatik III
SS 09 Entwurf und Analyse von Algorithmen
SS 09 Übungen zu Einführung in die Informatik II
WS 08/09 Einführung in die Informatik I (mechatronik)
SS 08 Wegeprobleme in Graphen
SS 08 Übungen zu Einführung in die Informatik II
WS 07/08 Einführung in die Informatik I (autip)
SS 07 Übungen zu Einführung in die Informatik II
WS 06/07 Einführung in die Informatik I (autip)
SS 06 Wegeprobleme in Graphen
SS 06 Übungen zu Einführung in die Informatik II
WS 05/06 Einführung in die Informatik I (autip)
WS 05/06 Übungen zu Einf. in die Informatik I (VL Prof. Claus)
SS 05 Übungen zu Einführung in die Informatik II
WS 04/05 Übungen zu Einführung in die Informatik I
SS 04 Wegeprobleme in Graphen
WS 03/04 Übungen zu Einführung in die Informatik I
SS 03 Übungen zu Einführung in die Informatik II
WS 02/03 Übungen zu Einführung in die Informatik I
SS 02 Übungen zu Einführung in die Informatik II
WS 01/02 Übungen zu Einführung in die Informatik I
SS 01 / WS 01/02 SP Integration v. Linien- und Fahrplanopt. im ÖPNV
WS 00/01 Übungen zu Theoretische Informatik II (inf)
SS 00 Übungen zu Entwurf und Analyse effizienter Algorithmen
SS 99 / WS 99/00 Studienprojekt Fahrplanopt. im öffentl. Nahverkehr
SS 99 Übungen zu Entwurf und Analyse effizienter Algorithmen
WS 98/99 Übungen zu Theoretische Informatik II (swt)
SS 98 Übungen zu Theoretische Informatik I (swt)
WS 97/98 / SS 98 Projektgruppe Transportoptimierung (Endbericht)
WS 97/98 / SS 98 Projektgruppe Transportoptimierung (Zwischenber.)
WS 97/98 Übungen zu Formale Semantik
Ada 95-Seite der Fachschaft
|
Ada Dokumentation @ Uni Stuttgart (Abt. PS)
|
Ada Dokumentation
@
www.ada-deutschland.de
Dr. Blieberger (TU Wien): Ada 95-Skript (deutsch!)
|
Prof. Grude (TFH Berlin): Ada 95-Skript (deutsch!) und mehr
Sortierverfahren animiert
07.01.09-09.07.09: Diplomarbeit Nr. 2863: Mike Holz: Effiziente Heuristiken zur Berechnung kürzester Wege in Graphen mit negativen Kantengewichten
29.10.08-30.04.09: Diplomarbeit Nr. 2834: Christian Frank Menne: Personaleinsatzplanung im Bereich modernster Fertigung
22.09.08-24.03.09: Diplomarbeit Nr. 2826: Miroslav Jakovljevic: Experimentelle Untersuchung zur Eignung von k-kürzeste-Wege-Algorithmen bei der Suche nach echten Alternativrouten
22.09.08-24.03.09: Diplomarbeit Nr. 2825: Arif Erkilic: Experimenteller Vergleich verschiedener Dijkstra-Varianten im Rahmen der k-kürzeste-Wege-Suche
30.04.08-30.10.08: Studienarbeit Nr. 2167: Mike Holz: Experimenteller Vergleich von k-kürzeste-Wege-Algorithmen
01.10.07-30.09.08: Bachelor-Abschlussprojekt: Katrin Croll: Effizienz von Algorithmen, die auf dem Austausch benachbarter Elemente beruhen
19.06.07-19.12.07: Diplomarbeit Nr. 2641: Jelica Kern: Aufbau von Informatikkompetenz im Vorfeld der Hochschulausbildung
02.06.06-01.12.06: Diplomarbeit Nr. 2496: Jasna Sadikovic: Optimale Eigenbewegungsschätzung anhand adaptiver Sensordatenfusion optischer & kinematischer Sensoren
01.06.06-15.10.06: Diplomarbeit Nr. 2506: Till Jung: Darstellungs- und Lösungsmethoden für die optimale Steuerung technischer Prozesse am Beispiel der Motorregelungen
04.04.06-04.10.06: Studienarbeit Nr. 2061: Peter Komarek: Veränderung der Nachfrage bei Infrastrukturinvestitionen im ÖPNV durch Änderung der Verkehrswiderstände
21.06.05-21.12.05: Diplomarbeit Nr. 2368: Sebastian Heidenreich: Widerstandsermittlung für die Verkehrsprogoserechnung im ÖPNV
02.09.05-01.12.05: SoPra: P. Gruber, A. Bauer, D. Fischer: Experimentelle Analyse von Strategienfür das Spiel MasterMind (Teil 2)
29.04.05-28.10.05: Diplomarbeit Nr. 2354: Yun Wu: Entwicklung eines Algorithmus zur Auswahl relevanter Objekte zur Kollisionswarnung für die Spurprädiktion
02.05.05-01.09.05: SoPra: R. Awessou, S. Varnhorn: Experimentelle Analyse von Strategienfür das Spiel MasterMind (Teil 1)
20.01.04-19.07.04: Diplomarbeit Nr. 2187: Claudius Häcker: Evaluation und Visualisierung Kürzester-Wege-Algorithmen auf Zufallsgraphen
10.11.03-09.03.04: Fachstudie Nr. 29: S. Grottel, C. Müller, M. Schwienbacher: Kostenminimale verlässliche Verkehrsinformationen
22.04.03-12.11.03: Diplomarbeit Nr. 2086: Jörgen Bertele: Fahrerassistenzsysteme für Einfädelungsvorgänge
02.05.03-01.09.03: Fachstudie Nr. 23: F. Behringer, D. Engeldinger, P. Jehlicka: Verkehrsadaptive Fahrerassistenzsysteme
03.01.02-02.07.02: Fachstudie Nr. 13: C. Häcker, T. Leske, C. Tatietse: Disposition des Fahrbetriebs der Stuttgarter Straßenbahnen AG
13.03.00-12.09.00: Diplomarbeit Nr. 1851: Markus Lang: Entwicklung evolutionärer Algorithmen zur Verbesserung von Strategien
19.01.00-18.08.00: Diplomarbeit (abgebrochen): Frank Wagner: Optimierung von Fahrdiensten
03.09.98-12.07.99: Diplomarbeit Nr. 1752: Natalia Currle-Linde: Fahrplanoptimierung
21.10.98-01.06.99: Diplomarbeit Nr. 1736: Heinrich Brunnmeier: Ausbau eines Stauverfolgungssystems zu einem fehlertoleranten System
25.05.98-24.11.98: Diplomarbeit Nr. 1646: Joachim Wörner: Optimierung der Rückhollogistik beim Recycling von Elektronik-Schrott
Richtlinien für Studien-, Diplomarbeiten und Fachstudien
Kürzeste Wege Suche / in hierarchischen / k-Level Graphen
Nahverkehrsoptimierung im ÖPNV
Verkehrsmodellierung und -simulation mit
T
HOR
-Netzen
( World of
Petri Nets
| GI Fachgruppe
Petrinetze
)
Links:
Graphen
Andrew Goldberg's Network Optimization Library
'-> Andrew Goldberg
Papers (u.a. TSP, Exp.Analysis of Algorithms)
'-> David S. Johnson
Max-Planck-Institut für Informatik
'-> Kurt Mehlhorn : ...
'-> Ulrich Carsten Meyer : Shortest Paths
'-> Seth Pettie : Shortest Paths (and Minimum Spanning Trees)
Verkehr
Physics of Transport and Traffic (Schreckenbach, DU)
Statistisches Bundesamt Deutschland - Verkehr
08/10: Technical Report:
Shortest Paths and Negative Cycle Detection in Graphs with Negative Weights - I: The Bellman-Ford-Moore Algorithm Revisited
03/07: Vortrag:
AdaLogo: Turtle Graphics Meets Ada
07/05: Dissertation:
Vereinheitlichte Darstellung von Techniken zur effizienten Kürzeste-Wege-Suche
(pdf)
, ISBN 3-89959-339-1 @
Der Andere Verlag
09/04:
Performance of the Classical Bidirectional Heuristic Search Reconsidered
06/00:
Optimization Criteria For Public Transportation Services
,
9th IFAC Symposium on Control in Transportation Systems 2000
07/97: Diplomarbeit:
Anwendungen für Separatortheoreme auf planaren Graphen
12/96: Studienarbeit:
Heapsort-Varianten in Theorie und Praxis
+
Nachtrag
Unibibliothek Stuttgart
|
Ausleihe
(
Vaihingen
)
Bibliothekssystem der Uni Stuttgart
Informatik-Bibliothek
(
Suche
)
Elektronische Zeitschriftenbibliothek (EZB)
CiteSeer.IST Digital Library
DBLP Computer Science Bibliography (Uni Trier)
Coll. of Computer Science Bibliographies (Uni Karlsruhe)
Fahrplanauskunft VVS
Nahverkehrswegweiser (europaweit)
DB Fahrplanauskunft
DB aktuelle Abfahrtspläne
(
Stuttgart
|
Uni
)
WetterOnline
(
Regenradarbild
)
Telefonauskunft
Telefon-/Raum-/Homepage-Verzeichnis der Mitarbeiter der Informatik
Mensa-Speiseangebot
Google
Englisch<->Deutsch (dict.cc)
|
Englisch<->Deutsch (leo.org)
|
Babelfish
|
Japanisch<->Deutsch
|
Kyrillisches Alphabet
SelfHTML
|
HotScripts.com
Urlaubsplanung?
TOP Fotos
, weiter so Achim!
Paradoxien der Wahrscheinlichkeitsrechnung
|
Math Games
|
Kites and Bricks
|
Perfect Square Dissection
|
Linus Sequence
Experiment zu Machtstrukturen und Zensur im Internet
Christian Langer
|
Coffee in Duluth
Auto-Routensuche mit Karten
|
Basel: Traffic management by transport that suits the city
Wo ist die ISS?
Amtliche Regelung zur dt. Rechtschreibung
#B = 680