|
25
|
Fixed-parameter tractability, definability, and model checking
– Jörg Flum, Martin Groheý
- 2001
|
|
4
|
Machine-based methods in parameterized complexity theory
– Yijia Chen, Jörg Flumý, Martin Groheþ
- 2005
|
|
24
|
The parameterized complexity of counting problems
– Jörg Flum, Martin Grohe
- 2002
|
|
8
|
Model-checking problems as a basis for parameterized intractability
– Jörg Flum, Martin Grohe
- 2004
|
|
4
|
Descriptive and Parameterized Complexity
– Martin Grohe
- 1999
|
|
1
|
Computational Aspects of First-Order Logic on Finite Structures
– Albert Atserias, Albert Atserias
- 1999
|
|
5
|
Existential Second-Order Logic over Strings
– Thomas Eiter, Georg Gottlob, Yuri Gurevich
- 1998
|
|
240
|
Complexity and Expressive Power of Logic Programming
– Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov
- 1997
|
|
1
|
Bounded fixed-parameter tractability and log² n nondeterministic bits
– Jörg Flum, Martin Grohe, Mark Weyer
- 2006
|
|
5
|
Logic, Graphs, and Algorithms
– Martin Grohe
- 2007
|
|
14
|
Complexity of Nonrecursive Logic Programs with Complex Values
– Sergei Vorobyov, Andrei Voronkov
- 1998
|
|
|
Structure and Specification as Sources of Complexity
– Anuj Dawar
- 2009
|
|
4
|
Complexity of expanding a finite structure and related tasks
– Antonina Kolokolova, Yongmei Liu, David Mitchell, Eugenia Ternovska
- 2006
|
|
|
The Finite Model Theory Toolbox of a . . .
– Leonid Libkin
- 2009
|
|
33
|
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
– Victor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi
- 2002
|
|
|
The Computational Complexity Column
– Eric Allender Rutgers, Eric Allender, Jack H. Lutz, Elvira Mayordomo
- 1998
|
|
3
|
Model-Checking Hierarchical Structures
– Markus Lohrey
- 2007
|
|
|
Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs
– Martin Grohe
- 2009
|
|
20
|
Logics with Aggregate Operators
– Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong
|
