| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jörg Flum, Moritz Müller |
Some definitorial suggestions for parameterized proof complexity.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
Listings and logics. |
Electronic Colloquium on Computational Complexity (ECCC) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Moritz Müller |
Hard instances of algorithms and proof systems. |
Electronic Colloquium on Computational Complexity (ECCC) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller |
Strong isomorphism reductions in complexity theory. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Moritz Müller |
Lower Bounds for Kernelizations and Other Preprocessing Procedures. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum |
Invariantization of Listings. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
Listings and Logics. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Moritz Müller |
Consistency and Optimality. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On optimal proof systems and logics for PTIME. |
Electronic Colloquium on Computational Complexity (ECCC) |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On the complexity of Gödel's proof predicate. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael R. Fellows, Jörg Flum, Danny Hermelin, Moritz Müller, Frances A. Rosamond |
W-Hierarchies Defined by Symmetric Gates. |
Theory Comput. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On p-Optimal Proof Systems and Logics for PTIME. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
A Logic for PTIME and a Parameterized Halting Problem. |
Fields of Logic and Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
A Logic for PTIME and a Parameterized Halting Problem. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Moritz Müller |
Lower Bounds for Kernelizations and Other Preprocessing Procedures. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
kernelization, preprocessing, Parameterized complexity |
| 1 | Yijia Chen, Jörg Flum |
A logic for PTIME and a parameterized halting problem. |
Electronic Colloquium on Computational Complexity (ECCC) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
The parameterized complexity of maximality and minimality problems. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Erich Grädel, Thomas Wilke (eds.) |
Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Moritz Müller |
Lower Bounds for Kernelizations. |
Electronic Colloquium on Computational Complexity (ECCC) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Martin Grohe |
An analysis of the W*-hierarchy. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rod Downey, Jörg Flum, Martin Grohe, Mark Weyer |
Bounded fixed-parameter tractability and reducibility. |
Ann. Pure Appl. Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
Einführung in die mathematische Logik (5. Aufl.). |
|
2007 |
RDF |
|
| 1 | Yijia Chen, Jörg Flum |
Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On Parameterized Path and Chordless Path Problems. |
IEEE Conference on Computational Complexity |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum |
Parameterized Complexity and Logic. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On miniaturized problems in parameterized complexity theory. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Martin Grohe, Mark Weyer |
Bounded fixed-parameter tractability and log2n nondeterministic bits. |
J. Comput. Syst. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
The Parameterized Complexity of Maximality and Minimality Problems. |
IWPEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Martin Grohe |
Machine-based methods in parameterized complexity theory. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Martin Grohe |
Model-checking problems as a basis for parameterized intractability. |
Logical Methods in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Martin Grohe |
Model-Checking Problems as a Basis for Parameterized Intractability |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jörg Flum, Martin Grohe |
Parametrized Complexity and Subexponential Time (Column: Computational Complexity). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jörg Flum, Martin Grohe |
The Parameterized Complexity of Counting Problems. |
SIAM J. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Martin Grohe, Mark Weyer |
Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On Miniaturized Problems in Parameterized Complexity Theory. |
IWPEC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Martin Grohe |
Model-Checking Problems as a Basis for Parameterized Intractability. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Martin Grohe |
Describing parameterized complexity classes. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
Machine Characterization of the Classes of the W-Hierarchy. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Martin Grohe |
Bounded Nondeterminism and Alternation in Parameterized Complexity Theory. |
IEEE Conference on Computational Complexity |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Markus Frick, Martin Grohe |
Query evaluation via tree-decompositions. |
J. ACM |
2002 |
DBLP DOI BibTeX RDF |
Acyclic conjunctive queries, combined complexity, hypergraphs, monadic second-order logic, tree-width |
| 1 | Jörg Flum, Martin Grohe |
Describing Parameterized Complexity Classes. |
STACS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Martin Grohe |
The Parameterized Complexity of Counting Problems. |
FOCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum |
Tree-Decompositions and the Model-Checking Problem. |
Bulletin of the EATCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jörg Flum, Martin Grohe |
Fixed-Parameter Tractability, Definability, and Model-Checking. |
SIAM J. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Markus Frick, Martin Grohe |
Query Evaluation via Tree-Decompositions. |
ICDT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Max Kubierschky, Bertram Ludäscher |
Games and total Datalog¬ queries. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Martin Grohe |
On Fixed-Point Logic With Counting. |
J. Symb. Log. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jörg Flum |
Games, Kernels, and Antitone Operations. |
Order |
2000 |
DBLP DOI BibTeX RDF |
antitone operations, games, graphs |
| 1 | Jörg Flum, Matthias Schiehlen, Jouko A. Väänänen |
Quantifiers and Congruence Closure. |
Studia Logica |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Martin Ziegler 0002 |
Pseudo-Finite Homogeneity and Saturation. |
J. Symb. Log. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jörg Flum, Martin Grohe |
Fixed-parameter tractability, definability, and model checking |
CoRR |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jörg Flum, Mario Rodríguez-Artalejo (eds.) |
Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings |
CSL |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jörg Flum |
An Extension of the Lemma of Rasiowa and Sikorski. |
Math. Log. Q. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jörg Flum, Max Kubierschky, Bertram Ludäscher |
Total and Partial Well-Founded Datalog Coincide. |
ICDT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
Einführung in die mathematische Logik (4. Aufl.). |
|
1996 |
RDF |
|
| 1 | Heinz-Dieter Ebbinghaus, Jörg Flum |
Finite model theory. |
|
1995 |
RDF |
|
| 1 | Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
Mathematical logic (2. ed.). |
|
1994 |
RDF |
|
| 1 | Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
Einführung in die mathematische Logik (3. Aufl.). |
|
1992 |
RDF |
|
| 1 | Jörg Flum |
On Bounded Theories. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Flum, Juan Carlos Martínez |
On Topological Spaces Equivalent to Ordinals. |
J. Symb. Log. |
1988 |
DBLP BibTeX RDF |
|
| 1 | Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
Mathematical logic. |
|
1984 |
RDF |
|
| 1 | Jörg Flum |
L(Q)-Preservation Theorems. |
J. Symb. Log. |
1975 |
DBLP BibTeX RDF |
|
| 1 | Jörg Flum |
A Remark on Infinitary Languages. |
J. Symb. Log. |
1971 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")