Parallele Systeme

Resonanz auf abgeschlossene Arbeiten

Abgeschlossene Arbeiten 2017

Steffen D i e k m a n n

Synthese von unbeschränkten Petri-Netzen aus regulären Sprachen (usc, Bachelor-Arbeit)

Friedrich B o s s e r t

Implementierung eines Algorithmus zur Feststellung von Unerreichbarkeit bei Petrinetzen (Harro, Bachelor-Arbeit)

Abgeschlossene Arbeiten 2016

Hendrik K a h l e n

Analyse, Implementierung und Einbindung von Wieners Angriff auf das RSA-Kryptosystem in eine bestehende Webanwendung (ewi, Bachelor-Arbeit)

Steffen  S c h e e r

Konzeption und Implementierung eines freien Lehrveranstaltungsevaluationssystems (ewi, Master-Arbeit)

Lukas H e r m e s

Entwicklung und Analyse eines Polymorphen Virus unter Windows 32 (ewi, Bachelor-Arbeit)

Martin C a n d r o w i c z

Elementare Petrinetzsynthese (usc, Bachelor-Arbeit)

Adrian J a g u s c h

Webbasierte Analyse und Synthese von Petrinetzen und Transitionssystemen (vsp, Bachelor-Arbeit)

Abgeschlossene Arbeiten 2015

Corinna  F e e k e n

Kryptosysteme basierend auf dem Rucksack-Verfahren: Analyse – Implementierung – Sicherheit (ewi, Bachelor-Arbeit)

Nils  H e i n i g

Eigenschaften des Shuffle-Operators in verschiedenen Sprachtypen (EB, Bachelor-Arbeit)

Jan K o r t e:

Selbst- und Wissensmanagement (ewi, Bachelor-Arbeit)

Jan-Henrik F u n k e

Internetkriminalität bei Jugendlichen (HF, Bachelor-Arbeit)

Eike K u t s c h i n s k i

Analyse von Online-Supermärkten und EPK-Modellierung als mögliche Handlungsempfehlung für Betreiber  (HF, Bachelor-Arbeit)

Lina S p i e k e r m a n n:

Verhaltensanalysegraphen für Petrinetze (E.B., Bachelor-Arbeit)

Abgeschlossene Arbeiten 2013

Hillit S a a t h o f f:

Ein grafisches Frontend für eine Algorithmensammlung zur Analyse von Petrinetzen und Transitionssystemen (E.B., Bachelor-Arbeit)

Jens R a u c h:

Wirkungsweise und Implementierung von Gamification
(ewi, Bachelor-Arbeit)

Dennis K r e g e l:

Alternatives Tutorienzuordungs-Plugin für Stud.IP basierend auf Wahl mit Bewertungen
(ewi, Bachelor-Arbeit)

Simon E i t e r i g:

GAMIFICATION – Grundlagen und Anwendungen
(HF, Diplomarbeit)

V. S p r e c k e l s:

Differenzielle Kryptoanalyse kryptographischer Hashfunktionen
(ewi, Bachelor-Arbeit)

Uli S c h l a c h t e r:

Der Index-Calculus zur Berechnung des diskreten Logarithmus
(ewi, Bachelor-Arbeit)

Nataliya T s y n m a n:

Dokumentenverwaltung im Studiendekanat der Fakultät II
(H.F., Bachelor-Arbeit)

Rene Frerichs:

Vertonung von Video-Spielen (ewi, Diplomarbeit)

Jérôme A g a t e r:

Transpilierte Sprachen. JavaScript als Compiler-Ziel
(ewi, Master-Arbeit)

Jannik Arndt:

Rekombination – Einführung in die Künstliche Kreativität
(ewi, Bachelor-Arbeit)

Astrid R a k o w:

Slicing and Reduction Techniques for Model Checking Petri Nets
(E.B., Dissertation)

Maike S c h w a m m b e r g e r:

