×

zbMATH — the first resource for mathematics

Colcombet, Thomas

Compute Distance To:
Author ID: colcombet.thomas Recent zbMATH articles by "Colcombet, Thomas"
Published as: Colcombet, Thomas
Documents Indexed: 53 Publications since 2000

Publications by Year

Citations contained in zbMATH

36 Publications have been cited 135 times in 97 Documents Cited by Year
The theory of stabilisation monoids and regular cost functions. Zbl 1248.68291
Colcombet, Thomas
9
2009
The non-deterministic Mostowski hierarchy and distance-parity automata. Zbl 1165.68038
Colcombet, Thomas; Löding, Christof
9
2008
Regular cost functions. I: Logic and algebra over words. Zbl 1280.03044
Colcombet, Thomas
7
2013
Factorization forests for infinite words and applications to countable scattered linear orderings. Zbl 1183.68336
Colcombet, Thomas
7
2010
Tree-walking automata do not recognize all regular languages. Zbl 1172.68030
Bojańczyk, Mikołaj; Colcombet, Thomas
6
2009
Tree-walking automata do not recognize all regular languages. Zbl 1192.68406
Bojanczyk, Mikolaj; Colcombet, Thomas
6
2005
Size-change abstraction and max-plus automata. Zbl 1425.68190
Colcombet, Thomas; Daviaud, Laure; Zuleger, Florian
5
2014
Deciding the weak definability of Büchi definable tree languages. Zbl 1356.68129
Colcombet, Thomas; Kuperberg, Denis; Löding, Christof; Vanden Boom, Michael
5
2013
Forms of determinism for automata. Zbl 1245.68123
Colcombet, Thomas
5
2012
Logical theories and compatible operations. Zbl 1244.03050
Blumensath, Achim; Colcombet, Thomas; Löding, Christof
5
2008
Factorisation forests for infinite words. Application to countable scattered linear orderings. Zbl 1135.68454
Colcombet, Thomas
5
2007
Transforming structures by set interpretations. Zbl 1128.03026
Colcombet, Thomas; Löding, Christof
5
2007
Tree-walking automata cannot be determinized. Zbl 1086.68070
Bojańczyk, Mikołaj; Colcombet, Thomas
5
2006
Enforcing trace properties by program transformation. Zbl 1323.68355
Colcombet, Thomas; Fradet, Pascal
5
2000
Unambiguity in automata theory. Zbl 1432.68222
Colcombet, Thomas
4
2015
Approximate comparison of distance automata. Zbl 1354.68186
Colcombet, Thomas; Daviaud, Laure
4
2013
Regular languages of words over countable linear orderings. Zbl 1333.68186
Carton, Olivier; Colcombet, Thomas; Puppis, Gabriele
4
2011
A tight lower bound for determinization of transition labeled Büchi automata. Zbl 1248.68292
Colcombet, Thomas; Zdanowski, Konrad
4
2009
Tree-walking automata cannot be determinized. Zbl 1098.68620
Bojańczyk, Mikołaj; Colcombet, Thomas
4
2004
Boundedness in languages of infinite words. Zbl 06816924
Bojańczyk, Mikołaj; Colcombet, Thomas
3
2017
Rewriting in the partial algebra of typed terms modulo AC. Zbl 1270.68124
Colcombet, Thomas
3
2003
On families of graphs having a decidable first order theory with reachability. Zbl 1056.68107
Colcombet, Thomas
3
2002
Approximate comparison of functions computed by distance automata. Zbl 1341.68123
Colcombet, Thomas; Daviaud, Laure
2
2016
Two-way cost automata and cost logics over infinite trees. Zbl 1401.68147
Blumensath, Achim; Colcombet, Thomas; Kuperberg, Denis; Parys, Paweł; Vanden Boom, Michael
2
2014
Asymptotic monadic second-order logic. Zbl 1426.03011
Blumensath, Achim; Carton, Olivier; Colcombet, Thomas
2
2014
On the use of guards for logics with data. Zbl 1343.03032
Colcombet, Thomas; Ley, Clemens; Puppis, Gabriele
2
2011
Green’s relations and their use in automata theory. Zbl 1330.68152
Colcombet, Thomas
2
2011
The nesting-depth of disjunctive \(\mu \)-calculus for tree languages and the limitedness problem. Zbl 1156.68451
Colcombet, Thomas; Löding, Christof
2
2008
A combinatorial theorem for trees. Applications to monadic logic and infinite structures. Zbl 1171.03325
Colcombet, Thomas
2
2007
On the positional determinacy of edge-labeled games. Zbl 1138.91015
Colcombet, Thomas; Niwiński, Damian
2
2006
An algebraic approach to MSO-definability on countable linear orderings. Zbl 06966190
Carton, Olivier; Colcombet, Thomas; Puppis, Gabriele
1
2018
Automata minimization: a functorial approach. Zbl 1433.68222
Colcombet, Thomas; Petrişan, Daniela
1
2017
Cost functions definable by min/max automata. Zbl 1388.68191
Colcombet, Thomas; Kuperberg, Denis; Manuel, Amaldev; Torunczyk, Szymon
1
2016
Limited set quantifiers over countable linear orderings. Zbl 1443.03006
Colcombet, Thomas; Sreejith, A. V.
1
2015
Playing safe. Zbl 1360.68583
Colcombet, Thomas; Fijalkow, Nathanaël; Horn, Florian
1
2014
Composition with algebra at the background. On a question by Gurevich and Rabinovich on the monadic theory of linear orderings. Zbl 1433.03094
Colcombet, Thomas
1
2013
An algebraic approach to MSO-definability on countable linear orderings. Zbl 06966190
Carton, Olivier; Colcombet, Thomas; Puppis, Gabriele
1
2018
Boundedness in languages of infinite words. Zbl 06816924
Bojańczyk, Mikołaj; Colcombet, Thomas
3
2017
Automata minimization: a functorial approach. Zbl 1433.68222
Colcombet, Thomas; Petrişan, Daniela
1
2017
Approximate comparison of functions computed by distance automata. Zbl 1341.68123
Colcombet, Thomas; Daviaud, Laure
2
2016
Cost functions definable by min/max automata. Zbl 1388.68191
Colcombet, Thomas; Kuperberg, Denis; Manuel, Amaldev; Torunczyk, Szymon
1
2016
Unambiguity in automata theory. Zbl 1432.68222
Colcombet, Thomas
4
2015
Limited set quantifiers over countable linear orderings. Zbl 1443.03006
Colcombet, Thomas; Sreejith, A. V.
1
2015
Size-change abstraction and max-plus automata. Zbl 1425.68190
Colcombet, Thomas; Daviaud, Laure; Zuleger, Florian
5
2014
Two-way cost automata and cost logics over infinite trees. Zbl 1401.68147
Blumensath, Achim; Colcombet, Thomas; Kuperberg, Denis; Parys, Paweł; Vanden Boom, Michael
2
2014
Asymptotic monadic second-order logic. Zbl 1426.03011
Blumensath, Achim; Carton, Olivier; Colcombet, Thomas
2
2014
Playing safe. Zbl 1360.68583
Colcombet, Thomas; Fijalkow, Nathanaël; Horn, Florian
1
2014
Regular cost functions. I: Logic and algebra over words. Zbl 1280.03044
Colcombet, Thomas
7
2013
Deciding the weak definability of Büchi definable tree languages. Zbl 1356.68129
Colcombet, Thomas; Kuperberg, Denis; Löding, Christof; Vanden Boom, Michael
5
2013
Approximate comparison of distance automata. Zbl 1354.68186
Colcombet, Thomas; Daviaud, Laure
4
2013
Composition with algebra at the background. On a question by Gurevich and Rabinovich on the monadic theory of linear orderings. Zbl 1433.03094
Colcombet, Thomas
1
2013
Forms of determinism for automata. Zbl 1245.68123
Colcombet, Thomas
5
2012
Regular languages of words over countable linear orderings. Zbl 1333.68186
Carton, Olivier; Colcombet, Thomas; Puppis, Gabriele
4
2011
On the use of guards for logics with data. Zbl 1343.03032
Colcombet, Thomas; Ley, Clemens; Puppis, Gabriele
2
2011
Green’s relations and their use in automata theory. Zbl 1330.68152
Colcombet, Thomas
2
2011
Factorization forests for infinite words and applications to countable scattered linear orderings. Zbl 1183.68336
Colcombet, Thomas
7
2010
The theory of stabilisation monoids and regular cost functions. Zbl 1248.68291
Colcombet, Thomas
9
2009
Tree-walking automata do not recognize all regular languages. Zbl 1172.68030
Bojańczyk, Mikołaj; Colcombet, Thomas
6
2009
A tight lower bound for determinization of transition labeled Büchi automata. Zbl 1248.68292
Colcombet, Thomas; Zdanowski, Konrad
4
2009
The non-deterministic Mostowski hierarchy and distance-parity automata. Zbl 1165.68038
Colcombet, Thomas; Löding, Christof
9
2008
Logical theories and compatible operations. Zbl 1244.03050
Blumensath, Achim; Colcombet, Thomas; Löding, Christof
5
2008
The nesting-depth of disjunctive \(\mu \)-calculus for tree languages and the limitedness problem. Zbl 1156.68451
Colcombet, Thomas; Löding, Christof
2
2008
Factorisation forests for infinite words. Application to countable scattered linear orderings. Zbl 1135.68454
Colcombet, Thomas
5
2007
Transforming structures by set interpretations. Zbl 1128.03026
Colcombet, Thomas; Löding, Christof
5
2007
A combinatorial theorem for trees. Applications to monadic logic and infinite structures. Zbl 1171.03325
Colcombet, Thomas
2
2007
Tree-walking automata cannot be determinized. Zbl 1086.68070
Bojańczyk, Mikołaj; Colcombet, Thomas
5
2006
On the positional determinacy of edge-labeled games. Zbl 1138.91015
Colcombet, Thomas; Niwiński, Damian
2
2006
Tree-walking automata do not recognize all regular languages. Zbl 1192.68406
Bojanczyk, Mikolaj; Colcombet, Thomas
6
2005
Tree-walking automata cannot be determinized. Zbl 1098.68620
Bojańczyk, Mikołaj; Colcombet, Thomas
4
2004
Rewriting in the partial algebra of typed terms modulo AC. Zbl 1270.68124
Colcombet, Thomas
3
2003
On families of graphs having a decidable first order theory with reachability. Zbl 1056.68107
Colcombet, Thomas
3
2002
Enforcing trace properties by program transformation. Zbl 1323.68355
Colcombet, Thomas; Fradet, Pascal
5
2000
all top 5

