Christian Reitwießner

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A scalable verification solution for blockchains	2025-02-03	Paper
Autoreducibility of complete sets for log-space and polynomial-time reductions Automata, Languages, and Programming	2013-08-06	Paper
Parsing Boolean grammars over a one-letter alphabet using online convolution Theoretical Computer Science	2012-10-11	Paper
Applications of discrepancy theory in multiobjective approximation (available as arXiv preprint)	2012-08-31	Paper
Structural complexity of multiobjective NP search problems LATIN 2012: Theoretical Informatics	2012-06-29	Paper
The shrinking property for NP and coNP Theoretical Computer Science	2011-02-21	Paper
Satisfiability of algebraic circuits over sets of natural numbers Discrete Applied Mathematics	2010-08-13	Paper
Approximability and Hardness in Multi-objective Optimization Programs, Proofs, Processes	2010-07-29	Paper
Conjunctive grammars with restricted disjunction Theoretical Computer Science	2010-06-07	Paper
Equivalence problems for circuits over sets of natural numbers Theory of Computing Systems	2010-03-05	Paper
Conjunctive Grammars with Restricted Disjunction Lecture Notes in Computer Science	2009-02-03	Paper
Multiobjective Disk Cover Admits a PTAS Algorithms and Computation	2009-01-29	Paper
The Shrinking Property for NP and coNP Logic and Theory of Algorithms	2008-06-19	Paper
Equivalence Problems for Circuits over Sets of Natural Numbers Computer Science – Theory and Applications	2008-06-03	Paper
Satisfiability of Algebraic Circuits over Sets of Natural Numbers FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science	2008-04-24	Paper

Research outcomes over time

This page was built for person: Christian Reitwießner