Travelled to:1 × Austria
1 × France
1 × Hungary
1 × Spain
Collaborated with:O.Watanabe O.Beyersdorff S.Müller S.Kuhnert B.Laubner O.Verbitsky V.Arvind Y.Han L.A.Hemachandra A.Lozano M.Mundhenk M.Ogiwara U.Schöning R.Silvestri T.Thierauf
Talks about:nondeterminist (1) represent (1) logspac (1) instanc (1) content (1) consequ (1) complex (1) collaps (1) circuit (1) system (1)
Person: Johannes Köbler
DBLP: K=ouml=bler:Johannes
Contributed to:
2010
200919951992Wrote 4 papers:
- ICALP-v1-2010-KoblerKLV #canonical #graph #representation
- Interval Graphs: Canonical Representation in Logspace (JK, SK, BL, OV), pp. 384–395.
- LATA-2009-BeyersdorffKM #complexity #nondeterminism #proving
- Nondeterministic Instance Complexity and Proof Systems with Advice (OB, JK, SM), pp. 164–175.
- ICALP-1995-KoblerW
- New Collapse Consequences of NP Having Small Circuits (JK, OW), pp. 196–207.
- ICALP-1992-ArvindHHKLMOSST #reduction #set
- Reductions to Sets of Low Information Content (VA, YH, LAH, JK, AL, MM, MO, US, RS, TT), pp. 162–173.