×

zbMATH — the first resource for mathematics

Flum, Jörg

Compute Distance To:
Author ID: flum.jorg Recent zbMATH articles by "Flum, Jörg"
Published as: Flum, Jörg; Flum, J.; Flum, Joerg
External Links: MGP
Documents Indexed: 95 Publications since 1971, including 14 Books
Reviewing Activity: 94 Reviews

Publications by Year

Citations contained in zbMATH Open

57 Publications have been cited 677 times in 572 Documents Cited by Year
Parametrized complexity theory. Zbl 1143.68016
Flum, Jörg; Grohe, Martin
176
2006
Mathematical logic. Transl. from the German by Ann S. Ferebee. 2nd ed. Zbl 0795.03001
Ebbinghaus, H.-D.; Flum, J.; Thomas, W.
57
1994
Finite model theory. 2nd rev. and enlarged ed. Zbl 0932.03032
Ebbinghaus, Heinz-Dieter; Flum, Jörg
50
1999
The parameterized complexity of counting problems. Zbl 1105.68042
Flum, Jörg; Grohe, Martin
46
2004
Finite model theory. Zbl 0841.03014
Ebbinghaus, Heinz-Dieter; Flum, Jörg
45
1995
Mathematical logic. Transl. from the German by Ann S. Ferebee. Zbl 0556.03001
Ebbinghaus, H.-D.; Flum, J.; Thomas, W.
38
1984
Query evaluation via tree-decompositions. Zbl 1326.68123
Flum, Jörg; Frick, Markus; Grohe, Martin
33
2002
Fixed-parameter tractability, definability, and model-checking. Zbl 0992.68060
Flum, Jörg; Grohe, Martin
23
2001
Describing parameterized complexity classes. Zbl 1076.68031
Flum, Jörg; Grohe, Martin
19
2003
Finite model theory. Hardback edition of the 2nd revised and enlarged edition 1999. Zbl 1081.03026
Ebbinghaus, Heinz-Dieter; Flum, Jörg
15
2006
Topological model theory. Zbl 0421.03024
Flum, Jörg; Ziegler, Martin
13
1980
Lower bounds for kernelizations and other preprocessing procedures. Zbl 1234.68118
Chen, Yijia; Flum, Jörg; Müller, Moritz
11
2011
First-order logic and its extensions. Zbl 0342.02007
Flum, J.
10
1975
Machine-based methods in parameterized complexity theory. Zbl 1142.68032
Chen, Yijia; Flum, Jörg; Grohe, Martin
10
2005
Parameterized complexity and subexponential time. Zbl 1169.68428
Flum, Jörg; Grohe, Martin
10
2004
Query evaluation via tree-decompositions. Zbl 1047.68047
Flum, Jörg; Frick, Markus; Grohe, Martin
8
2001
Bounded fixed-parameter tractability and \(\log^{2}n\) nondeterministic bits. Zbl 1110.68050
Flum, Jörg; Grohe, Martin; Weyer, Mark
8
2006
On miniaturized problems in parameterized complexity theory. Zbl 1087.68034
Chen, Yijia; Flum, Jörg
7
2006
Describing parameterized complexity classes. Zbl 1054.68063
Flum, Jörg; Grohe, Martin
7
2002
Lower bounds for kernelizations and other preprocessing procedures. Zbl 1268.68084
Chen, Yijia; Flum, Jörg; Müller, Moritz
7
2009
Machine characterizations of the classes of the W-hierarchy. Zbl 1116.68470
Chen, Yijia; Flum, Jörg
7
2003
Einführung in die mathematische Logik. Zbl 0399.03001
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
6
1978
Model-checking problems as a basis for parameterized intractability. Zbl 1125.68055
Flum, Jörg; Grohe, Martin
6
2005
Strong isomorphism reductions in complexity theory. Zbl 1248.03060
Buss, Sam; Chen, Yijia; Flum, Jörg; Friedman, Sy-David; Müller, Moritz
5
2011
Hanf numbers and well-ordering numbers. Zbl 0267.02039
Flum, Jörg
4
1972
The parameterized complexity of maximality and minimality problems. Zbl 1138.03034
Chen, Yijia; Flum, Jörg
4
2008
Einführung in die mathematische Logik. 3., vollst. überarb. und erw. Aufl. Zbl 0784.03002
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
4
1992
Introduction to mathematical logic. 4., aktualis. Aufl. (Einführung in die mathematische Logik.) Zbl 0852.03001
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
3
1996
Bounded fixed-parameter tractability and \(\log^{2} n\) nondeterministic bits. Zbl 1099.68642
Flum, Jörg; Grohe, Martin; Weyer, Mark
3
2004
Subexponential time and fixed-parameter tractability: Exploiting the miniaturization mapping. Zbl 1169.68020
Chen, Yijia; Flum, Jörg
3
2009
Pseudo-finite homogeneity and saturation. Zbl 0962.03027
Flum, Jörg; Ziegler, Martin
2
1999
W-hierarchies defined by symmetric gates. Zbl 1211.68217
Fellows, Michael; Flum, Jörg; Hermelin, Danny; Müller, Moritz; Rosamond, Frances
2
2010
Die Automorphismenmengen der Modelle einer L\(_{Q\varkappa}\)-Theorie. Zbl 0248.02060
Flum, Jörg
2
1972
A logic for PTIME and a parameterized halting problem. Zbl 1287.68061
Chen, Yijia; Flum, Jörg
2
2010
On slicewise monotone parameterized problems and optimal proof systems for TAUT. Zbl 1287.03102
Chen, Yijia; Flum, Jörg
2
2010
On \(p\)-optimal proof systems and logics for PTIME. Zbl 1288.03031
Chen, Yijia; Flum, Jörg
2
2010
Logic and automata. History and perspectives. Dedicated to Wolfgang Thomas on the occasion of his sixtieth birthday. Zbl 1198.03006
Flum, Jörg (ed.); Grädel, Erich (ed.); Wilke, Thomas (ed.)
2
2008
Subexponential time and fixed-parameter tractability: Exploiting the miniaturization mapping. Zbl 1179.68060
Chen, Yijia; Flum, Jörg
2
2007
On the complexity of Gödel’s proof predicate. Zbl 1201.03050
Chen, Yijia; Flum, Jörg
2
2010
Introduction to mathematical logic. 5th ed. (Einführung in die mathematische Logik.) Zbl 1139.03001
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
2
2007
The exponential time hypothesis and the parameterized clique problem. Zbl 1374.68239
Chen, Yijia; Eickmeyer, Kord; Flum, Jörg
2
2012
Some lower bounds in parameterized \(\mathrm{AC}^0\). Zbl 1398.68190
Chen, Yijia; Flum, Jörg
2
2016
On the (infinite) model theory of fixed-point logics. Zbl 0926.03039
Flum, Jörg
1
1999
On fixed-point logic with counting. Zbl 0960.03025
Flum, Jörg; Grohe, Martin
1
2000
Bemerkungen über minimale Modelle. Zbl 0246.02034
Flum, Jörg
1
1972
On Horn theories. Zbl 0275.02046
Flum, Jörg
1
1974
The parameterized complexity of maximality and minimality problems. Zbl 1154.68424
Chen, Yijia; Flum, Jörg
1
2006
An analysis of the W*-hierarchy. Zbl 1122.03040
Chen, Yijia; Flum, Jörg; Grohe, Martin
1
2007
Bounded fixed-parameter tractability and reducibility. Zbl 1149.03031
Downey, Rod; Flum, Jörg; Grohe, Martin; Weyer, Mark
1
2007
On topological spaces equivalent to ordinals. Zbl 0655.03026
Flum, Jörg; Martinez, Juan Carlos
1
1988
On bounded theories. Zbl 0783.03020
Flum, J.
1
1992
Hard instances of algorithms and proof systems. Zbl 1357.68080
Chen, Yijia; Flum, Jörg; Müller, Moritz
1
2012
A parameterized halting problem. Zbl 1358.68123
Chen, Yijia; Flum, Jörg
1
2012
From almost optimal algorithms to logics for complexity classes via listings and a halting problem. Zbl 1281.68115
Chen, Yijia; Flum, Jörg
1
2012
Some lower bounds in parameterized \(\mathrm{AC}^{0}\). Zbl 1423.68196
Chen, Yijia; Flum, Jörg
1
2019
On optimal inverters. Zbl 1341.03052
Chen, Yijia; Flum, Jörg
1
2014
Slicewise definability in first-order logic with bounded quantifier rank. Zbl 1434.03019
Chen, Yijia; Flum, Jörg; Huang, Xuangui
1
2017
Some lower bounds in parameterized \(\mathrm{AC}^{0}\). Zbl 1423.68196
Chen, Yijia; Flum, Jörg
1
2019
Slicewise definability in first-order logic with bounded quantifier rank. Zbl 1434.03019
Chen, Yijia; Flum, Jörg; Huang, Xuangui
1
2017
Some lower bounds in parameterized \(\mathrm{AC}^0\). Zbl 1398.68190
Chen, Yijia; Flum, Jörg
2
2016
On optimal inverters. Zbl 1341.03052
Chen, Yijia; Flum, Jörg
1
2014
The exponential time hypothesis and the parameterized clique problem. Zbl 1374.68239
Chen, Yijia; Eickmeyer, Kord; Flum, Jörg
2
2012
Hard instances of algorithms and proof systems. Zbl 1357.68080
Chen, Yijia; Flum, Jörg; Müller, Moritz
1
2012
A parameterized halting problem. Zbl 1358.68123
Chen, Yijia; Flum, Jörg
1
2012
From almost optimal algorithms to logics for complexity classes via listings and a halting problem. Zbl 1281.68115
Chen, Yijia; Flum, Jörg
1
2012
Lower bounds for kernelizations and other preprocessing procedures. Zbl 1234.68118
Chen, Yijia; Flum, Jörg; Müller, Moritz
11
2011
Strong isomorphism reductions in complexity theory. Zbl 1248.03060
Buss, Sam; Chen, Yijia; Flum, Jörg; Friedman, Sy-David; Müller, Moritz
5
2011
W-hierarchies defined by symmetric gates. Zbl 1211.68217
Fellows, Michael; Flum, Jörg; Hermelin, Danny; Müller, Moritz; Rosamond, Frances
2
2010
A logic for PTIME and a parameterized halting problem. Zbl 1287.68061
Chen, Yijia; Flum, Jörg
2
2010
On slicewise monotone parameterized problems and optimal proof systems for TAUT. Zbl 1287.03102
Chen, Yijia; Flum, Jörg
2
2010
On \(p\)-optimal proof systems and logics for PTIME. Zbl 1288.03031
Chen, Yijia; Flum, Jörg
2
2010
On the complexity of Gödel’s proof predicate. Zbl 1201.03050
Chen, Yijia; Flum, Jörg
2
2010
Lower bounds for kernelizations and other preprocessing procedures. Zbl 1268.68084
Chen, Yijia; Flum, Jörg; Müller, Moritz
7
2009
Subexponential time and fixed-parameter tractability: Exploiting the miniaturization mapping. Zbl 1169.68020
Chen, Yijia; Flum, Jörg
3
2009
The parameterized complexity of maximality and minimality problems. Zbl 1138.03034
Chen, Yijia; Flum, Jörg
4
2008
Logic and automata. History and perspectives. Dedicated to Wolfgang Thomas on the occasion of his sixtieth birthday. Zbl 1198.03006
Flum, Jörg; Grädel, Erich; Wilke, Thomas
2
2008
Subexponential time and fixed-parameter tractability: Exploiting the miniaturization mapping. Zbl 1179.68060
Chen, Yijia; Flum, Jörg
2
2007
Introduction to mathematical logic. 5th ed. (Einführung in die mathematische Logik.) Zbl 1139.03001
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
2
2007
An analysis of the W*-hierarchy. Zbl 1122.03040
Chen, Yijia; Flum, Jörg; Grohe, Martin
1
2007
Bounded fixed-parameter tractability and reducibility. Zbl 1149.03031
Downey, Rod; Flum, Jörg; Grohe, Martin; Weyer, Mark
1
2007
Parametrized complexity theory. Zbl 1143.68016
Flum, Jörg; Grohe, Martin
176
2006
Finite model theory. Hardback edition of the 2nd revised and enlarged edition 1999. Zbl 1081.03026
Ebbinghaus, Heinz-Dieter; Flum, Jörg
15
2006
Bounded fixed-parameter tractability and \(\log^{2}n\) nondeterministic bits. Zbl 1110.68050
Flum, Jörg; Grohe, Martin; Weyer, Mark
8
2006
On miniaturized problems in parameterized complexity theory. Zbl 1087.68034
Chen, Yijia; Flum, Jörg
7
2006
The parameterized complexity of maximality and minimality problems. Zbl 1154.68424
Chen, Yijia; Flum, Jörg
1
2006
Machine-based methods in parameterized complexity theory. Zbl 1142.68032
Chen, Yijia; Flum, Jörg; Grohe, Martin
10
2005
Model-checking problems as a basis for parameterized intractability. Zbl 1125.68055
Flum, Jörg; Grohe, Martin
6
2005
The parameterized complexity of counting problems. Zbl 1105.68042
Flum, Jörg; Grohe, Martin
46
2004
Parameterized complexity and subexponential time. Zbl 1169.68428
Flum, Jörg; Grohe, Martin
10
2004
Bounded fixed-parameter tractability and \(\log^{2} n\) nondeterministic bits. Zbl 1099.68642
Flum, Jörg; Grohe, Martin; Weyer, Mark
3
2004
Describing parameterized complexity classes. Zbl 1076.68031
Flum, Jörg; Grohe, Martin
19
2003
Machine characterizations of the classes of the W-hierarchy. Zbl 1116.68470
Chen, Yijia; Flum, Jörg
7
2003
Query evaluation via tree-decompositions. Zbl 1326.68123
Flum, Jörg; Frick, Markus; Grohe, Martin
33
2002
Describing parameterized complexity classes. Zbl 1054.68063
Flum, Jörg; Grohe, Martin
7
2002
Fixed-parameter tractability, definability, and model-checking. Zbl 0992.68060
Flum, Jörg; Grohe, Martin
23
2001
Query evaluation via tree-decompositions. Zbl 1047.68047
Flum, Jörg; Frick, Markus; Grohe, Martin
8
2001
On fixed-point logic with counting. Zbl 0960.03025
Flum, Jörg; Grohe, Martin
1
2000
Finite model theory. 2nd rev. and enlarged ed. Zbl 0932.03032
Ebbinghaus, Heinz-Dieter; Flum, Jörg
50
1999
Pseudo-finite homogeneity and saturation. Zbl 0962.03027
Flum, Jörg; Ziegler, Martin
2
1999
On the (infinite) model theory of fixed-point logics. Zbl 0926.03039
Flum, Jörg
1
1999
Introduction to mathematical logic. 4., aktualis. Aufl. (Einführung in die mathematische Logik.) Zbl 0852.03001
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
3
1996
Finite model theory. Zbl 0841.03014
Ebbinghaus, Heinz-Dieter; Flum, Jörg
45
1995
Mathematical logic. Transl. from the German by Ann S. Ferebee. 2nd ed. Zbl 0795.03001
Ebbinghaus, H.-D.; Flum, J.; Thomas, W.
57
1994
Einführung in die mathematische Logik. 3., vollst. überarb. und erw. Aufl. Zbl 0784.03002
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
4
1992
On bounded theories. Zbl 0783.03020
Flum, J.
1
1992
On topological spaces equivalent to ordinals. Zbl 0655.03026
Flum, Jörg; Martinez, Juan Carlos
1
1988
Mathematical logic. Transl. from the German by Ann S. Ferebee. Zbl 0556.03001
Ebbinghaus, H.-D.; Flum, J.; Thomas, W.
38
1984
Topological model theory. Zbl 0421.03024
Flum, Jörg; Ziegler, Martin
13
1980
Einführung in die mathematische Logik. Zbl 0399.03001
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
6
1978
First-order logic and its extensions. Zbl 0342.02007
Flum, J.
10
1975
On Horn theories. Zbl 0275.02046
Flum, Jörg
1
1974
Hanf numbers and well-ordering numbers. Zbl 0267.02039
Flum, Jörg
4
1972
Die Automorphismenmengen der Modelle einer L\(_{Q\varkappa}\)-Theorie. Zbl 0248.02060
Flum, Jörg
2
1972
Bemerkungen über minimale Modelle. Zbl 0246.02034
Flum, Jörg
1
1972
all top 5

