Christian Reitwiener
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2007–2018
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISoLA | SMT-Based Verification of Solidity Smart Contracts. | Leonardo Alt, Christian Reitwiener |
| 2013 | ICALP | Autoreducibility of Complete Sets for Log-Space and Polynomial-Time Reductions. | Christian Glaer, Dung T. Nguyen, Christian Reitwiener, Alan L. Selman, Maximilian Witek |
| 2012 | LATIN | Structural Complexity of Multiobjective NP Search Problems. | Krzysztof Fleszar, Christian Glaer, Fabian Lipp, Christian Reitwiener, Maximilian Witek |
| 2010 | CiE | Approximability and Hardness in Multi-objective Optimization. | Christian Glaer, Christian Reitwiener, Heinz Schmitz, Maximilian Witek |
| 2009 | SOFSEM | Conjunctive Grammars with Restricted Disjunction. | Alexander Okhotin, Christian Reitwiener |
| 2008 | CiE | The Shrinking Property for NP and coNP. | Christian Glaer, Christian Reitwiener, Victor L. Selivanov |
| 2008 | ISAAC | Multiobjective Disk Cover Admits a PTAS. | Christian Glaer, Christian Reitwiener, Heinz Schmitz |
| 2007 | CSR | Equivalence Problems for Circuits over Sets of Natural Numbers. | Christian Glaer, Katrin Herr, Christian Reitwiener, Stephen D. Travers, Matthias Waldherr |