Faktorisierung mit Kettenbrüchen – eine Analyse
(ewi, Bachelor-Arbeit)

Timo G r o d z i n s k i:

Typechecker für Clojure
(ewi, Bachelor-Arbeit)

Renke G r u n w a l d:

Window-Manager: Objekte und Operationen
(ewi, Bachelor-Arbeit)

Halil E g e:

Sicherheit in Web-Applikationen
(ewi, Bachelor-Arbeit)

Nils R e i m e r s:

Implementation of the Pollard-rho-Algorithm for the Elliptic Curve Discrete Logarithm Problem
(ewi, Bachelor-Arbeit)

Björn W o l f f:

Shanks' Verfahren zur Faktorisierung: Square Forms Factorization (SQUFOF)
(ewi, Bachelor-Arbeit)

Janosch D ö c k e r:

Pollards Rho-Methode zur Faktorisierung (Vortragsfolien, PDF)
(ewi, Bachelor-Arbeit)

Thomas S t r a t h m a n n:

Entwicklung eines korrekten Übersetzers
(ewi, Diplomarbeit)

Thomas W e g m a n n:

Echtzeitorientierte Überwachung von Geschäftsprozessen
(H.F., Diplomarbeit)

 

Christoph E i c h n e r: Entwicklung einer Petrinetz-Semantik für Geschäftsprozessmodelle

(H.F., Diplomarbeit)

Gerd H o f f m a n n: Online-Pädagogik mit hybriden Hypertextumgebungen

(ewi, Diplomarbeit)

Thomas P r e s c h e l: Entwicklung eines E-Learning-Toolkits für strategische Kartenspiele

(H. F., Individuelles Projekt)

Tim S u c h n e r: Entwicklung und Implementierung eines PGP-Verschlüsselungsproxys

(ewi, Diplomarbeit)

Kristian H e i d m a n n: Eine modulare Blokus-Spielsoftwareumgebung

(E.B., Individuelles Projekt)

Jan-Christian H a l f b r o d t: Konzeption und Erstellung eines Studieneinstiegstests Informatik

(H.F., Diplomarbeit)

Alexander N e u m a n n: OTAAS – Analyse und Erweiterung einer onlinegestützten Tachographendaten-Auswertungs- und Archivierungs-Software

(ewi, Individuelles Projekt)

Jens F i s c h e r: Entwicklung eines barrierefreien Captchas zur Vermeidung von Webscraping

(H.F., Diplomarbeit)

Iris W i l d e: Beschreibung und Analyse von Produktionssystemen durch Petrinetze

(H.F., E.B., Bachelorarbeit)

Thomas P r e s c h e l: E-Learning Lösungen für Bridge

(H.F., Individuelles Projekt)

Cigdem C e b e: Messung kooperativer Kompetenz – Problembeschreibung und Anforderungsdefinition

(H.F., Diplomarbeit)

Cigdem C e b e: Implementierung eines Werkzeuges zur Messung kooperativer Kompetenz auf Basis des QuizCo2-Systems

(H.F., Individuelles Projekt)

Holger L u b i t z: Verteilte Implementation des bzip2-Algorithmus

(E.B., Individuelles Projekt)

Klaus P i e c h: Integration eines Projektkonzepts in das STETZ-System

(H.F., Individuelles Projekt)

Martin H i l s c h e r: Kollaps – Design und Analyse kryptographischer Hash-Funktionen

(ewi, Diplomarbeit)

Patrik S c h u l z: Entwicklung und Implementierung eines Tutorsystems für Bridgelehrer

(H.F., Master-Arbeit)

Jan J e l s c h e n: Eine Werkzeugsammlung zur Prüfung endlicher Modelle

(E.B., Individuelles Projekt)

Harro Wimmel: Entscheidbarkeitsfragen bei Petri Netzen

(E.B., Habilitation)

Malte Diehl: Messung maschineller Übersetzbarkeit von Texten

(ewi, Diplomarbeit)