Cited by 164 Authors

8 Skrzypczak, Michał
6 Colcombet, Thomas
5 Bojańczyk, Mikołaj
5 Puppis, Gabriele
4 Daviaud, Laure
4 Héam, Pierre-Cyrille
4 Kuperberg, Denis
4 Michalewski, Henryk
4 Place, Thomas
3 Bedon, Nicolas
3 Muscholl, Anca
3 Penelle, Vincent
2 Allender, Eric W.
2 Bárány, Vince
2 Blumensath, Achim
2 Carton, Olivier
2 Cavallari, Filippo
2 Fijalkow, Nathanaël
2 Fradet, Pascal
2 Gauwin, Olivier
2 Gimbert, Hugo
2 Hugot, Vincent
2 Jirásek, Jozef jun.
2 Jirásková, Galina
2 Kelmendi, Edon
2 Kouchnarenko, Olga
2 Krebs, Andreas
2 Lugiez, Denis
2 McKenzie, Pierre
2 Nicaud, Cyril
2 Parys, Paweł
2 Rabinovich, Alexander
2 Schmitz, Sylvain
2 Schwentick, Thomas
2 Šebej, Juraj
2 Sreejith, A V
2 Veith, Helmut
2 Zeitoun, Marc
2 Zimmermann, Martín G.
2 Zuleger, Florian
1 Abdulla, Parosh Aziz
1 Aguilar, José Lisandro
1 Alpuente, María
1 Amrane, Amazigh
1 Arafailova, Ekaterina
1 Babari, Parvaneh
1 Ballis, Demis
1 Barozzini, David
1 Baschenis, Félix
1 Beldiceanu, Nicolas
1 Ben-Amram, Amir M.
1 Benedikt, Michael A.
1 Berglund, Martin
1 Bès, Alexis
1 Bianco, Alessandro
1 Björklund, Henrik
1 Björklund, Johanna
1 Boker, Udi
1 Bouajjani, Ahmed
1 Bradfield, Julian Charles
1 Chatterjee, Krishnendu
1 Courcelle, Bruno
1 Dal Zilio, Silvano
1 Datta, Samir
1 de Frutos-Escrig, David
1 Della Monica, Dario
1 Djoko Djoko, Simplice
1 Douence, Rémi
1 Doyen, Laurent
1 Droste, Manfred
1 Facchini, Alessandro
1 Faella, Marco
1 Gehrke, Mai
1 Gire, Françoise
1 Guillon, Bruno
1 Guillon, Pierre
1 Ha, Stéphane Hong Tuan
1 Hague, Matthew
1 Hamilton, Geoff W.
1 Holzer, Andreas
1 Horn, Florian
1 Jain, Sanjay
1 Johnson, Marianne
1 Kaiser, Lukasz
1 Karandikar, Prateek
1 Khoussainov, Bakhadyr M.
1 Klin, Bartek
1 Kołodziejczyk, Leszek Aleksander
1 Kozen, Dexter C.
1 Krčál, Pavel
1 Kunc, Michal
1 Kupferman, Orna
1 Lehtinen, Karoliina
1 Libkin, Leonid O.
1 Lin, Anthony Widjaja
1 Löding, Christof
1 Lohrey, Markus
1 Majumdar, Anirban
1 Maneth, Sebastian
1 Manuel, Amaldev
...and 64 more Authors

Citations by Year