Christian Reitwießner

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