Jörg Flum

	2012
66		Yijia Chen, Jörg Flum, Moritz Müller: Hard Instances of Algorithms and Proof Systems. CiE 2012: 118-128
65		Jörg Flum, Moritz Müller: Some definitorial suggestions for parameterized proof complexity. Electronic Colloquium on Computational Complexity (ECCC) 19: 18 (2012)
	2011
64		Yijia Chen, Jörg Flum, Moritz Müller: Consistency and Optimality. CiE 2011: 61-70
63		Yijia Chen, Jörg Flum: Listings and Logics. LICS 2011: 165-174
62		Jörg Flum: Invariantization of Listings. MFCS 2011: 2
61		Yijia Chen, Jörg Flum: Listings and logics. Electronic Colloquium on Computational Complexity (ECCC) 18: 20 (2011)
60		Yijia Chen, Jörg Flum, Moritz Müller: Hard instances of algorithms and proof systems. Electronic Colloquium on Computational Complexity (ECCC) 18: 85 (2011)
59		Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller: Strong isomorphism reductions in complexity theory. J. Symb. Log. 76(4): 1381-1402 (2011)
58		Yijia Chen, Jörg Flum, Moritz Müller: Lower Bounds for Kernelizations and Other Preprocessing Procedures. Theory Comput. Syst. 48(4): 803-839 (2011)
	2010
57		Yijia Chen, Jörg Flum: On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT. CSL 2010: 200-214
56		Yijia Chen, Jörg Flum: A Logic for PTIME and a Parameterized Halting Problem. Fields of Logic and Computation 2010: 251-276
55		Yijia Chen, Jörg Flum: On p-Optimal Proof Systems and Logics for PTIME. ICALP (2) 2010: 321-332
54		Yijia Chen, Jörg Flum: On optimal proof systems and logics for PTIME. Electronic Colloquium on Computational Complexity (ECCC) 17: 8 (2010)
53		Yijia Chen, Jörg Flum: On the complexity of Gödel's proof predicate. J. Symb. Log. 75(1): 239-254 (2010)
52		Michael R. Fellows, Jörg Flum, Danny Hermelin, Moritz Müller, Frances A. Rosamond: W-Hierarchies Defined by Symmetric Gates. Theory Comput. Syst. 46(2): 311-339 (2010)
	2009
51		Yijia Chen, Jörg Flum, Moritz Müller: Lower Bounds for Kernelizations and Other Preprocessing Procedures. CiE 2009: 118-128
50		Yijia Chen, Jörg Flum: A Logic for PTIME and a Parameterized Halting Problem. LICS 2009: 397-406
49		Yijia Chen, Jörg Flum: Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping. J. Log. Comput. 19(1): 89-122 (2009)
	2008
48		Jörg Flum, Erich Grädel, Thomas Wilke: Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. Amsterdam University Press 2008
47		Yijia Chen, Jörg Flum: The parameterized complexity of maximality and minimality problems. Ann. Pure Appl. Logic 151(1): 22-61 (2008)
46		Yijia Chen, Jörg Flum: A logic for PTIME and a parameterized halting problem. Electronic Colloquium on Computational Complexity (ECCC) 15(083): (2008)
	2007
45		Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik (5. Aufl.). Spektrum Akademischer Verlag 2007: I-IX, 1-339
44		Yijia Chen, Jörg Flum: Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping. CSL 2007: 389-404
43		Jörg Flum: Parameterized Complexity and Logic. CiE 2007: 278-289
42		Yijia Chen, Jörg Flum: On Parameterized Path and Chordless Path Problems. IEEE Conference on Computational Complexity 2007: 250-263
41		Rod Downey, Jörg Flum, Martin Grohe, Mark Weyer: Bounded fixed-parameter tractability and reducibility. Ann. Pure Appl. Logic 148(1-3): 1-19 (2007)
40		Yijia Chen, Jörg Flum, Moritz Müller: Lower Bounds for Kernelizations. Electronic Colloquium on Computational Complexity (ECCC) 14(137): (2007)
39		Yijia Chen, Jörg Flum, Martin Grohe: An analysis of the W*-hierarchy. J. Symb. Log. 72(2): 513-534 (2007)
	2006
38		Yijia Chen, Jörg Flum: The Parameterized Complexity of Maximality and Minimality Problems. IWPEC 2006: 25-37
37		Jörg Flum, Martin Grohe, Mark Weyer: Bounded fixed-parameter tractability and log2n nondeterministic bits. J. Comput. Syst. Sci. 72(1): 34-71 (2006)
36		Yijia Chen, Jörg Flum: On miniaturized problems in parameterized complexity theory. Theor. Comput. Sci. 351(3): 314-336 (2006)
	2005
35		Jörg Flum, Martin Grohe: Model-Checking Problems as a Basis for Parameterized Intractability CoRR abs/cs/0502005: (2005)
34		Jörg Flum, Martin Grohe: Model-checking problems as a basis for parameterized intractability. Logical Methods in Computer Science 1(1): (2005)
33		Yijia Chen, Jörg Flum, Martin Grohe: Machine-based methods in parameterized complexity theory. Theor. Comput. Sci. 339(2-3): 167-199 (2005)
	2004
32		Jörg Flum, Martin Grohe, Mark Weyer: Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits. ICALP 2004: 555-567
31		Yijia Chen, Jörg Flum: On Miniaturized Problems in Parameterized Complexity Theory. IWPEC 2004: 108-120
30		Jörg Flum, Martin Grohe: Model-Checking Problems as a Basis for Parameterized Intractability. LICS 2004: 388-397
29		Jörg Flum, Martin Grohe: Parametrized Complexity and Subexponential Time (Column: Computational Complexity). Bulletin of the EATCS 84: 71-100 (2004)
28		Jörg Flum, Martin Grohe: The Parameterized Complexity of Counting Problems. SIAM J. Comput. 33(4): 892-922 (2004)
	2003
