University Duisburg-Essen

Theoretical computer science group

Faculty of Computer Science

  • Orientation
  • Search
  • EN
    • Deutsch
  • Studying at the UDE
  • Group
  • Teaching
    Teaching
    • Computability and Complexity (Beko)
    • Formal Aspects of Software Security and Cryptography
    • Logik
    • Seminar "Spiele in der Informatik"
    • All courses
  • Research
  • People
    People
    • Head of group
      • Prof. Dr. Barbara König
    • Group members
      • Rebecca Bernemann
      • Richard Eggert
      • Sebastian Gurke
      • Frédéric de Longueville
      • Karla Messing
      • Lara Stoltenow
      • Florian Wittbold
    • Office
      • Martina Bick
      • Doris Heise
      • Bärbel Schmitz
    • System administration
      • Marvin Hoffmann
  • Contact

Research

  1. Theoretical computer science group

Workshops

  • D-CON 2020 (2020-03-12 and 13)

Projects

  • Spectra of Behavioural Distances and Quantitative Logics (SpeQt)
    DFG project, since 2020
  • User-Centred Social Media (UCSM)
    DFG research training group, 2015-2021
  • Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms (BEMEGA)
    DFG project, since 2014
  • Graphs, Recognizability and Verification (GaReV)
    DFG project, 2010-2016
  • Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT)
    DFG project, 2008-2013
  • Static Analysis of Dynamically Evolving Systems (SANDS)
    DFG project, 2004-2010

Publications

See our list of publications at the university library

Tools

  • Augur 2
  • DrAGoM
  • Grez
  • PAWS
  • Raven
  • T-BEG
  • Uncover
  • WikiMainPath
  • Infoline
  • Emergency handling
  • Imprint
  • © UDE
  • Last modified: 2020-08-03