Institute of Theoretical Computer Science

Research output

Research output per year 1996 2009 2011 2012 2013 2014 2015 2016 2017 2018 2020 2023

• 469 Citations
• 76 Bachelor Theses
• 60 Conference contribution
• 49 Master Theses
• 43 Journal articles
• 60 More
  • 15 Conference Papers
  • 12 Doctoral Theses
  • 10 Collected editions
  • 8 Contributions to collected editions/anthologies
  • 5 Other
  • 3 Chapter
  • 1 Books
  • 1 Commissioned Reports
  • 1 Conference proceedings
  • 1 Letters
  • 1 Newspaper articles
  • 1 Scientific review articles
  • 1 Preprint

Research output per year

Research output per year

Search results

• 2018

  Dynamische Approximationsverfahren für das Dominating-Set-Problem

  Grothkopp, S., 2018

  Research output: Published Theses › Master Theses

• Garbled Circuits: from White-Box Cryptography to Zero-Knowledge Proofs

  Thaeter, J., 2018

  Research output: Published Theses › Master Theses

• Konstruktion von Lösungen für Unart-Subset-Sun und verwandte Probleme in TC^0

  Bartels, F., 2018

  Research output: Published Theses › Master Theses

• Private Edit Distance on DNA

  Heinecke, I., 2018

  Research output: Published Theses › Master Theses

• Scheduling-Algorithmen für Energiemanagementsysteme in Smart-Homes

  Bachmann, M., 2018

  Research output: Published Theses › Master Theses
• 2017

  Differential Privacy: Choosing Parameters for Multiple Studies

  Wichelmann, J., 2017

  Research output: Published Theses › Master Theses

• Dreiwertige Timed-LTL-Semantik.

  Huber, D., 2017, Lübeck.

  Research output: Published Theses › Master Theses

• Möglichkeiten und Grenzen der parallelen Berechnung von Kerneln

  Lassota, A. A., 2017

  Research output: Published Theses › Master Theses

• SMT-based Flat Model-Checking for LTL with Counting

  Pirogov, A., 15.09.2017, 85 p.

  Research output: Published Theses › Master Theses

  • Surface mount technology 100%
  • Model checking 90%
  • Temporal logic 33%
  • Specification languages 32%
• 2016

  Algorithmic Drawing of Evolving Trees

  Skambath, M., 2016

  Research output: Published Theses › Master Theses

• Algoritmisches Zeichnen von planaren Graphen mit TikZ

  Beyer, R., 2016

  Research output: Published Theses › Master Theses

• Das No-Comparing-Theorem für Qubits.

  Niemann, R., 2016

  Research output: Published Theses › Master Theses

• Generation and verification of formal proofs of propositional tautologies

  Gerlach, B., 2016

  Research output: Published Theses › Master Theses

• Kompetitive Analyse von Multizustand-Systemen im Dynamic Power-Management Kontext

  Lau, F-L. A., 2016

  Research output: Published Theses › Master Theses

• On the Complexity of Constructing Phylogenetic Trees from Rooted Triplets

  Dannenberg, K., 2016

  Research output: Published Theses › Master Theses
• 2015

  Algorithmische Fragestellungen in der Kausalitätstheorie

  Idelberger, A., 2015

  Research output: Published Theses › Master Theses

• Construction of Two-Layer Transportation Networks

  Thaeter, F., 2015

  Research output: Published Theses › Master Theses

• Minimierung symbolischer nichtdeterministischer Büchi-Automaten

  Thorn, J., 2015

  Research output: Published Theses › Master Theses

• Runetime Verification Logics for Object-Oriented Real-Time Systems

  Mende, T., 2015

  Research output: Published Theses › Master Theses

• Schwere Instanzen für NP-schwere Probleme.

  Schomann, T., 2015

  Research output: Published Theses › Master Theses
• 2014

  An Approach to Solving Object Displacement Problems.

  Mühlfeld, A., 2014

  Research output: Published Theses › Master Theses

• Design and Implementation of a Configurable Framework for Forced-Based Graph Drawing.

  Bruhns, I. D., 2014

  Research output: Published Theses › Master Theses

