Christian Reitwießner

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 3

Top Venues

CoRR

ICALP (1)

ISoLA (4)

Electron. Colloquium Comput. Complex.

Julius Maximilian University of Würzburg (PHD)

Education History

Julius Maximilian University of Würzburg

PHD

Publications

Jason Teutsch, Christian Reitwießner
A scalable verification solution for blockchains. CoRR (2019)
Leonardo Alt, Christian Reitwießner
SMT-Based Verification of Solidity Smart Contracts. ISoLA (4) (2018)
Julia Koch, Christian Reitwießner
A Predictable Incentive Mechanism for TrueBit. CoRR (2018)
Christian Glaßer, Dung T. Nguyen, Christian Reitwießner, Alan L. Selman, Maximilian Witek
Autoreducibility of Complete Sets for Log-Space and Polynomial-Time Reductions. ICALP (1) (2013)
Christian Glaßer, Dung T. Nguyen, Christian Reitwießner, Alan L. Selman, Maximilian Witek
Autoreducibility of Complete Sets for Log-Space and Polynomial-Time Reductions. Electron. Colloquium Comput. Complex. 20 (2013)
Alexander Okhotin, Christian Reitwießner
Parsing Boolean grammars over a one-letter alphabet using online convolution. Theor. Comput. Sci. 457 (2012)
Krzysztof Fleszar, Christian Glaßer, Fabian Lipp, Christian Reitwießner, Maximilian Witek
Structural Complexity of Multiobjective NP Search Problems. LATIN (2012)
Christian Glaßer, Christian Reitwießner, Victor L. Selivanov
The shrinking property for NP and coNP. Theor. Comput. Sci. 412 (8-10) (2011)
Christian Glaßer, Christian Reitwießner, Maximilian Witek
Applications of Discrepancy Theory in Multiobjective Approximation. FSTTCS (2011)
Christian Glaßer, Christian Reitwießner, Maximilian Witek
Applications of Discrepancy Theory in Multiobjective Approximation CoRR (2011)
Krzysztof Fleszar, Christian Glaßer, Fabian Lipp, Christian Reitwießner, Maximilian Witek
The Complexity of Solving Multiobjective Optimization Problems and its Relation to Multivalued Functions. Electron. Colloquium Comput. Complex. 18 (2011)
Alexander Okhotin, Christian Reitwießner
Parsing Unary Boolean Grammars Using Online Convolution. Advances and Applications of Automata on Words and Trees (2010)
Christian Glaßer, Christian Reitwießner, Heinz Schmitz, Maximilian Witek
Approximability and Hardness in Multi-objective Optimization. CiE (2010)
Christian Glaßer, Christian Reitwießner, Heinz Schmitz, Maximilian Witek
Hardness and Approximability in Multi-Objective Optimization. Electron. Colloquium Comput. Complex. 17 (2010)
Christian Glaßer, Katrin Herr, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr
Equivalence Problems for Circuits over Sets of Natural Numbers. Theory Comput. Syst. 46 (1) (2010)
Christian Glaßer, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr
Satisfiability of algebraic circuits over sets of natural numbers. Discret. Appl. Math. 158 (13) (2010)
Christian Glaßer, Christian Reitwießner, Maximilian Witek
Balanced Combinations of Solutions in Multi-Objective Optimization CoRR (2010)
Alexander Okhotin, Christian Reitwießner
Conjunctive grammars with restricted disjunction. Theor. Comput. Sci. 411 (26-28) (2010)
Alexander Okhotin, Christian Reitwießner
Conjunctive Grammars with Restricted Disjunction. SOFSEM (2009)
Christian Glaßer, Christian Reitwießner, Maximilian Witek
Improved and Derandomized Approximations for Two-Criteria Metric Traveling Salesman. Electron. Colloquium Comput. Complex. 16 (2009)
Christian Glaßer, Christian Reitwießner, Heinz Schmitz
Multiobjective Disk Cover Admits a PTAS. ISAAC (2008)
Christian Glaßer, Christian Reitwießner, Victor L. Selivanov
The Shrinking Property for NP and coNP. CiE (2008)
Christian Glaßer, Christian Reitwießner, Victor L. Selivanov
The Shrinking Property for NP and coNP. Electron. Colloquium Comput. Complex. 15 (029) (2008)
Christian Glaßer, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr
Satisfiability of Algebraic Circuits over Sets of Natural Numbers. FSTTCS (2007)
Christian Glaßer, Katrin Herr, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr
Equivalence Problems for Circuits over Sets of Natural Numbers. CSR (2007)

Christian Reitwießner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Reitwießner