Parallele Systeme
Resonanz auf abgeschlossene Arbeiten
- Jan Vornbergers Window-Manager Bluetile macht seinen Weg in diverse Linux-Distributionen:
Bluetile im Magazin LinuxUser und z. B. Bluetile bei Debian - Marko Krauses Implementierung und Illustrationen zur Hash-Funktion Keccak werden von den Entwicklern gewürdigt: 14 September 2010 — The specifications, animated!
- Harro Wimmel, Lutz Priese: Petri-Netze, 2. Auflage 2008 bei Springer, 374 Seiten.
Abgeschlossene Arbeiten 2017
- Jan Korte
ShareTree - Ein kollaborativer Outliner als Web-App (ewi, Master-Arbeit)
- Tobias K ö l k e r
Kandinsky Music Painter II – Midi-Sequencer zur graphischen Komposition musikalischer Strukturen (ewi, Master-Arbeit)
- 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)
- Alexandra R e g e r
Konzeption und Implementierung einer Software zur Katalogisierung von Eigenschaften von Petrinetzen und Transitionssystemen, sowie den Beziehungen zwischen den Eigenschaften (vsp, Bachelor-Arbeit)
- Judith S e g e r a t h
Fairness-Prüfung (TH, 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 2014
- Uli S c h l a c h t e r:
Energie- und Paritätsgewinnbedingungen auf Spielstrukturen (E.B., Master-Arbeit)
- Jannik Arndt:
Musicista - Ein Framework für Musikinformatik (ewi, Master-Arbeit)
- Marius W y b r a n d s:
Gamification im Smart Home (ewi, Bachelorarbeit)
- Günter W i l d e:
Dokumentenverwaltung und Workflow-Management für das Studiendekanat der Fakultät II der Carl von Ossietzky Universität Oldenburg (H.F., Diplomarbeit)
- Uwe G r a h l:
Analyse, Implementierung und Vergleich von Strategien zum Lösen, Generieren und Bewerten von Killer-Sudokus (ewi, Masterarbeit)
- Renke G r u n w a l d:
Entwurf und Implementierung einer Umgebung für Spiele in erweiterter Extensivform (HF, Masterarbeit)
- Vincent G ö b e l:
Entwurf und Implementierung von Analysealgorithmen für Spiele in erweiterter Extensivform (HF, Masterarbeit)
Elektronische Gesundheitsakten – Untersuchung und Klassifikation unterstützender Plattformen (HF, Fachbachelor Wirtschaftswissenschaften)
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)
- Manuel G i e s e k i n g: Lineare und Differentielle Kryptoanalyse
(ewi, Bachelor-Arbeit)
- Rachid L a c h e h e b: Beschreibung und Implementierung der Verfahren für die Bewertung von Risiken für den Open-Source-Risikomanager Risk-o-Mat
(ewi, Diplomarbeit)
- Maike S c h w a m m b e r g e r: Faktorisierung mit Kettenbrüchen
(ewi, Bachelor-Arbeit)
- Lars H e r r m a n n: Candle – Ein Toolkit für die Stegoanalyse
(ewi, Bachelor-Arbeit)
- Marko K r a u s e: Konzeption und Implementierung einer Webapplikation zur Demonstration von Techniken der Kryptographie und Steganographie
(ewi, Diplomarbeit)
- Yangzi Z h a n g: Algorithmische Überprüfung struktureller Eigenschaften von Petrinetzen und Transitionssystemen
(E.B., Diplomarbeit)
- Heiko V e t t e r: Modellierung und Synthese des Klangs von natürlichen Musikinstrumenten mittels Morphing
- Robert B l e i k e r: Das Wortproblem für Petri-Netze
(E.B., Diplomarbeit)
- Dominik D e n k e r: WEB-Portal für Informatik-interessierte Schülerinnen und Schüler an der Universität Oldenburg
(H.F., Diplomarbeit)
- Kristian H e i d m a n n: ABuS – Entwicklung eines automatischen Blokus-Spielers
(E.B., Diplomarbeit)
- Jens M e y e r: Modellierung von Metadaten für Kennzahlen nach dem Common Warehouse Metamodel
(H.F., Diplomarbeit)
- Thomas P r e s c h e l: Entwicklung eines E-Learning-Toolkits für strategische Kartenspiele
(H.F., Diplomarbeit)
- Christian W e l l i n g h o r s t: Konzeption und Entwicklung eines webbasierten Möbelkonfigurators und Integration in ein bestehendes Web-Content Management System
(ewi, Bachelor-Arbeit)
- Jérôme A g a t e r: KerMod Web – Entwicklung eines Werkzeugs zur Unterstützung der Moderation von Arbeit in Gruppen
(ewi, Bachelor-Arbeit)
- Jan.V o r n b e r g e r: BlueTile – ein moderner Tiling Window Manager mit flacher Lernkurve
(ewi, Bachelor-Arbeit)
- Thomas W e g m a n n: Fachkonzept zur echtzeitorientierten Überwachung von Geschäftsprozessen
- 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
- 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
- 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
- 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)
- 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
- 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)
