Department of Computer Science

• Forthcoming

  Symmetry Breaking in the Congest Model: Message- and Time-Efficient Algorithms for Ruling Sets

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Published

  ExpoSE: Practical Symbolic Execution of Standalone JavaScript

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Published

  Space Complexity of Fault-Tolerant Register Emulations

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all »

• Polytope methods in parameterized complexity

  Project: Research

• New methodologies for removal of methane from the atmosphere

  Project: Other

• Machine Learning for Chemical Synthesis

  Project: Research

View all »