Skip to content

Jrg Flum

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

25

Venues

8

Active years

1991–2022

Best venue rank

A*

Where they publish

Papers

25 indexed papers, newest first.

YearVenueTitleAuthors
2022MFCSOn Algorithms Based on Finitely Many Homomorphism Counts.Yijia Chen, Jrg Flum, Mingjun Liu, Zhiyang Xun
2021LICSForbidden Induced Subgraphs and the Łoś-Tarski Theorem.Yijia Chen, Jrg Flum
2020CSLFO-Definability of Shrub-Depth.Yijia Chen, Jrg Flum
2018LICSTree-depth, quantifier elimination, and quantifier rank.Yijia Chen, Jrg Flum
2017CSLSlicewise Definability in First-Order Logic with Bounded Quantifier Rank.Yijia Chen, Jrg Flum, Xuangui Huang
2016MFCSSome Lower Bounds in Parameterized AC^0.Yijia Chen, Jrg Flum
2012CiEHard Instances of Algorithms and Proof Systems.Yijia Chen, Jrg Flum, Moritz Mller
2012LICSOn the Ordered Conjecture.Yijia Chen, Jrg Flum
2011CiEConsistency and Optimality.Yijia Chen, Jrg Flum, Moritz Mller
2011LICSListings and Logics.Yijia Chen, Jrg Flum
2011MFCSInvariantization of Listings.Jrg Flum
2010CSLOn Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT.Yijia Chen, Jrg Flum
2010ICALPOnYijia Chen, Jrg Flum
2009CiELower Bounds for Kernelizations and Other Preprocessing Procedures.Yijia Chen, Jrg Flum, Moritz Mller
2009LICSA Logic for PTIME and a Parameterized Halting Problem.Yijia Chen, Jrg Flum
2007CiEParameterized Complexity and Logic.Jrg Flum
2007CSLSubexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping.Yijia Chen, Jrg Flum
2004ICALPBounded Fixed-Parameter Tractability and logJrg Flum, Martin Grohe, Mark Weyer
2004LICSModel-Checking Problems as a Basis for Parameterized Intractability.Jrg Flum, Martin Grohe
2003CSLMachine Characterization of the Classes of the W-Hierarchy.Yijia Chen, Jrg Flum
2002FOCSThe Parameterized Complexity of Counting Problems.Jrg Flum, Martin Grohe
2002STACSDescribing Parameterized Complexity Classes.Jrg Flum, Martin Grohe
2001ICDTQuery Evaluation via Tree-Decompositions.Jrg Flum, Markus Frick, Martin Grohe
1997ICDTTotal and Partial Well-Founded Datalog Coincide.Jrg Flum, Max Kubierschky, Bertram Ludscher
1991CSLOn Bounded Theories.Jrg Flum