The SCEAS System
Navigation Menu

Search the dblp DataBase


Henrik Björklund: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Henrik Björklund
    State Verification. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:69-86 [Conf]
  2. Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
    Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:381-394 [Conf]
  3. Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
    A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games. [Citation Graph (0, 0)][DBLP]
    MFCS, 2004, pp:673-685 [Conf]
  4. Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
    A Discrete Subexponential Algorithm for Parity Games. [Citation Graph (0, 0)][DBLP]
    STACS, 2003, pp:663-674 [Conf]
  5. Henrik Björklund, Sergei G. Vorobyov
    A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 2007, v:155, n:2, pp:210-229 [Journal]
  6. Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
    Memoryless determinacy of parity and mean payoff games: a simple proof. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:310, n:1-3, pp:365-378 [Journal]
  7. Henrik Björklund, Sergei G. Vorobyov
    Combinatorial structure and randomized subexponential algorithms for infinite games. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:349, n:3, pp:347-360 [Journal]
  8. Henrik Björklund, Wim Martens, Thomas Schwentick
    Conjunctive Query Containment over Trees. [Citation Graph (0, 0)][DBLP]
    DBPL, 2007, pp:66-80 [Conf]
  9. Henrik Björklund, Thomas Schwentick
    On Notions of Regularity for Data Languages. [Citation Graph (0, 0)][DBLP]
    FCT, 2007, pp:88-99 [Conf]
  10. Henrik Björklund, Mikolaj Bojanczyk
    Bounded Depth Data Trees. [Citation Graph (0, 0)][DBLP]
    ICALP, 2007, pp:862-874 [Conf]
  11. Henrik Björklund, Mikolaj Bojanczyk
    Shuffle Expressions and Words with Nested Data. [Citation Graph (0, 0)][DBLP]
    MFCS, 2007, pp:750-761 [Conf]

  12. Algorithmic Properties of Millstream Systems. [Citation Graph (, )][DBLP]

  13. The Tractability Frontier for NFA Minimization. [Citation Graph (, )][DBLP]

  14. Incremental XPath evaluation. [Citation Graph (, )][DBLP]

  15. Optimizing Conjunctive Queries over Trees Using Schema Information. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002