| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Martin Grohe Rodney G. Downey , Martin Grohe, Gerhard J. Woeginger : Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005 Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany 2006 Martin Grohe, Dániel Marx : Constraint solving via fractional edge covers. SODA 2006 : 289-298 Yijia Chen , Martin Grohe: An Isomorphism between Subexponential and Parameterized Complexity Theory Electronic Colloquium on Computational Complexity (ECCC) (011): (2006) Rodney G. Downey , Martin Grohe, Gerhard J. Woeginger : 05301 Abstracts Collection - Exact Algorithms and Fixed-Parameter Tractability. Exact Algorithms and Fixed-Parameter Tractability 2005 Rodney G. Downey , Martin Grohe, Gerhard J. Woeginger : 05301 Summary - Exact Algorithms and Fixed-Parameter Tractability. Exact Algorithms and Fixed-Parameter Tractability 2005 Martin Grohe, Christoph Koch , Nicole Schweikardt : The Complexity of Querying External Memory and Streaming Data. FCT 2005 : 1-16 Martin Grohe, Christoph Koch , Nicole Schweikardt : Tight Lower Bounds for Query Processing on Streaming and External Memory Data. ICALP 2005 : 1076-1088 Albert Atserias , Anuj Dawar , Martin Grohe: Preservation Under Extensions on Well-Behaved Finite Structures. ICALP 2005 : 1437-1449 Martin Grohe, Stephan Kreutzer , Nicole Schweikardt : The Expressive Power of Two-Variable Least Fixed-Point Logics. MFCS 2005 : 422-434 Martin Grohe, Nicole Schweikardt : Lower bounds for sorting with few random accesses to external memory. PODS 2005 : 238-249 Georg Gottlob , Martin Grohe, Nysret Musliu , Marko Samer , Francesco Scarcello : Hypertree Decompositions: Structure, Algorithms, and Applications. WG 2005 : 1-15 Jörg Flum , Martin Grohe: Model-checking problems as a basis for parameterized intractability. Logical Methods in Computer Science 1 (1): (2005) Martin Grohe, Nicole Schweikardt : The succinctness of first-order logic on linear orders. Logical Methods in Computer Science 1 (1): (2005) Yijia Chen , Jörg Flum , Martin Grohe: Machine-based methods in parameterized complexity theory. Theor. Comput. Sci. 339 (2-3): 167-199 (2005) Andrei A. Bulatov , Martin Grohe: The complexity of partition functions. Theor. Comput. Sci. 348 (2-3): 148-186 (2005) Andrei A. Bulatov , Martin Grohe: The Complexity of Partition Functions. ICALP 2004 : 294-306 Jörg Flum , Martin Grohe, Mark Weyer : Bounded Fixed-Parameter Tractability and log 2 n Nondeterministic Bits. ICALP 2004 : 555-567 Jörg Flum , Martin Grohe: Model-Checking Problems as a Basis for Parameterized Intractability. LICS 2004 : 388-397 Martin Grohe, Nicole Schweikardt : The Succinctness of First-Order Logic on Linear Orders. LICS 2004 : 438-447 Martin Grohe, Stefan Wöhrle : An existential locality theorem. Ann. Pure Appl. Logic 129 (1-3): 131-148 (2004) Markus Frick , Martin Grohe: The complexity of first-order and monadic second-order logic revisited. Ann. Pure Appl. Logic 130 (1-3): 3-31 (2004) Jörg Flum , Martin Grohe: Parametrized Complexity and Subexponential Time (Column: Computational Complexity). Bulletin of the EATCS 84 : 71-100 (2004) Martin Grohe: Computing crossing numbers in quadratic time. J. Comput. Syst. Sci. 68 (2): 285-302 (2004) Jörg Flum , Martin Grohe: The Parameterized Complexity of Counting Problems. SIAM J. Comput. 33 (4): 892-922 (2004) Martin Grohe, György Turán : Learnability and Definability in Trees and Similar Structures. Theory Comput. Syst. 37 (1): 193-220 (2004) Martin Grohe, Nicole Schweikardt : Comparing the Succinctness of Monadic Query Languages over Finite Trees. CSL 2003 : 226-240 Martin Grohe: The Complexity of Homomorphism and Constraint Satisfaction Problems Seen from the Other Side. FOCS 2003 : 552-561 Markus Frick , Martin Grohe, Christoph Koch : Query Evaluation on Compressed Trees (Extended Abstract). LICS 2003 : 188- Peter Buneman , Martin Grohe, Christoph Koch : Path Queries on Compressed XML. VLDB 2003 : 141-152 Martin Grohe: Local Tree-Width, Excluded Minors, and Approximation Algorithms. Combinatorica 23 (4): 613-632 (2003) Jörg Flum , Martin Grohe: Describing parameterized complexity classes. Inf. Comput. 187 (2): 291-319 (2003) Michael Benedikt , Martin Grohe, Leonid Libkin , Luc Segoufin : Reachability and connectivity queries in constraint databases. J. Comput. Syst. Sci. 66 (1): 169-206 (2003) Jörg Flum , Martin Grohe: The Parameterized Complexity of Counting Problems. FOCS 2002 : 538- Markus Frick , Martin Grohe: The Complexity of First-Order and Monadic Second-Order Logic Revisited. LICS 2002 : 215-224 Jörg Flum , Martin Grohe: Describing Parameterized Complexity Classes. STACS 2002 : 359-371 Martin Grohe, György Turán : Learnability and Definability in Trees and Similar Structures. STACS 2002 : 645-658 Martin Grohe, Luc Segoufin : On first-order topological queries. ACM Trans. Comput. Log. 3 (3): 336-358 (2002) Martin Grohe: Large Finite Structures with Few Lk-Types. Inf. Comput. 179 (2): 250-278 (2002) Jörg Flum , Markus Frick , Martin Grohe: Query evaluation via tree-decompositions. J. ACM 49 (6): 716-752 (2002) Martin Grohe: Parameterized Complexity for the Database Theorist. SIGMOD Record 31 (4): 86-96 (2002) Martin Grohe, Stefan Wöhrle : An Existential Locality Theorem. CSL 2001 : 99-114 Jörg Flum , Markus Frick , Martin Grohe: Query Evaluation via Tree-Decompositions. ICDT 2001 : 22-38 Martin Grohe: The Parameterized Complexity of Database Queries. PODS 2001 : 82-92 Martin Grohe: Generalized Model-Checking Problems for First-Order Logic. STACS 2001 : 12-26 Martin Grohe: Computing crossing numbers in quadratic time. STOC 2001 : 231-236 Martin Grohe, Thomas Schwentick , Luc Segoufin : When is the evaluation of conjunctive queries tractable? STOC 2001 : 657-666 Markus Frick , Martin Grohe: Deciding first-order properties of locally tree-decomposable structures. J. ACM 48 (6): 1184-1206 (2001) Jörg Flum , Martin Grohe: Fixed-Parameter Tractability, Definability, and Model-Checking. SIAM J. Comput. 31 (1): 113-145 (2001) Martin Grohe, Luc Segoufin : On First-Order Topological Queries. LICS 2000 : 349-360 Michael Benedikt , Martin Grohe, Leonid Libkin , Luc Segoufin : Reachability and Connectivity Queries in Constraint Databases. PODS 2000 : 104-115 Martin Grohe: Isomorphism testing for embeddable graphs through definability. STOC 2000 : 63-72 Martin Grohe, Thomas Schwentick : Locality of order-invariant first-order formulas. ACM Trans. Comput. Log. 1 (1): 112-130 (2000) Markus Frick , Martin Grohe: Deciding first-order properties of locally tree-decomposable structures CoRR cs.DS/0004007 : (2000) Martin Grohe: Computing Crossing Numbers in Quadratic Time CoRR cs.DS/0009010 : (2000) Jörg Flum , Martin Grohe: On Fixed-Point Logic With Counting. J. Symb. Log. 65 (2): 777-787 (2000) Martin Grohe: Descriptive and Parameterized Complexity. CSL 1999 : 14-31 Markus Frick , Martin Grohe: Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs. ICALP 1999 : 331-340 Martin Grohe, Julian Mariño : Definability and Descriptive Complexity on Databases of Bounded Tree-Width. ICDT 1999 : 70-82 Jörg Flum , Martin Grohe: Fixed-parameter tractability, definability, and model checking CoRR cs.CC/9910001 : (1999) Martin Grohe: Equivalence in Finite-Variable Logics is Complete for Polynomial Time. Combinatorica 19 (4): 507-532 (1999) Martin Grohe: Fixed-Point Logics on Planar Graphs. LICS 1998 : 6-15 Martin Grohe, Thomas Schwentick : Locality of Order-Invariant First-Order Formulas. MFCS 1998 : 437-445 Martin Grohe: Finite variable logics in descriptive complexity theory. Bulletin of Symbolic Logic 4 (4): 345-398 (1998) Martin Grohe: Canonization for L k -equivalence is Hard. CSL 1997 : 220-238 Martin Grohe: Large Finite Structures with Few L k -Types. LICS 1997 : 216-227 Martin Grohe: Existential Least Fixed-Point Logic and its Relatives. J. Log. Comput. 7 (2): 205-228 (1997) Martin Grohe: Equivalence in Finite-Variable Logics is Complete for Polynomial Time. FOCS 1996 : 264-273 Martin Grohe: Arity Hierarchies. Ann. Pure Appl. Logic 82 (2): 103-163 (1996) Martin Grohe: Some Remarks on Finite Löwenheim-Skolem Theorems. Math. Log. Q. 42 : 569-571 (1996) Martin Grohe: Complete Problems for Fixed-Point Logics. J. Symb. Log. 60 (2): 517-527 (1995) Martin Grohe: Bounded-Arity Hierarchies in Fixed-Point Logics. CSL 1993 : 150-164 1 [ 64 ] 2 [ 22 ] [ 40 ] 3 [ 56 ] [ 57 ] 4 [ 43 ] 5 [ 58 ] [ 69 ] 6 [ 64 ] 7 [ 67 ] [ 68 ] [ 71 ] 8 [ 13 ] [ 17 ] [ 24 ] [ 30 ] [ 33 ] [ 37 ] [ 39 ] [ 41 ] [ 48 ] [ 50 ] [ 54 ] [ 55 ] [ 58 ] [ 60 ] 9 [ 15 ] [ 19 ] [ 25 ] [ 30 ] [ 33 ] [ 38 ] [ 44 ] [ 51 ] 10 [ 61 ] 11 [ 43 ] [ 44 ] [ 65 ] [ 66 ] 12 [ 63 ] 13 [ 22 ] [ 40 ] 14 [ 14 ] 15 [ 70 ] 16 [ 61 ] 17 [ 61 ] 18 [ 61 ] 19 [ 46 ] [ 53 ] [ 59 ] [ 62 ] [ 63 ] [ 65 ] [ 66 ] 20 [ 10 ] [ 20 ] [ 26 ] 21 [ 22 ] [ 23 ] [ 26 ] [ 35 ] [ 40 ] 22 [ 36 ] [ 47 ] 23 [ 55 ] 24 [ 67 ] [ 68 ] [ 71 ] 25 [ 31 ] [ 52 ]  ©2006 Association for Computing Machinery |