Cited by 801 Authors

17 Flum, Jörg
17 Grohe, Martin
15 Saurabh, Saket
13 Chen, Yijia
12 Lokshtanov, Daniel
11 Fomin, Fedor V.
11 Marx, Dániel
11 Szeider, Stefan
10 Niedermeier, Rolf
10 Pilipczuk, Michał
9 Makowsky, Johann-Andreas
8 Dawar, Anuj
8 Gottlob, Georg
8 Gutin, Gregory Z.
8 Kratsch, Stefan
7 Fellows, Michael Ralph
7 Meeks, Kitty
7 Misra, Neeldhara
7 Müller, Moritz
7 Sorge, Manuel
7 Thilikos, Dimitrios M.
7 Yeo, Anders
7 Zhukovskiĭ, Maksim Evgen’evich
6 Bringsjord, Selmer
6 Greco, Gianluigi
6 Martins, Ana Teresa
6 Mathieson, Luke
6 Ordyniak, Sebastian
6 Pilipczuk, Marcin
6 Scarcello, Francesco
6 Van den Bussche, Jan
5 Chen, Jian-er
5 Curticapean, Radu
5 Dell, Holger
5 Downey, Rodney Graham
5 Ganian, Robert
5 Kanj, Iyad A.
5 Otto, Martin
5 Rosamond, Frances A.
5 Sikora, Florian
5 van Benthem, Johan F. A. K.
5 Vollmer, Heribert
5 Wang, Jianxin
4 Bodlaender, Hans L.
4 Chen, Hubie
4 Courcelle, Bruno
4 Cygan, Marek
4 Durand, Arnaud
4 Fichte, Johannes Klaus
4 Gaspers, Serge
4 Hella, Lauri T.
4 Hermelin, Danny
4 Kim, Eun Jung
4 Langer, Alexander
4 Mengel, Stefan
4 Nichterlein, André
4 Raman, Venkatesh
4 Rossmanith, Peter
4 Roth, Marc
4 Schlotter, Ildikó
4 Schwentick, Thomas
4 Sikdar, Somnath
4 Szałas, Andrzej
4 Villanger, Yngve
4 Weyer, Mark
4 Woltran, Stefan
4 Zehavi, Meirav
3 Andrés Montoya, Juan
3 Bannach, Max
3 Bonnet, Edouard
3 Chitnis, Rajesh Hemant
3 de Haan, Ronald
3 Dellunde, Pilar
3 Elberfeld, Michael
3 Fernau, Henning
3 Fürer, Martin
3 Goldberg, Leslie Ann
3 Golovach, Petr A.
3 Grädel, Erich
3 Jansen, Bart M. P.
3 Kneis, Joachim
3 Komusiewicz, Christian
3 Koponen, Vera
3 Kotek, Tomer
3 Kreutzer, Stephan
3 Krithika, R.
3 Kronegger, Martin
3 Kuusisto, Antti
3 Lampis, Michael
3 Liu, Yunlong
3 Martin, Barnaby D.
3 Mauá, Denis Deratani
3 Meier, Arne
3 Panolan, Fahad
3 Paul, Christophe
3 Philip, Geevarghese
3 Praveen, M.
3 Sahu, Abhishek
3 Sau, Ignasi
3 Schweikardt, Nicole
...and 701 more Authors
all top 5

