Search Results - Thomas Colcombet

Refine Results
  1. 21
    Tree-walking automata cannot be determinized

    Tree-walking automata cannot be determinized by Bojańczyk, Mikołaj, Colcombet, Thomas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 22
    Tree-Walking Automata Do Not Recognize All Regular Languages

    Tree-Walking Automata Do Not Recognize All Regular Languages by Bojańczyk, MikoŁaj, Colcombet, Thomas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 23
    Playing Safe, Ten Years Later

    Playing Safe, Ten Years Later by Colcombet, Thomas, Fijalkow, Nathanaël, Horn, Florian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 24
    Optimal Transformations of Muller Conditions

    Optimal Transformations of Muller Conditions by Casares, Antonio, Colcombet, Thomas, Fijalkow, Nathanaël

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 25
    Automata Minimization: a Functorial Approach

    Automata Minimization: a Functorial Approach by Colcombet, Thomas, Petrişan, Daniela

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 26
    Controlling a random population

    Controlling a random population by Colcombet, Thomas, Fijalkow, Nathanaël, Ohlmann, Pierre

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 27
    Cost Automata, Safe Schemes, and Downward Closures

    Cost Automata, Safe Schemes, and Downward Closures by Barozzini, David, Clemente, Lorenzo, Colcombet, Thomas, Parys, Paweł

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 28
    The Theory of Universal Graphs for Infinite Duration Games

    The Theory of Universal Graphs for Infinite Duration Games by Colcombet, Thomas, Fijalkow, Nathanaël, Gawrychowski, Paweł, Ohlmann, Pierre

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 29
    Boundedness in languages of infinite words

    Boundedness in languages of infinite words by Bojańczyk, Mikołaj, Colcombet, Thomas

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 30
    Tree algebras and bisimulation-invariant MSO on finite graphs

    Tree algebras and bisimulation-invariant MSO on finite graphs by Colcombet, Thomas, Doumane, Amina, Kuperberg, Denis

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 31
    Automata and minimization

    Automata and minimization by Colcombet, Thomas, Petrişan, Daniela

    Published in SIGLOG news
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 32
    Regular Cost Functions, Part I: Logic and Algebra over Words

    Regular Cost Functions, Part I: Logic and Algebra over Words by Colcombet, Thomas

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 33
    Z-polyregular functions

    Z-polyregular functions by Colcombet, Thomas, Douéneau-Tabot, Gaëtan, Lopez, Aliaume

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 34
    Unambiguous separators for tropical tree automata

    Unambiguous separators for tropical tree automata by Colcombet, Thomas, Lombardy, Sylvain

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 35
    From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism

    From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism by Casares, Antonio, Colcombet, Thomas, Fijalkow, Nathanaël, Lehtinen, Karoliina

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 36
    On the size of good-for-games Rabin automata and its link with the memory in Muller games

    On the size of good-for-games Rabin automata and its link with the memory in Muller games by Casares, Antonio, Colcombet, Thomas, Lehtinen, Karoliina

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 37
    Parity games and universal graphs

    Parity games and universal graphs by Colcombet, Thomas, Fijalkow, Nathanaël

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 38
    First-order separation over countable ordinals

    First-order separation over countable ordinals by Colcombet, Thomas, Sam van Gool, Morvan, Rémi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 39
    On Reachability Problems for Low-Dimensional Matrix Semigroups

    On Reachability Problems for Low-Dimensional Matrix Semigroups by Colcombet, Thomas, Ouaknine, Joël, Semukhin, Pavel, Worrell, James

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 40
    Automata in the Category of Glued Vector Spaces

    Automata in the Category of Glued Vector Spaces by Colcombet, Thomas, Petrişan, Daniela

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: