Multiobjective Disk Cover Admits a PTAS. - Christian Glaßer; Christian Reitwießner; Heinz Schmitz (ISAAC, 2008)

Improved and Derandomized Approximations for Two-Criteria Metric Traveling Salesman. - Christian Glaßer; Christian Reitwießner; Maximilian Witek (Electron. Colloquium Comput. Complex., 2009)

Approximability and Hardness in Multi-objective Optimization. - Christian Glaßer; Christian Reitwießner; Heinz Schmitz; Maximilian Witek (CiE, 2010)

Parsing Unary Boolean Grammars Using Online Convolution. - Alexander Okhotin; Christian Reitwießner (Advances and Applications of Automata on Words and Trees, 2010)

Balanced Combinations of Solutions in Multi-Objective Optimization - Christian Glaßer; Christian Reitwießner; Maximilian Witek (CoRR, 2010)

Satisfiability of algebraic circuits over sets of natural numbers. - Christian Glaßer; Christian Reitwießner; Stephen D. Travers; Matthias Waldherr (Discret. Appl. Math., 2010)

Hardness and Approximability in Multi-Objective Optimization. - Christian Glaßer; Christian Reitwießner; Heinz Schmitz; Maximilian Witek (Electron. Colloquium Comput. Complex., 2010)

Equivalence Problems for Circuits over Sets of Natural Numbers. - Christian Glaßer; Katrin Herr; Christian Reitwießner; Stephen D. Travers; Matthias Waldherr (Theory Comput. Syst., 2010)

Conjunctive grammars with restricted disjunction. - Alexander Okhotin; Christian Reitwießner (Theor. Comput. Sci., 2010)

Applications of Discrepancy Theory in Multiobjective Approximation. - Christian Glaßer; Christian Reitwießner; Maximilian Witek (FSTTCS, 2011)

The Complexity of Solving Multiobjective Optimization Problems and its Relation to Multivalued Functions. - Krzysztof Fleszar 001; Christian Glaßer; Fabian Lipp; Christian Reitwießner; Maximilian Witek (Electron. Colloquium Comput. Complex., 2011)

The shrinking property for NP and coNP. - Christian Glaßer; Christian Reitwießner; Victor L. Selivanov (Theor. Comput. Sci., 2011)

Structural Complexity of Multiobjective NP Search Problems. - Krzysztof Fleszar 001; Christian Glaßer; Fabian Lipp; Christian Reitwießner; Maximilian Witek (LATIN, 2012)

Parsing Boolean grammars over a one-letter alphabet using online convolution. - Alexander Okhotin; Christian Reitwießner (Theor. Comput. Sci., 2012)

Multiobjective Optimization and Language Equations. - Christian Reitwießner (2012)

Autoreducibility of Complete Sets for Log-Space and Polynomial-Time Reductions. - Christian Glaßer; Dung T. Nguyen; Christian Reitwießner; Alan L. Selman; Maximilian Witek (Electron. Colloquium Comput. Complex., 2013)

SMT-Based Verification of Solidity Smart Contracts. - Leonardo Alt; Christian Reitwießner (ISoLA (4), 2018)

A Predictable Incentive Mechanism for TrueBit. - Julia Koch; Christian Reitwießner (CoRR, 2018)

A scalable verification solution for blockchains. - Jason Teutsch; Christian Reitwießner (CoRR, 2019)