THI > Forschung > Oberseminar
Oberseminar Theoretische Informatik
Zusammenfassung
In dieser Veranstaltung sollen Studierende und Doktoranden ein Diskussionsforum für ihre Forschung sowie fertiggestellte Studien-, Diplom-, Bachelor- und Master-Arbeiten finden.
Darüber hinaus werden wir aktuelle Forschungsergebnisse erarbeiten.
Zeit und Ort
Die Zeit variiert. Bitte entnehmen Sie sie der Tabelle. Ort: Appelstr. 4, Raum 224
Möchten Sie regelmäßig über geplante Oberseminarveranstaltungen informiert werden, so empfehlen wir Ihnen, die Mailingliste oberseminar zu abonnieren.
Informationen über die einzelnen Vorträge
| Datum und Zeit des Vortrags | Thema | Vortragende(r) |
|---|---|---|
| Mi, 27.01.10, 10:00h | The Complexity of Reasoning for Fragments of Autoepistemic Logic | Michael Thomas |
| Mi, 13.01.10, 11:00h | Poor Man's Dependence Logic | Peter Lohmann |
| Mi, 13.01.10, 10:00h | Post's Lattice and Description Logics | Arne Meier |
| Di, 01.12.09, 13:30h | Einfache Theorie der deterministischen Sprachen (Studienarbeit) | Özlem Yüksel |
| Di, 24.11.09, 14:45h | Hybride Logiken (Studienarbeit) | Frederik Büchler |
| Di, 24.11.09, 14:00h | Effizientes Model-Checking für CTL (Diplomarbeit) | Julia Gerock |
| Do, 19.11.09, 14:00h | Entscheidbarkeit von Interval Temporal Logics (Studienarbeit) | Andre Knopp |
| Mi, 11.11.09, 11:00h | Cryptographic Applications of Algorithmic Number Theory (Diplomarbeit) | Jan Krensing |
| Mi, 30.09.09, 11:00h | Effiziente Parsing-Algorithmen für kontextfreie Sprachen (Diplomarbeit) | Lara Toma |
| Di, 15.09.09, 14:00h | Nichtdeterministische Funktionen, disjunkte Paare und optimale Beweissysteme | Jochen Messner |
| Do, 10.09.09, 10:00h | Ein nachweislich schweres Problem (Studienarbeit) | Dianjun Liu |
| Mi, 02.09.09, 14:45h | Vollständigkeit in modalen Logiken (Bachelorarbeit) | Julian-Steffen Müller |
| Mi, 02.09.09, 14:00h | Edges as Nodes - a New Approach to Timetable Information (Diplomarbeit) | Yevgen Nebesov |
| Mo, 29.06.09, 14:00h | Die schwierigste kontextfreie Sprache (Studienarbeit) | Anna Schubach |
| Di, 16.06.09, 11:00h | Minimierung von nichtdeterministischen endlichen Automaten (Studienarbeit) | Michael Becker |
| Mo, 15.06.09, 16:15h | Constraint-basierte Refaktorisierung am Beispiel der Änderung von Sichtbarkeiten | Friedrich Steimann |
| Mo, 15.06.09, 14:30h | Complexity of Enumeration (Diplomarbeit) | Johannes Schmidt |
| Mo, 15.06.09, 14:00h | Bounds for One-dimensional Cellular Automata(Diplomarbeit) | Thomas Zeume |
| Mi, 29.04.09, 13:00h | Entscheidbarkeit und Komplexität logischen Folgerns in autoepistemischen Logiken (Studienarbeit) | Marc-Alexander Röhrig |
| Mo, 20.04.09, 13:15h | Easy Yet Hard. Model Checking Strategies of Agents | Wojtek Jamroga |
| Do, 09.04.09, 9:15h | Effizientes Model-Checking für CTL* (Diplomarbeit) | Maria Soldatova |
| Mo, 06.04.09, 14:00h | Model Checking for Default Logic (Studienarbeit) | Johannes Wolpers |
| Mo, 23.03.09, 10:00h | The Complexity of Inference in Propositional Circumscription | Michael Thomas |
| Mo, 23.03.09, 11:00h | Model Checking Fragments of ATL and the Simple Reactive Modules Language | Peter Lohmann |
| Mi, 18.03.09, 13:30h | Lambda-Kalkül (Studienarbeit) | Paul Krüger |
| Do, 12.03.09, 11:00h | Parametrisierte Komplexität und das Erfüllbarkeitsproblem der Aussagenlogik (Diplomarbeit) | Jurij Schachmanow |
| Di, 10.03.09, 16:00h | Dependence logic | Juha Kontinen |
| Di, 10.02.09, 10:30h | Die symmetrische Polynomialzeit-Hierarchie (Diplomarbeit) | Mirjan Hoffmann |
| Do, 29.01.09, 13:30h | Heterogeneously Structured Ontologies | Oliver Kutz |
| Mi, 17.12.08, 11:00h | Selbstorganisierende Systeme und Mechanismus-Design | Bernhard Jungk |
| Mi, 17.12.08, 10:00h | Alternating-Time Temporal Logic | Peter Lohmann |
| Do, 16.10.08, 14:00h | Fragments of Temporal Logic and Formal Languages (Diplomarbeit) | Peter Lohmann |
| Do, 16.10.08, 15:00h | Über Aspekte des Designs symmetrischer Verschlüsselungsverfahren mit einer Anwendung auf ein neues Kryptosystem (Diplomarbeit) | Martin Schmidt |
| Mo, 29.09.08, 11:00h | Branching-Time Logics Repeatedly Referring to States | Volker Weber |
| Mo, 07.07.08, 14:00h | Hilbert's Tenth Problem (Masterarbeit) | Xubin Chen |
| Mo, 16.06.08, 11:00h | Frozen Development in Graph Coloring (Masterarbeit) | Sarah Tauscher |
| Mo, 09.06.08, 14:00h | Blattsprachen (Diplomarbeit) | Patrick Njofang |
| Di, 03.06.08, 10:30h | Entscheidungsprobleme in der Default Logik (Studienarbeit) | Alexander Stamm |
| Di, 03.06.08, 10:00h | Entscheidungsprobleme in der autoepistemischen Logik (Studienarbeit) | Kaweh Djafari Naini |
| Fr, 11.04.08, 13:00h | Effizienzanalyse von Public-Key-Verfahren (Diplomarbeit) | Viktor Turov |
| Mo, 10.10.08, 12:30h | Generating Multicollisions for MD4 and MD5 (Studienarbeit) | Christian Knopf |
| Di, 04.03.08, 11:30h | CTL*-SAT is 2EXPTIME-hard for ≤log-Reductions (Studienarbeit) | Fatima Yassaad |
| Di, 29.01.08, 15:00h | Klimas Tunneltechnik - MD5-Kollision innerhalb einer Minute (Studienarbeit) | Jurij Schachmanov |
| Mi, 23.01.08, 11:00h | A Logic for for Reasoning about Rational Agents | Wojtek Jamroga |
| Di, 22.01.08, 14:00h | Complexity of CTL-SAT | Michael Thomas und Arne Meier |
| Di, 27.11.07, 14:00h | Cryptographic Hash Functions (Diplomarbeit) | Christian Knopf |
| Di, 27.11.07, 15:00h | Complexity of Temporal Logics | Arne Meier |
| Mi, 21.11.07, 15:00h | The Weak Base Method for Constraint Satisfaction | Ilka Schnoor |
| Mi, 26.09.07, 13:00h | Traveling Salesman Problem - Vergleich von Heuristiken zur Lösung des Problems des Handlungsreisenden (Bachelorarbeit) | Florian Nöhring |
| Mi, 26.09.07, 14:00h | Kollisionen bei kryptographischen Hashfunktionen | Ronny Peine |
| Mi, 26.09.07, 15:00h | Laufzeitanalyse des SAT-Algorithmus von Schuler und dessen Derandomisierung von Dantsin und Wolpert (Studienarbeit) | Mirjan Hoffmann |
| Mi, 12.09.07, 13:30h | Public-Key-Kryptographie und Halbgruppen | Steffen Reith |
| Mi, 01.08.07, 14:30h | Ein Überblick zum Einsatz von ECC über endliche Körper vom Grad 2n und pn (Studienarbeit) | Mahin Olaie |
| Di, 05.06.07, 16:15h | The complexity of Solitaire | Pierre McKenzie |
| Mi, 23.05.07, 16:15h | Bisimulation, Games and Modal Logics | Martin Otto |
| Mo, 07.05.07, 13:00h | Algorithmen zu Exact Cover Problemen (Studienarbeit) | Johannes Schmidt |
| Mi, 25.04.07, 12:30h | PSPACE-completeness of LTL/CTL* model checking (Studienarbeit) | Peter Lohmann |
| Mi, 25.04.07, 12:00h | Algebraic and logical characterization of star-free languages (Studienarbeit) | Thomas Zeume |
| Di, 24.04.07, 16:15h | Majority in logic and computation | Juha Kontinen |
| Mi, 04.04.07, 13:00h | Visibly-Pushdown-Sprachen | Bahitje Brahimi |
| Mi, 28.03.07, 13:00h | Logik der Beweisbarkeit | Jürgen Gerland |
| Do, 08.03.07, 14:00h | Modale Logik | Frederic Brzoska |
| Do, 08.03.07, 13:30h | Cryptographic Hash Functions | Christian Knopf |
| Do, 08.03.07, 13:00h | Public-Key Verschlüsselung | Viktor Turov |
| Mo, 05.03.07, 14:30h | Algebraic Techniques for Satisfiability Problems | Henning Schnoor |
| Mo, 29.01.07, 12:30h | Complexity Results for Boolean Constraint Satisfaction Problems | Michael Bauland |
| Di, 21.11.06, 14:30h | Algebraische Turing-Maschinen | Henning Schnoor |
| Do, 16.11.06, 15:00h | Incremental branching programs | Pierre McKenzie |
| Di, 24.10.06, 14:00h | Membership problems for Boolean clones | Sebastian Böcker |
| Do, 12.10.06 | Berlin-Hannover-Jena Seminar | - |
| Di, 19.09.06, 13.30h | Autoreducibility and Friends | Joachim Selke |
| Di, 19.09.06, 11.00h | Inductive Counting | Patrick Njofang |
| Di, 19.09.06, 10.15h | Ein Entscheidungsalgorithmus für die Logik S1S | Marc Schultze |
| Fr, 08.09.06, 11.00h | Erfüllbarkeit für quantifizierte Hornformeln | Irina Privalova |
| Mo, 28.08.06, 13.00h | New Algebraic Methods for Constraint Satisfaction Problems | Ilka und Henning Schnoor |
| Mi, 16.08.06, 13.30h | Blattsprachen und Blattfunktionen | Matthias Galota |
| Do, 20.07.06, 9.30h | Logics for context-free languages | Michael Thomas |
| Mo, 10.07.06, 16.00h Raum 027 | Erkennung genomischer Inseln mit Hidden-Markow-Modellen | Stephan Waack |
| Mo, 24.04.06, 10.15 h | Kompressionsalgorithmen | Boris Tripolskij |
| Mo, 24.04.06, 11.00h | Expressive Power and Closure Properties of Constraints | Volker Stamm |
| Mo, 24.04.06, 16.00h Raum 135 | Räuber, Gendarmen und die Struktur effizient lösbarer Constraint-Satisfaction-Probleme | Martin Grohe |
| Mi, 19.04.06, 13.00h | Äquivalenztest für deterministische Kellerautomaten | Alexander Zlenko |
| Fr, 07.04.06, 13.00h | Redundanz in NP-vollständigen Mengen | Christian Glaßer |
| Fr, 07.04.06, 14.30h | Eine abstrakte Beschreibung ressourcenbeschränkter Reduzierbarkeiten | Wolfgang Merkle |
| Mo, 20.02.06, 10:00h | Generalized Modal Satisfiability | Ilka Schnoor |
| Fr, 13.01.06, 10:30h | New Results on Enumeration Algorithms for Constraint Satisfaction Problems | Henning Schnoor |
| Fr, 02.12.05, 11:00h | Algebraic Closures in Complexity Theory | Elmar Böhler |
| Di, 22.11.05, 10:30h | Neue Komplexitätsresultate für hybride Logiken über transitiven Rahmen | Thomas Schneider |
| Di, 15.11.05, 14:00h | Die neue deutsche Rechtschreibung | Michael Bauland |
| Fr, 21.10.05, 14:00h | Optimierte ECU-Konfiguration im Autosar-Umfeld | Maja Ostrowski |
| Fr, 12.10.05 | Berlin-Hannover-Jena Seminar | - |
| Mo, 19.09.05, 14:45h | SAT-Algorithmen | Arne Meier |
| Mo, 19.09.05, 14:00h | Verallgemeinerte Pumping-Lemmata | Yuqing Gong |
| Di, 02.08.05, 11:00h | Blattsprachen und TOL-System | Jens Georg |
| Mi, 27.07.05, 10:30h | Isomorphic implication | Michael Bauland |
| Mi, 27.07.05, 10:00h | The complexity of satisfiability problems: refining Schaefer's theorem | Henning Schnoor |
| Fr, 08.07.05, 10:30h | Partitionsbedingungen für Steiner-Bäume | Matthias Kriesell |
| Fr, 24.06.05, 10:00h | Visualisierung von Konzepten der Theoretischen Informatik | Nico Amtsberg, Tim Lorenz |
| Fr, 10.06.05, 10:00h | The complexity of propositional linear temporal logics, A. P. Sistla and E. M. Clarke | Ilka Johannsen |
| Fr, 13.05.05, 10:00h | Relation - ein Werkzeug zur Untersuchung endlicher Relationen | Marc Schultze |
| Di, 10.05.05, 13:00h | Normalformen für spezielle modale Formeln | Henning Schnoor |
| Di, 26.04.05, 13:30h | Die Komplexität hybrider Logiken über transitiven Rahmen | Thomas Schneider |
| Fr, 22.04.05, 14:30h | Enumeration Algorithms for Constraint Satisfaction Problems | Ilka Johannsen |
| Di, 12.04.05, 11:00h | Über den Verband der Clones unter FP | Elmar Böhler |
| Fr, 08.04.05, 10:00h | Exbor - ein Werkzeug zur Untersuchung Boolescher Funktionen | Volker Stamm |
| Mo, 21.02.05, 10:00h | Das Formula Value Problem | Henning Schnoor |
| Mi, 09.02.05, 10:00h | Isomorphic Implication | Michael Bauland |
| Fr, 04.02.05, 10:00h | Der AKS-Primzahltest | Witali Janzen |
| Fr, 28.01.05, 10:00h | Die Komplexität der aussagenlogischen Circumscription | Heribert Vollmer |
| Fr, 17.12.04, 10:00h | Tractable Decision for a Constraint Language Implies Tractable Search, D. A. Cohen | Michael Bauland |
| Fr, 10.12.04, 10:00h | Counting Probleme für Constraint Satisfaction Probleme im nicht-Boolschen Fall | Henning Schnoor |
| Fr, 03.12.04 | Berlin-Berlin-Hannover-Jena Seminar | - |
| Do, 25.11.04, 10:00h | Komplexitätsübersicht nicht monotoner Logiken | Birgit Schelm |
| Mi, 10.11.04, 11:00h | Ein mathematisches Modell zur Darstellung der Transportbeziehungen zwischen LSPs in MPLS-Netzwerken | Joachim Selke |
| Do, 21.10.04, 10:00h | Average case Komplexität | Birgit Schelm |
| Di, 12.10.04, 14:30h | Quantified constraints over maximal constraint languages | Henning Schnoor |
| Mi, 07.07.04, 14:15h | Quantifizierte Boolesche Formeln | Michael Bauland |
| Mi, 16.06.04, 14:15h | Die Komplexität der Postschen Klassen | Henning Schnoor |
| Mi, 09.06.04, 14:15h | Der Postsche Verband | Henning Schnoor |
| Mi, 19.05.04, 14:15h | Blattsprachen und T0L-Systeme | Rainer Parchmann |
| Mi, 12.05.04, 14:15h | Kuchenschneide-Algorithmen | Ulrich Hertrampf |
| Mi, 05.05.04, 14:30h | Die Berechnungsstärke von endlichen Blattautomaten | Christian Becker |
| Fr, 13.02.04, 13:30h | Äquivalenz von UML-Diagrammen | Sven Baselau |
| Fr, 30.01.04, 13:30h | UML-Diagramme und ihre Übersetzung in die Modell-Objekt-Sprache MOL | Patrick Hagemann |
| Fr, 16.01.04, 13:30h | Die Komplexität modaler Logiken | Thomas Schneider |
| Fr, 19.12.03, 13:30h | Verbindbarkeit und Trennbarkeit in allgemeinen Graphen | Matthias Kriesell |
| Fr, 12.12.03, 13:30h | Berlin-Berlin-Hannover-Seminar | - |
| Fr, 28.11.03, 13:30h | Das NTRU-Kryptosytem | Michael Bauland |
| Fr, 21.11.03, 13:30h | 49. Theorietag, Heinrich-Heine-Universität Düsseldorf | - |
| Fr, 14.11.03, 13:30h | Implementierung von Algorithmen zur Positionierung von Basisstationen in Mobilfunknetzen | Thomas Flohr |
| Fr, 07.11.03, 13:30h | EXBOR - Ein Werkzeug zur Untersuchung von Abschlusseigenschaften Boolescher Funktionen | Ilka Johannsen |
| Fr, 31.10.03, 13:30h | Das Hutproblem und zufällige Binärfolgen | Wolfgang Merkle |
| Letzte Änderung: 19. Januar 2010.
Top
| Copyright Leibniz Universität
