| 2009 |
|---|
| 14 | EE | Henrik Björklund,
Wouter Gelade,
Marcel Marquardt,
Wim Martens:
Incremental XPath evaluation.
ICDT 2009: 162-173 |
| 2008 |
|---|
| 13 | EE | Henrik Björklund,
Wim Martens:
The Tractability Frontier for NFA Minimization.
ICALP (2) 2008: 27-38 |
| 12 | EE | Henrik Björklund,
Wim Martens,
Thomas Schwentick:
Optimizing Conjunctive Queries over Trees Using Schema Information.
MFCS 2008: 132-143 |
| 2007 |
|---|
| 11 | EE | Henrik Björklund,
Wim Martens,
Thomas Schwentick:
Conjunctive Query Containment over Trees.
DBPL 2007: 66-80 |
| 10 | EE | Henrik Björklund,
Thomas Schwentick:
On Notions of Regularity for Data Languages.
FCT 2007: 88-99 |
| 9 | EE | Henrik Björklund,
Mikolaj Bojanczyk:
Bounded Depth Data Trees.
ICALP 2007: 862-874 |
| 8 | EE | Henrik Björklund,
Mikolaj Bojanczyk:
Shuffle Expressions and Words with Nested Data.
MFCS 2007: 750-761 |
| 7 | EE | Henrik Björklund,
Sergei G. Vorobyov:
A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games.
Discrete Applied Mathematics 155(2): 210-229 (2007) |
| 2005 |
|---|
| 6 | EE | Henrik Björklund,
Sergei G. Vorobyov:
Combinatorial structure and randomized subexponential algorithms for infinite games.
Theor. Comput. Sci. 349(3): 347-360 (2005) |
| 2004 |
|---|
| 5 | EE | Henrik Björklund,
Sven Sandberg,
Sergei G. Vorobyov:
A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games.
MFCS 2004: 673-685 |
| 4 | EE | Henrik Björklund:
State Verification.
Model-Based Testing of Reactive Systems 2004: 69-86 |
| 3 | EE | Henrik Björklund,
Sven Sandberg,
Sergei G. Vorobyov:
Memoryless determinacy of parity and mean payoff games: a simple proof.
Theor. Comput. Sci. 310(1-3): 365-378 (2004) |
| 2003 |
|---|
| 2 | EE | Henrik Björklund,
Sven Sandberg,
Sergei G. Vorobyov:
Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework.
Ershov Memorial Conference 2003: 381-394 |
| 1 | EE | Henrik Björklund,
Sven Sandberg,
Sergei G. Vorobyov:
A Discrete Subexponential Algorithm for Parity Games.
STACS 2003: 663-674 |