27		Yijia Chen, Jörg Flum: Machine Characterization of the Classes of the W-Hierarchy. CSL 2003: 114-127
26		Yijia Chen, Jörg Flum, Martin Grohe: Bounded Nondeterminism and Alternation in Parameterized Complexity Theory. IEEE Conference on Computational Complexity 2003: 13-29
25		Jörg Flum, Martin Grohe: Describing parameterized complexity classes. Inf. Comput. 187(2): 291-319 (2003)
	2002
24		Jörg Flum, Martin Grohe: The Parameterized Complexity of Counting Problems. FOCS 2002: 538-
23		Jörg Flum, Martin Grohe: Describing Parameterized Complexity Classes. STACS 2002: 359-371
22		Jörg Flum, Markus Frick, Martin Grohe: Query evaluation via tree-decompositions. J. ACM 49(6): 716-752 (2002)
	2001
21		Jörg Flum, Markus Frick, Martin Grohe: Query Evaluation via Tree-Decompositions. ICDT 2001: 22-38
20		Jörg Flum: Tree-Decompositions and the Model-Checking Problem. Bulletin of the EATCS 73: 78-98 (2001)
19		Jörg Flum, Martin Grohe: Fixed-Parameter Tractability, Definability, and Model-Checking. SIAM J. Comput. 31(1): 113-145 (2001)
	2000
18		Jörg Flum, Martin Grohe: On Fixed-Point Logic With Counting. J. Symb. Log. 65(2): 777-787 (2000)
17		Jörg Flum: Games, Kernels, and Antitone Operations. Order 17(1): 61-73 (2000)
16		Jörg Flum, Max Kubierschky, Bertram Ludäscher: Games and total Datalog¬ queries. Theor. Comput. Sci. 239(2): 257-276 (2000)
	1999
15		Jörg Flum, Mario Rodríguez-Artalejo: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings Springer 1999
14		Jörg Flum, Martin Grohe: Fixed-parameter tractability, definability, and model checking CoRR cs.CC/9910001: (1999)
13		Jörg Flum, Martin Ziegler: Pseudo-Finite Homogeneity and Saturation. J. Symb. Log. 64(4): 1689-1699 (1999)
12		Jörg Flum, Matthias Schiehlen, Jouko A. Väänänen: Quantifiers and Congruence Closure. Studia Logica 62(3): 315-340 (1999)
	1998
11		Jörg Flum: An Extension of the Lemma of Rasiowa and Sikorski. Math. Log. Q. 44: 509-514 (1998)
	1997
10		Jörg Flum, Max Kubierschky, Bertram Ludäscher: Total and Partial Well-Founded Datalog Coincide. ICDT 1997: 113-124
	1996
9		Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik (4. Aufl.). Spektrum Akadem. Verl. 1996: I-X, 1-309
	1995
8		Heinz-Dieter Ebbinghaus, Jörg Flum: Finite model theory. Springer 1995: I-XV, 1-327
	1994
7		Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Mathematical logic (2. ed.). Springer 1994: I-X, 1-289
	1992
6		Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik (3. Aufl.). BI-Wissenschaftsverlag 1992: I-X, 1-338
	1991
5		Jörg Flum: On Bounded Theories. CSL 1991: 111-118
	1988
4		Jörg Flum, Juan Carlos Martínez: On Topological Spaces Equivalent to Ordinals. J. Symb. Log. 53(3): 785-795 (1988)
	1984
3		Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Mathematical logic. Springer 1984: I-IX, 1-216
	1975
2		Jörg Flum: L(Q)-Preservation Theorems. J. Symb. Log. 40(3): 410-418 (1975)
	1971
1		Jörg Flum: A Remark on Infinitary Languages. J. Symb. Log. 36(3): 461-462 (1971)

Coauthor Index

1	Sam Buss	[59]
2	Yijia Chen	[26] [27] [31] [33] [36] [38] [39] [40] [42] [44] [46] [47] [49] [50] [51] [53] [54] [55] [56] [57] [58] [59] [60] [61] [63] [64] [66]
3	Rodney G. Downey (Rod Downey)	[41]
4	Heinz-Dieter Ebbinghaus	[3] [6] [7] [8] [9] [45]
5	Michael R. Fellows (Mike Fellows)	[52]
6	Markus Frick	[21] [22]
7	Sy-David Friedman (Sy D. Friedman)	[59]
8	Erich Grädel	[48]
9	Martin Grohe	[14] [18] [19] [21] [22] [23] [24] [25] [26] [28] [29] [30] [32] [33] [34] [35] [37] [39] [41]
10	Danny Hermelin	[52]
11	Max Kubierschky	[10] [16]
12	Bertram Ludäscher	[10] [16]
13	Juan Carlos Martínez	[4]
14	Moritz Müller	[40] [51] [52] [58] [59] [60] [64] [65] [66]
15	Mario Rodríguez-Artalejo	[15]
16	Frances A. Rosamond	[52]
17	Matthias Schiehlen	[12]
18	Wolfgang Thomas	[3] [6] [7] [9] [45]
19	Jouko A. Väänänen	[12]
20	Mark Weyer	[32] [37] [41]
21	Thomas Wilke	[48]
22	Martin Ziegler	[13]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page