Travelled to:1 × Austria
1 × Canada
1 × Croatia
1 × Czech Republic
1 × France
1 × USA
2 × Finland
2 × Switzerland
Collaborated with:Y.Chen M.Grohe ∅ M.Weyer X.Huang
Talks about:logic (4) parameter (3) problem (3) bound (3) tractabl (2) slicewis (2) paramet (2) system (2) ptime (2) proof (2)
Person: Jörg Flum
DBLP: Flum:J=ouml=rg
Facilitated 1 volumes:
EdContributed to:
201220112010
201020092007200420042003199120172020Wrote 12 papers:
- LICS-2012-ChenF #on the #order
- On the Ordered Conjecture (YC, JF), pp. 225–234.
- LICS-2011-ChenF #logic
- Listings and Logics (YC, JF), pp. 165–174.
- CSL-2010-ChenF #on the #problem #proving #slicing
- On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT (YC, JF), pp. 200–214.
- ICALP-v2-2010-ChenF #logic #on the #proving
- On p-Optimal Proof Systems and Logics for PTIME (YC, JF), pp. 321–332.
- LICS-2009-ChenF #logic #problem
- A Logic for PTIME and a Parameterized Halting Problem (YC, JF), pp. 397–406.
- CSL-2007-ChenF #parametricity
- Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping (YC, JF), pp. 389–404.
- ICALP-2004-FlumGW #bound #nondeterminism #parametricity
- Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits (JF, MG, MW), pp. 555–567.
- LICS-2004-FlumG #model checking #problem
- Model-Checking Problems as a Basis for Parameterized Intractability (JF, MG), pp. 388–397.
- CSL-2003-ChenF
- Machine Characterization of the Classes of the W-Hierarchy (YC, JF), pp. 114–127.
- CSL-1991-Flum #bound #on the
- On Bounded Theories (JF), pp. 111–118.
- CSL-2017-ChenFH #bound #first-order #logic #quantifier #rank #slicing
- Slicewise Definability in First-Order Logic with Bounded Quantifier Rank (YC, JF, XH), p. 16.
- CSL-2020-ChenF
- FO-Definability of Shrub-Depth (YC, JF), p. 16.