The shrinking property for NP and coNP von Glaßer, Christian, Reitwießner, Christian, Selivanov, Victor

Volltext

SMT-Based Verification of Solidity Smart Contracts von Alt, Leonardo, Reitwiessner, Christian

Volltext

Autoreducibility of Complete Sets for Log-Space and Polynomial-Time Reductions von Glaßer, Christian, Nguyen, Dung T., Reitwießner, Christian, Selman, Alan L., Witek, Maximilian

Volltext

Structural Complexity of Multiobjective NP Search Problems von Fleszar, Krzysztof, Glaßer, Christian, Lipp, Fabian, Reitwießner, Christian, Witek, Maximilian

Volltext

Conjunctive Grammars with Restricted Disjunction von Okhotin, Alexander, Reitwießner, Christian

Volltext

A scalable verification solution for blockchains von Teutsch, Jason, Reitwießner, Christian

Volltext bestellen

Equivalence Problems for Circuits over Sets of Natural Numbers von Glaßer, Christian, Herr, Katrin, Reitwießner, Christian, Travers, Stephen, Waldherr, Matthias

Volltext

A Predictable Incentive Mechanism for TrueBit von Koch, Julia, Reitwiessner, Christian

Volltext

Applications of Discrepancy Theory in Multiobjective Approximation von Glaßer, Christian, Reitwießner, Christian, Witek, Maximilian

Volltext bestellen

Applications of Discrepancy Theory in Multiobjective Approximation von Glaßer, Christian, Reitwießner, Christian, Witek, Maximilian

Volltext

Balanced Combinations of Solutions in Multi-Objective Optimization von Glaßer, Christian, Reitwießner, Christian, Witek, Maximilian

Volltext

Multiobjective Optimization and Language Equations von Reitwießner, Christian, Equestrian, Christian

Volltext bestellen