• Entwurf und Implementierung eines Algorithmus zur Berechnung einer Pfadzerlegung von kubischen Graphen.

  Lassota, K., 2014

  Research output: Published Theses › Master Theses

• Konzeption und Implementierung eines merkmalbasierten Workflows für die Steganalyse.

  Noack, F., 2014

  Research output: Published Theses › Master Theses

• Logiken für verteilte Laufzeitverfikation.

  Scheffel, T., 2014

  Research output: Published Theses › Master Theses

• On the Space and Circuit Complexity of Certain Parameterized Problems.

  Bannach, M., 2014

  Research output: Published Theses › Master Theses

  • Networks (circuits) 100%

• Sicheres Cloud-Computing.

  Schlinga, S., 2014

  Research output: Published Theses › Master Theses

• STL: Combining Stream-based and Temporal Logics.

  Tils, E. V., 2014

  Research output: Published Theses › Master Theses

• Verteilte Laufzeitverfikation auf eingebetteten Systemen.

  Schmitz, M., 2014

  Research output: Published Theses › Master Theses
• 2013

  Algorithmisches Lernen von Verteilungen

  Ernst, M., 2013

  Research output: Published Theses › Master Theses

• Das fehlertolerante Shortest-Common-Superstring-Problem

  Freitag, S., 2013

  Research output: Published Theses › Master Theses

• Reoptimization of the Travelling Salesperson Problem

  Finck, N., 2013

  Research output: Published Theses › Master Theses

• Runtime Verification for Mazurkiewicz Traces.

  Waziri, C., 2013

  Research output: Published Theses › Master Theses
• 2012

  Data-based Projection Access Order for SART

  Kiencke, S., 2012

  Research output: Published Theses › Master Theses

• Dekomposition von Bäumen und Termin in AC0 und TC0

  Thole, N., 2012

  Research output: Published Theses › Master Theses

• Digital Camera Identification

  Strecker, C., 2012

  Research output: Published Theses › Master Theses

• DSL-based Runtime Verification for the JVM.

  Pohlmann, C., 2012

  Research output: Published Theses › Master Theses

• Sichere Zwei-Parteien Protokolle zur Berechnung von Entscheidungsbäumen

  Bulygina, Y., 2012

  Research output: Published Theses › Master Theses
• 2011

  Anwendungen monadischer Logik zweiter Stufe auf Probleme beschränkter Baumweite und deren Platzkomplexität

  Stockhusen, C., 2011, 72 p.

  Research output: Published Theses › Master Theses

• Configurable Graph Drawing Algorithms for the TikZ Graphics Description Language

  Pohlmann, J., 2011, 124 p.

  Research output: Published Theses › Master Theses

  • Directed graphs 100%
  • Computer programming languages 78%
  • Large scale systems 73%

• Ein Zooming-Interface facettenklassifizierte für Präsentationen

  Bäume, J., 2011

  Research output: Published Theses › Master Theses

• Graph Grammar Slicing – An Approach to Reducing the Combinatorial Complexity of Tracking Observables in Complex Reaction Systems

  Krewinkel, A., 2011

  Research output: Published Theses › Master Theses

• Komplexitätstheoretische Untersuchung des HistogramEqualization-Problems

  Sauerbeck, L., 2011

  Research output: Published Theses › Master Theses

• Spieltheoretische und Graphentheoretische Betrachtungen zur Netzwerksicherheit

  Kunold, T., 2011

  Research output: Published Theses › Master Theses
• 2010

  Algorithmen zur Konstruktion perfekter Rekombinationsnetzwerke

  Witt, O., 2010

  Research output: Published Theses › Master Theses

• Bildklassifikation unter Verwendung kompressionsbasierter Methoden

  Kleine, O., 2010

  Research output: Published Theses › Master Theses

• Community and Hub Detection in Social Networks

  Ulrich, S., 2010

  Research output: Published Theses › Master Theses

• Entwicklung und Analyse einer Heuristik für Image-Matching bezüglich Skalierung und Rotation

  Sticken, F., 2010

  Research output: Published Theses › Master Theses
• 2009

  Konzeption und Implementation eines Frameworks zur explorativen Vermittlung von Algorithmen in der Lehre: Diplomarbeit

  Abraham, J., 2009

  Research output: Published Theses › Master Theses