Showing 1 - 7 results of 7 for search 'Igor Walukiewicz', query time: 0.03s Refine Results
  1. 1
    Positional Determinacy of Games with Infinitely Many Priorities

    Positional Determinacy of Games with Infinitely Many Priorities by Erich Graedel, Igor Walukiewicz

    Published 2006-11-01
    Get full text
    Article
  2. 2
    Typing weak MSOL properties

    Typing weak MSOL properties by Sylvain Salvati, Igor Walukiewicz

    Published 2017-03-01
    Get full text
    Article
  3. 3
    Weak Alternating Timed Automata

    Weak Alternating Timed Automata by Pawel Parys, Igor Walukiewicz

    Published 2012-09-01
    Get full text
    Article
  4. 4
    Using models to model-check recursive schemes

    Using models to model-check recursive schemes by Sylvain Salvati, Igor Walukiewicz

    Published 2015-06-01
    Get full text
    Article
  5. 5
    A lower bound on web services composition

    A lower bound on web services composition by Anca Muscholl, Igor Walukiewicz

    Published 2008-05-01
    Get full text
    Article
  6. 6
    Wreath Products of Forest Algebras, with Applications to Tree Logics

    Wreath Products of Forest Algebras, with Applications to Tree Logics by Mikolaj Bojanczyk, Igor Walukiewicz, Howard Straubing

    Published 2012-09-01
    Get full text
    Article
  7. 7
    Soundness in negotiations

    Soundness in negotiations by Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz

    Published 2018-01-01
    Get full text
    Article

Search Tools: