Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß


Supervised Thesis - Michael Köhler-Bußmeier

2012

LTL-Zustandsraumanalyse von Elementaren Objekt-Petrinetzen mit Maude. Felix Garbe. Diplomarbeit. 2012

Hierarchische Workflow-Netze. Nikolas Lohmann. Diplomarbeit. 2012

Werkzeugunterstü̈tzung fü̈r organisationsorientierte Modellierung in Sonar. Jan Bolte. Bachelorarbeit. 2012

2011

On Erasing Productions in Grammars with regulated Rewriting. Georg Zetsche. Diplomarbeit. 2011

Indexsprachen: Eine Sprachfamilie zwischen den kontextfreien und kontextsensitiven Sprachen. Christopher Bartz. Bachelorarbeit. 2011

Lindenmayer-Systeme. Selim Keskin. Bachelorarbeit. 2011

Ein Graphen-basierter Ansatz zum Clustern von Duplikaten unter der Verwendung von Ähnlichkeitsinformation. Finn Petersen. Diplomarbeit. 2011

Analyse unendlicher Zustandsräume. Florian Jensen Diplomarbeit. 2011

2010

Implementation eines leichtgewichtigen Multiagentenrahmenwerks mittels Referenznetzen und Prolog. Andrej Ziegler. Bachelorarbeit. 2010.

Implementation eines Petrinetz-basierten Modells zur Kooperation in Multiagentensystemen. Stefan Mangat. Diplomarbeit

Elliptische Kurven als Grundlage für auf dem Problem des diskreten Logarithmus basierende Public Key-Kryptographie-Systeme. Nina Worch. Diplomarbeit

Wechselseitige Konstruktion von Prozess und Struktur in der Verteilten Küstlichen Intelligenz. Gila Dinter. Diplomarbeit

2009

Methodische Analyse von Maßnahmen zur Abwehr von Zero-DayAttacken. Benjamin Wagrocki. Diplomarbeit

Fingerprinting von Webapplikationen auf der Anwendungsschicht. Adam Wojkowski. Diplomarbeit

Multiset-rewriting. Patrick Totzke. Diplomarbeit

2008

Deployment of Multi-Agent Organizations in MULAN and their Formal Evaluation. Endri Deliu. Diplomarbeit

Organisation in Multiagentensystemen. Zouhair Frindi. Studienarbeit.

Zur Implementation von Petrinetz-Analysealgorithmen. Stefan Manneck. Diplomarbeit

2007

Vermeidung von Verklemmungen in flexiblen Fertigungssystemen modelliert als Objektpetrinetze. Frank Sühl. Diplomarbeit.

Referenznetze mit Anschriften in Scheme. Friedrich Delgado Friedrichs.

Policy-basierte Konfiguration von verteilten Netzwerksicherheitskomponenten. Axel Großklaus. Diplomarbeit.

Über formale Eigenschaften von Objektnetzen. Stefan Manneck. Studienarbeit

2006

Integration eines Model Checking Tools an die Petrinetzentwicklunsumgebung RENEW. Friedrich Delgado Friedrichs. Studienarbeit.

Entwicklung einer alternativen Wertsemantik für Objektpetrinetze und ihr Invarianzkalkül. Holger Tiemeyer. Diplomarbeit.

2003

Simulation zeitdiskreter Modelle mit Referenznetzen. Frauke Strümpel. Diplomarbeit. 2003.

2002

Agentenorientierte Modellierung von Entscheidungsprozessen mit Petrinetzen. Marcel Martens. Diplomarbeit. 2002

2001

Exemplarische Evaluierung von Modellierungsnansätzen ereignisorientierter Simulationsszenarien. Frauke Strümpel. Studienarbeit. 2001

Last Change: 20:48 07/11/2012
Imprint/Disclaimer