Cited in 97 Serials

57 Theoretical Computer Science
47 Algorithmica
29 Theory of Computing Systems
28 Journal of Computer and System Sciences
23 Annals of Pure and Applied Logic
16 Information and Computation
13 Discrete Applied Mathematics
12 SIAM Journal on Computing
12 SIAM Journal on Discrete Mathematics
11 Studia Logica
10 Journal of Combinatorial Optimization
9 Artificial Intelligence
9 Archiv für Mathematische Logik und Grundlagenforschung
9 Journal of Philosophical Logic
8 Information Processing Letters
8 Annals of Mathematics and Artificial Intelligence
7 ACM Transactions on Computational Logic
6 Acta Informatica
6 The Journal of Symbolic Logic
6 Journal of Logic, Language and Information
5 Notre Dame Journal of Formal Logic
5 Journal of Automated Reasoning
5 Journal of Applied Logic
4 Discrete Mathematics
4 Synthese
4 International Journal of Foundations of Computer Science
4 Archive for Mathematical Logic
4 Journal of Applied Non-Classical Logics
4 Mathematical Logic Quarterly (MLQ)
4 Constraints
4 RAIRO. Theoretical Informatics and Applications
4 Logical Methods in Computer Science
3 Transactions of the American Mathematical Society
3 MSCS. Mathematical Structures in Computer Science
3 Journal of Graph Algorithms and Applications
3 Journal of Discrete Algorithms
3 Computer Science Review
2 Algebra Universalis
2 Journal of Algebra
2 European Journal of Combinatorics
2 Operations Research Letters
2 History and Philosophy of Logic
2 Journal of Symbolic Computation
2 Discrete & Computational Geometry
2 International Journal of Approximate Reasoning
2 Formal Methods in System Design
2 The Electronic Journal of Combinatorics
2 The Bulletin of Symbolic Logic
2 Doklady Mathematics
2 Journal of Scheduling
2 Journal of the ACM
2 International Game Theory Review
2 Central European Journal of Mathematics
2 Discrete Optimization
2 Formalized Mathematics
2 RAIRO. Theoretical Informatics and Applications
2 ACM Transactions on Computation Theory
1 Israel Journal of Mathematics
1 Mathematische Semesterberichte
1 Problems of Information Transmission
1 Rocky Mountain Journal of Mathematics
1 Czechoslovak Mathematical Journal
1 Fuzzy Sets and Systems
1 Journal of Combinatorial Theory. Series B
1 Journal of Graph Theory
1 Rendiconti del Seminario Matematico della Università di Padova
1 Semigroup Forum
1 Siberian Mathematical Journal
1 Bulletin of the Korean Mathematical Society
1 Order
1 Journal of Computer Science and Technology
1 New Generation Computing
1 International Journal of Parallel Programming
1 Machine Learning
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Algebra and Computation
1 Journal of Global Optimization
1 Linear Algebra and its Applications
1 Distributed Computing
1 Applied Categorical Structures
1 Combinatorics, Probability and Computing
1 Discussiones Mathematicae. Graph Theory
1 Science in China. Series E
1 Data Mining and Knowledge Discovery
1 LMS Journal of Computation and Mathematics
1 Journal of Mathematical Logic
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 International Studies in the Philosophy of Science
1 Theory and Practice of Logic Programming
1 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika
1 Journal of Algebra and its Applications
1 ACM Journal of Experimental Algorithmics
1 The Review of Symbolic Logic
1 Games
1 Journal of Logical and Algebraic Methods in Programming
1 Journal of Siberian Federal University. Mathematics & Physics
1 Prikladnaya Diskretnaya Matematika

Citations by Year