[Book]
PODS’14 : Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems ; June 22-27, 2014, Snowbird, UT, USA, 2014

Hull, Richard (Editor)
Grohe, Martin (Editor)

[Journal Article]
Constraint Solving via Fractional Edge Covers
In: ACM transactions on algorithms : TALG, 11 (1), 4, 2014
[DOI: 10.1145/2636918]

Grohe, Martin (Corresponding author)
Marx, Dániel (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
On the Speed of Constraint Propagation and the Time Complexity of Arc Consistency Testing
In: Mathematical foundations of computer science 2013 : 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings / Krishnendu Chatterjee; Jirí Sgall (ed.), 159-170, 2013
[DOI: 10.1007/978-3-642-40313-2_16]

Berkholz, Christoph (Corresponding author)
Verbitsky, Oleg (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Characterisations of Nowhere Dense Graphs (Invited Talk)
In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013) : December 12 - 14, 2013, Guwahati, India / Anil Seth ... (eds.), 21-40, 2013
[DOI: 10.4230/LIPIcs.FSTTCS.2013.21]

Grohe, Martin (Corresponding author)
Kreutzer, Stephan (Corresponding author)
Siebertz, Sebastian (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
A Simple Algorithm for the Graph Minor Decomposition : Logic meets Structural Graph Theory-
In: Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms / Khanna Sanjeev, editor., 414-431, 2013
[DOI: 10.1137/1.9781611973105.30]

Grohe, Martin (Corresponding author)
Kawarabayaschi, Ken-ichi (Corresponding author)
Reed, Bruce A. (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Logical and Structural Approaches to the Graph Isomorphism Problem
In: Mathematical foundations of computer science 2013 : 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings / Krishnendu Chatterjee; Jirí Sgall (ed.), 42, 2013
[DOI: 10.1007/978-3-642-40313-2_4]

Grohe, Martin (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Bounds and Algorithms for Joins via Fractional Edge Covers
In: In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman ; [colloquim in celebration of his distinguished career ; Scotland, 27-29 October, 2013] / Val Tannen ... (eds.), 321-338, 2013
[DOI: 10.1007/978-3-642-41660-6_17]

Grohe, Martin (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement
In: Algorithms - ESA 2013 : 21st annual European symposium ; Sophia Antipolis, France, September 2 - 4, 2013 ; [organized as part of ALGO 2013] ; proceedings / Hans L. Bodlaender; Giuseppe F. Italiano (ed.), 145-156, 2013
[DOI: 10.1007/978-3-642-40450-4_13]

Berkholz, Christoph (Corresponding author)
Bonsma, Paul (Corresponding author)
Grohe, Martin (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Deciding the weak definability of Büchi definable tree languages
In: Computer Science Logic 2013 (CSL 2013) / Hrsg.: Simona Ronchi Della Rocca, 215-230, 2013
[DOI: 10.4230/LIPIcs.CSL.2013.215]

Colcombet, Thomas (Corresponding author)
Kuperberg, Denis (Corresponding author)
Löding, Christof (Corresponding author)
Vanden Boom, Michael (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Learning universally quantified invariants of linear data structures
In: Computer aided verification : 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 ; proceedings / Natasha Sharygina ... (ed.), 813-829, 2013
[DOI: 10.1007/978-3-642-39799-8_57]

Garg, Pranav
Löding, Christof
Madhusudan, P.
Neider, Daniel

[Contribution to a book, Contribution to a conference proceedings]
Decidability Results on the Existence of Lookahead Delegators for NFA
In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013) : December 12 - 14, 2013, Guwahati, India / Anil Seth ... (eds.), 327-338, 2013
[DOI: 10.4230/LIPIcs.FSTTCS.2013.327]

Löding, Christof
Repke, Stefan

[Journal Article]
Size bounds and query plans for relational joins
In: SIAM journal on computing, 42 (4), 1737-1767, 2013
[DOI: 10.1137/110859440]

Atserias, Albert (Corresponding author)
Grohe, Martin (Corresponding author)
Marx, Dániel (Corresponding author)

[Journal Article]
L-Recursion and a new Logic for Logarithmic Space
In: Logical methods in computer science : LMCS, 9 (1), 1-44, 2013
[DOI: 10.2168/LMCS-9(1:11)2013]

Grohe, Martin
Grussien, Berit
Hernich, Andre
Laubner, Bastian

[Report]
Mentoring in der Studieneingangsphase - Erfahrungen aus der Informatik der RWTH Aachen, 2012

Nagl, Manfred
Akbari, M.
Leonhardt, Thiemo
Frickenschmidt, Marlin Maya Lilith
Schalthöfer, Svenja

[Preprint]
L-Recursion and a new Logic for Logarithmic Space, 2012

Grohe, Martin
Grussien, Berit
Hernich, Andre
Laubner, Bastian

[Contribution to a book, Contribution to a conference proceedings]
Regularity Problems for Weak Pushdown ω-Automata and Games
In: Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27 - 31, 2012 ; proceedings / Branislav Rovan ... (eds.), 764-776, 2012

Löding, Christof
Repke, Stefan

[Contribution to a book]
Basics on tree automata
In: Modern applications of automata theory / ed. Deepak D'Souza; Priti Shankar, 79-109, 2012

Löding, Christof

[Journal Article]
Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors
In: Journal of the ACM, 59 (5), 27, 2012
[DOI: 10.1145/2371656.2371662]

Grohe, Martin

[Contribution to a book, Contribution to a conference proceedings]
Degrees of Lookahead in Context-free Infinite Games
In: Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL / EACSL (European Association for Computer Science Logic). Hrsg.: Marc Bezem, 264-276, 2011
[DOI: 10.4230/LIPIcs.CSL.2011.264]

Fridman, Wladimir
Löding, Christof
Zimmermann, Martin