| Aschenbrenner, Peter |
Generierung interaktiver Lerneinheiten aus visuellen Spezifikationen |
| Bayer, Arne |
Visuelle Datenflusssprache mit Kombinatoren höherer Ordnung |
| Bichler, Lutz |
Codegeneratoren für MOF-basierte Modellierungssprachen |
| Brade, Dirk |
A Generalized Process for the Verification and Validation of Models and Simulation Results |
| Braun, Oliver |
Constructing Mobile Agents using Transformations |
| Heursch, Arnd Christian |
Using Standard Operating Systems for Time Critical Applications with special emphasis on LINUX |
| Kiesling, Tobias |
Approximate Time-Parallel Simulation |
| Krieger, Thomas |
Nicht-kooperative extensive n-Personenspiele mit vektorwertigen Auszahlungen |
| Opincaru, Cristian Aurel |
Service Oriented Security Architecture applied to Spatial Data Infrastructures |
| Petersen, Sebastian |
Der Mordell-Weil-Rang abelscher Varietäten in unendlichen Erweiterungen und in Familien von Twists |
| Pötzsch, Volker Klaus |
Zur aggregierten Abbildung elementarer Gefechtsprozesse in hochauflösenden Gefechtssimulationssystemen |
| Pohl, Siegfried |
Ein auf unscharfer Wertbaumanalyse basierendes Konzept zur Unterstützung der Verifikation, Validierung und Akkreditierung von Modellen und Simulationen |
| Scheffczyk, Jan |
Consistent Document Engineering |