Harry Egbers: Entwurf und prototypische Implementierung einer räumlich unbegrenzten Massiv Multiplayer Online Rollenspielwelt

(H.F., Diplomarbeit)

Christoph Eichner: Definition und Implementierung einer Petrinetz-Semantik für die UML 2.0 Aktivitätsdiagramme

(H.F., Diplomarbeit)

Helge Hartmann: BBES - Ein Expertensystem für die Reizung im Bridge

(H.F., Diplomarbeit

Lars Lüttmann: Spielergesellschaft Deutschland: Computerspiele als Spiegel gesellschaftlicher Trends am Beispiel World of Warcraft

(H.F., Diplomarbeit)

Dirk Räder: Konzeption eines modularen Autorensystems mit OCR-Unterstützung für E-Learning-Systeme

(ewi, Diplomarbeit)

Robert Bleiker: Implementierung des Fallentestschemas für Petrinetze

(E.B., Individuelles Projekt)

Martin Hilscher: RENGA – A graphical programming language tailored but not restricted to cryptographic algorithms

(ewi, Individuelles Projekt)

Ana-Maria Mesaros: Vermittlung von IT-Kompetenzen in Weiterbildungsveranstaltungen - Eine empirische Studie

(H.F., Individuelles Projekt)

Alexander Neumann: ASP DigiTach

(ewi, Individuelles Projekt)

Tim Suchner: Entwicklung und Implementierung eines Pokerclients mit Pokerbots

(ewi, Individuelles Projekt)

Christian Wellinghorst: Konzeption und Implementierung eines modular erweiterbaren Content Management Systems

(ewi, Individuelles Projekt)

 

Christian Lerch: Bridgetutor

(H.F., Individuelles Projekt)

Sven Sieverding: Das Modifikationsproblem der Aussagenlogik und dessen Auswirkungen auf das Erfüllbarkeitsproblem

(H.F., Diplomarbeit)

Anke Mangels: Konvertierung von temporallogischen Formeln in unterschiedlicher Syntax

(E.B., Individuelles Projekt)

Nils Müllner: Logisch-funktionale Sprachen im Vergleich

(ewi, Individuelles Projekt)

Sven Sieverding: Das Modifikationsproblem der Aussagenlogik und dessen Auswirkungen auf das Erfüllbarkeitsproblem

(H.F., Individuelles Projekt)

Tim Strazny: Simulation von Generalized Stochastic Petri Nets

(E.B., Individuelles Projekt)

 

Andreea Barbu: Developing Mobile Agents through a formal Approach

(E.B., Dissertation)

René Hess: Entwurf eines Group-Support-Systems mit integriertem Collaboration Engineering

(H.F., Diplomarbeit)

Margarete Muhle: Entwurf eines Group-Support-Systems mit integriertem Collaboration Engineering

(H.F., Diplomarbeit)

Sabine Gronewold:  Workloadevaluation - Untersuchungen zur Arbeitsbelastung von Informatikstudierenden der Universität Oldenburg

(H.F., Diplomarbeit)

Frank Nagel: Eine M-Netz-Repräsentation für Pi-Kalkül-Terme mit Replikation

(E.B., H.F., Diplomarbeit)

Patrik Schulz: Entwicklung eines Bietsystem-Editors für Bridge

(H.W., Individuelles Projekt)

Harry Egbers: Entwicklung eines Programmsystems zur Unterstützung von Gemeinschaftsarbeit in Lehrveranstaltungen

(H.F., Individuelles Projekt)

Felix Fontein: A Toolbox for Elliptic Curves over Finite Rings and (Automatic) Decomposition of Finite Abelian Groups

(E.B., Individuelles Projekt)

Philipp Regenfuß: Ein Content Management System zur Kolloquienplanung für das Department für Informatik der Carl-von-Ossietzky-Universität Oldenburg

(ewi, Individuelles Projekt)

Sven Bergmann: StupeC - Studienberatung per Computer. Ein Content-Management-System zur Unterstützung von Studierenden und MitarbeiterInnen des akademischen Prüfungsamtes beim Umgang mit Studien- und Prüfungsordnungen

(ewi, Individuelles Projekt)

Thorsten Schlörmann: Kryptographie-Algorithmen für die Tcllib: AES und visuelle Kryptographie

(C.S., E.B., Individuelles Projekt)

Ortwin Escher: Generierung von UML-Diagrammen aus Requirements-Engineering-Werkzeugen

(H.F., Diplomarbeit)

Malte Diehl: Soft Skills online

(ewi, Individuelles Projekt)

Markus K e l l e r: Geschichte des Computerspiels

(ewi, Individuelles Projekt)

Ortwin Escher: System zur Datensynchronisierung in einem Client-Server-System und die Einbindung in KerMod

(H.F., Individuelles Projekt)

René Hess: KerMod-Modul: Datei-Upload und Dateipool

(H.F., Individuelles Projekt)

Ulrich Hobelmann: Implementation of a Compiler from B(PN)2

(E.B., C.S., Individuelles Projekt)

Christian Lerch: Bridge Tutor (PBN-Viewer)

(H.F., Individuelles Projekt)

Margarete Muhle: Erweiterung des KerMod um Vorlagen

(H.F., Individuelles Projekt)

Frank Nagel: Ein Abrechnungsprogramm für Bridge. Zweiter Evolutionszyklus

(E.B., H.F., Individuelles Projekt)

Jan Schob: Strukturen und Motivation von Online-Spielgemeinschaften

(ewi, Individuelles Projekt)

Martin Schnaidt: Informatik in der gymnasialen Oberstufe in Niedersachsen

(ewi, Individuelles Projekt)

 

Oliver Erdmann: Comparing Time Petri Nets and Timed Automata

(E.B., C.S., Diplomarbeit)

Michael Weber: Allgemeine Konzepte zur software-technischen Unterstützung verschiedener Petrinetz-Typen

(E.B., Dissertation)

André Hackmann: Development of a High-Throughput Automated Annotation System

(E.B., Diplomarbeit)

Michael Köhrmann: Entwicklung eines Rettungs- und Reparaturwerkzeugs für das Betriebssystem Linux

(E.B., Diplomarbeit)

Andreas Marshall: FERRUM – Ein Fragebogenerstellungsprogramm mit relativ umfangreichen Möglichkeiten

(H.F., Diplomarbeit)

Niklas Mehner: Auswertung von Spielbäumen mit unvollständiger Information – Entwicklung Implementierung und Evaluation eines Prototypen am Beispiel von Bridge

(E.B., H.F., Diplomarbeit)

Astrid Rakow: Data Mining using Artificial Neural Networks for Classifying Protein Sequences

(E.B., Diplomarbeit)

Uwe Viergutz: Ein grafischer SDL-2000-Editor für das PEP-Tool

(E.B., C.S., Diplomarbeit)

Matthias Brill: Entwurf und Implementierung eines Double-Dummy Bridge Solvers

(H.F., Diplomarbeit)

Jörg Dannemann: Entwurf eines generischen Abrechnungssystems für Kartenspielturniere und Implementierung eines Prototypen für Bridge

(H.F., Diplomarbeit)

Ernst Kretschmann: Data Mining in Large Scientific Databases

(E.B., Diplomarbeit)

André Hackmann, Astrid Rakow: HellicsClient, eine graphische Oberfläche für HELLICS

(E.B., Individuelles Projekt)

 

Harro Wimmel: Algebraische Semantiken für Petri-Netze

(E.B., Dissertation)

Andreea Barbu: M-Netze und der Pi-Kalkül: Vergleich zweier Modelle für nebenläufige Prozesse

(E.B., H.F., Diplomarbeit)

Christian Stehno: Entfaltung von Zeit-Petrinetzen, Integration in das PEP-System und Optimierungen

(E.B., Diplomarbeit)