BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Flum:J=ouml=rg

Facilitated 1 volumes:

CSL 1999Ed

Contributed to:

LICS 20122012
LICS 20112011
CSL 20102010
ICALP (2) 20102010
LICS 20092009
CSL 20072007
ICALP 20042004
LICS 20042004
CSL 20032003
CSL 19911991
CSL 20172017
CSL 20202020

Wrote 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.
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.
FO-Definability of Shrub-Depth (YC, JF), p. 16.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.