Search Results - Thomas Colcombet

Refine Results
  1. 1
    Regular Cost Functions, Part I: Logic and Algebra over Words

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

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

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

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Automata Minimization: a Functorial approach

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

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    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

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Controlling a random population

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

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Boundedness in languages of infinite words

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

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Logics with rigidly guarded data tests

    Logics with rigidly guarded data tests by Puppis, Gabriele, Colcombet, Thomas, Ley, Clemens

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Transforming structures by set interpretations

    Transforming structures by set interpretations by Colcombet, Thomas, Löding, Christof

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Factorization forests for infinite words and applications to countable scattered linear orderings

    Factorization forests for infinite words and applications to countable scattered linear orderings by Colcombet, Thomas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Approximate Comparison of Functions Computed by Distance Automata

    Approximate Comparison of Functions Computed by Distance Automata by Colcombet, Thomas, Daviaud, Laure

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS

    AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS by CARTON, OLIVIER, COLCOMBET, THOMAS, PUPPIS, GABRIELE

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Controlling a Random Population

    Controlling a Random Population by Colcombet, Thomas, Fijalkow, Nathanaël, Ohlmann, Pierre

    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory

    Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory by Colcombet, Thomas

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Games with bound guess actions

    Games with bound guess actions by Colcombet, Thomas, Goller, Stefan

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    The monadic theory of linear orders: Invited Presentation at the Second International Symposium on Games, Automata, Logics and Formal Verification

    The monadic theory of linear orders: Invited Presentation at the Second International Symposium on Games, Automata, Logics and Formal Verification by Colcombet, Thomas

    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    The Complexity of Boundedness for Guarded Logics

    The Complexity of Boundedness for Guarded Logics by Benedikt, Michael, Ten Cate, Balder, Colcombet, Thomas, Boom, Michael Vanden

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    TREE-WALKING AUTOMATA DO NOT RECOGNIZE ALL REGULAR LANGUAGES: Special issue Dedicated to the Thirty-Seventh Annual ACM Symposium on Theory of Computing (STOC 2005)

    TREE-WALKING AUTOMATA DO NOT RECOGNIZE ALL REGULAR LANGUAGES: Special issue Dedicated to the Thirty-Seventh Annual ACM Symposium on Theory of Computing (STOC 2005) by BOJANCZYK, Mikolaj, COLCOMBET, Thomas

    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    On the positional determinacy of edge-labeled games

    On the positional determinacy of edge-labeled games by Colcombet, Thomas, Niwiński, Damian

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Logics with Rigidly Guarded Data Tests

    Logics with Rigidly Guarded Data Tests by Colcombet, Thomas, Ley, Clemens, Puppis, Gabriele

    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Regular Cost Functions over Finite Trees

    Regular Cost Functions over Finite Trees by Colcombet, T, Löding, Christof

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: