Thomas Colcombet

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Tree algebras and bisimulation-invariant MSO on finite graphs	2024	Thomas Colcombet Amina Doumane Denis Kuperberg
+	From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism	2024	Antonio Casares Thomas Colcombet Nathanaël Fijalkow Karoliina Lehtinen
+	ℤ-polyregular functions	2023	Thomas Colcombet Gaëtan Douéneau-Tabot Aliaume Lopez
+ PDF Chat	Cost Automata, Safe Schemes, and Downward Closures	2023	David Barozzini Lorenzo Clemente Thomas Colcombet Paweł Parys
+	From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism	2023	Antonio Casares Thomas Colcombet Nathanaël Fijalkow Karoliina Lehtinen
+ PDF Chat	The Theory of Universal Graphs for Infinite Duration Games	2022	Thomas Colcombet Nathanaël Fijalkow Paweł Gawrychowski Pierre Ohlmann
+ PDF Chat	A Complexity Approach to Tree Algebras: the Polynomial Case	2022	Thomas Colcombet Arthur Jaquard
+ PDF Chat	On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games	2022	Antonio Casares Thomas Colcombet Karoliina Lehtinen
+	On the size of good-for-games Rabin automata and its link with the memory in Muller games	2022	Antonio Casares Thomas Colcombet Karoliina Lehtinen
+ PDF Chat	First-order separation over countable ordinals	2022	Thomas Colcombet Sam van Gool Rémi Morvan
+	First-order separation over countable ordinals	2022	Thomas Colcombet Sam van Gool Rémi Morvan
+	Z-polyregular functions	2022	Thomas Colcombet Gaëtan Douéneau-Tabot Aliaume Lopez
+	Playing Safe, Ten Years Later	2022	Thomas Colcombet Nathanaël Fijalkow Florian Horn
+ PDF Chat	Controlling a random population	2021	Thomas Colcombet Nathanaël Fijalkow Pierre Ohlmann
+ PDF Chat	Controlling a random population	2021	Pierre Ohlmann Nathanaël Fijalkow Thomas Colcombet
+ PDF Chat	Optimal transformations of Muller conditions	2021	Antonio Casares Thomas Colcombet Nathanaël Fijalkow
+	The Theory of Universal Graphs for Infinite Duration Games	2021	Thomas Colcombet Nathanaël Fijalkow Paweł Gawrychowski Pierre Ohlmann
+ PDF Chat	Controlling a Random Population	2020	Thomas Colcombet Nathanaël Fijalkow Pierre Ohlmann
+	Learning automata and transducers: a categorical approach	2020	Thomas Colcombet Daniela Petrişan Riccardo Stabile
+	Optimal Transformations of Muller Conditions	2020	Antonio Casares Thomas Colcombet Nathanaël Fijalkow
+ PDF Chat	Parity games and universal graphs	2019	Thomas Colcombet Nathanaël Fijalkow
+	On Reachability Problems for Low-Dimensional Matrix Semigroups	2019	Thomas Colcombet Joël Ouaknine Pavel Semukhin James Worrell
+	On Reachability Problems for Low-Dimensional Matrix Semigroups	2019	Thomas Colcombet Joël Ouaknine Pavel Semukhin James Worrell
+	Unambiguous separators for tropical tree automata	2019	Thomas Colcombet Sylvain Lombardy
+ PDF Chat	AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS	2018	Olivier Carton Thomas Colcombet Gabriele Puppis
+	Parity games and universal graphs	2018	Thomas Colcombet Nathanaël Fijalkow
+	Automata in the Category of Glued Vector Spaces.	2017	Thomas Colcombet Daniela Petrişan
+	Boundedness in languages of infinite words	2017	Thomas Colcombet Mikołaj Bojańczyk
+ PDF Chat	Perfect half space games	2017	Thomas Colcombet Marcin Jurdziński Ranko Lazić Sylvain Schmitz
+	An algebraic approach to MSO-definability on countable linear orderings.	2017	Olivier Carton Thomas Colcombet Gabriele Puppis
+	Boundedness in languages of infinite words	2017	Mikołaj Bojańczyk Thomas Colcombet
+	Automata Minimization: a Functorial Approach	2017	Thomas Colcombet Daniela Petrişan
+	Automata in the Category of Glued Vector Spaces	2017	Thomas Colcombet Daniela Petrişan
+	Automata Minimization: a Functorial Approach	2017	Thomas Colcombet Daniela Petrişan
+ PDF Chat	Logics with rigidly guarded data tests	2015	Gabriele Puppis Thomas Colcombet Clemens Ley
+ PDF Chat	Asymptotic Monadic Second-Order Logic	2014	Achim Blumensath Olivier Carton Thomas Colcombet
+	Graph-theoretical Bounds on the Entangled Value of Non-local Games	2014	Thomas Colcombet Denis Kuperberg Christof Löding Michael Vanden Boom
+ PDF Chat	Regular Cost Functions, Part I: Logic and Algebra over Words	2013	Thomas Colcombet
+	Composition with Algebra at the Background - On a Question by Gurevich and Rabinovich on the Monadic Theory of Linear Orderings.	2013	Thomas Colcombet
+	The factorisation forest theorem	2012	Thomas Colcombet
+	A Combinatorial Theorem for Trees	2007	Thomas Colcombet
+ PDF Chat	Transforming structures by set interpretations	2007	Thomas Colcombet Christof Löding
+	On factorisation forests	2007	Thomas Colcombet
+	On factorisation forests	2007	Thomas Colcombet
+	On the positional determinacy of edge-labeled games	2005	Thomas Colcombet Damian Niwiński
+	Representations and properties of infinite structures	2004	Thomas Colcombet

Common Coauthors

Coauthor	Papers Together
Nathanaël Fijalkow	12
Antonio Casares	6
Pierre Ohlmann	5
Daniela Petrişan	4
Karoliina Lehtinen	4
Gabriele Puppis	3
Olivier Carton	3
Joël Ouaknine	2
Christof Löding	2
Gaëtan Douéneau-Tabot	2
James Worrell	2
Mikołaj Bojańczyk	2
Pavel Semukhin	2
Rémi Morvan	2
Aliaume Lopez	2
Paweł Gawrychowski	2
Florian Horn	1
Riccardo Stabile	1
Clemens Ley	1
David Barozzini	1
Sam van Gool	1
Ranko Lazić	1
Denis Kuperberg	1
Arthur Jaquard	1
Michael Vanden Boom	1
Sylvain Schmitz	1
Daniela Petrişan	1
Damian Niwiński	1
Sylvain Lombardy	1
Achim Blumensath	1
Marcin Jurdziński	1
Lorenzo Clemente	1
Denis Kuperberg	1
Amina Doumane	1
Paweł Parys	1
Sam van Gool	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	The Monadic Theory of Order	1975	Saharon Shelah	9
+ PDF Chat	Regular Cost Functions, Part I: Logic and Algebra over Words	2013	Thomas Colcombet	5
+	On finite monoids having only trivial subgroups	1965	M. P. Schützenberger	4
+	Factorization forests of finite height	1990	Imre Simon	4
+	Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors	1913	L. E. Dickson	3
+ PDF Chat	From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata	2006	Nir Piterman	3
+	Monadic theory of order and topology in ZFC	1982	Yuri Gurevich Saharon Shelah	3
+ PDF Chat	Decisive Markov Chains	2007	Parosh Aziz Abdulla Noomene Ben Henda Richard Mayr	3
+	The theory of well-quasi-ordering: A frequently discovered concept	1972	Joseph B. Kruskal	3
+ PDF Chat	Two Recursively Inseparable Problems for Probabilistic Automata	2014	Nathanaël Fijalkow Hugo Gimbert Florian Horn Youssouf Oualhadj	3
+ PDF Chat	An interesting combinatorial method in the theory of locally finite semigroups	1971	Thomas K. Brown	3
+ PDF Chat	Controlling a population	2019	Nathalie Bertrand Miheer Dewaskar Blaise Genest Hugo Gimbert	2
+	The Reactive Synthesis Competition (SYNTCOMP): 2018-2021	2022	Swen Jacobs Guillermo A. Pérez Remco Abraham Véronique Bruyère Michaël Cadilhac Maximilien Colange Charly Delfosse Tom van Dijk Alexandre Duret-Lutz Peter Faymonville	2
+	On the growth rate of polyregular functions	2022	Mikołaj Bojańczyk	2
+	Aperiodic Weighted Automata and Weighted First-Order Logic	2019	Manfred Droste Paul Gastin	2
+	Pebble transducers with unary output	2021	Gaëtan Douéneau-Tabot	2
+	Controlling a Population	2017	Nathalie Bertrand Miheer Dewaskar Blaise Genest Hugo Gimbert Adwait Godbole	2
+	Constructing Deterministic Parity Automata from Positive and Negative Examples	2023	León Bohn Christof Löding	2
+ PDF Chat	Controlling a Random Population	2020	Thomas Colcombet Nathanaël Fijalkow Pierre Ohlmann	2
+ PDF Chat	Practical synthesis of reactive systems from LTL specifications via parity games	2019	Michael Luttenberger Philipp J. Meyer Salomon Sickert	2
+ PDF Chat	Succinct progress measures for solving parity games	2017	Marcin Jurdziński Ranko Lazić	2
+ PDF Chat	From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata	2017	Javier Esparza Jan Křetínský Jean-François Raskin Salomon Sickert	2
+ PDF Chat	Improved Pseudo-polynomial Bound for the Value Problem and Optimal Strategy Synthesis in Mean Payoff Games	2016	Carlo Comin Roméo Rizzi	2
+	Hiding pebbles when the output alphabet is unary	2021	Gaëtan Douéneau-Tabot	2
+	Profile trees for Büchi word automata, with application to determinization	2015	Seth Fogarty Orna Kupferman Moshe Y. Vardi Thomas Wilke	2
+	Controlling a Random Population is EXPTIME-hard	2019	Corto Mascle Mahsa Shirmohammadi Patrick Totzke	2
+ PDF Chat	The complexity of multi-mean-payoff and multi-energy games	2015	Yaron Velner Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger Alexander Rabinovich Jean-François Raskin	2
+ PDF Chat	Half-Positional Objectives Recognized by Deterministic Büchi Automata	2022	Patricia Bouyer Antonio Casares Mickaël Randour Pierre Vandenhove	2
+ PDF Chat	On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games	2022	Antonio Casares Thomas Colcombet Karoliina Lehtinen	2
+	Polyregular Functions	2018	Mikołaj Bojańczyk	2
+	Controlling a Random Population is EXPTIME-hard	2019	Corto Mascle Mahsa Shirmohammadi Patrick Totzke	2
+ PDF Chat	Minimization and Canonization of GFG Transition-Based Automata	2022	Bader Abu Radi Orna Kupferman	2
+	On the Structure of Semigroups	1951	J. A. Green	2
+	On factorization forests of finite height	2003	Jérémie Chalopin Hing Leung	2
+	A gap result for the norms of semigroups of matrices	2005	Jason P. Bell	2
+	Composition with Algebra at the Background - On a Question by Gurevich and Rabinovich on the Monadic Theory of Linear Orderings.	2013	Thomas Colcombet	2
+ PDF Chat	MSO definable string transductions and two-way finite-state transducers	2001	Joost Engelfriet Hendrik Jan Hoogeboom	2
+	On the positional determinacy of edge-labeled games	2005	Thomas Colcombet Damian Niwiński	2
+ PDF Chat	Index Appearance Record for Transforming Rabin Automata into Parity Automata	2017	Jan Křetínský Tobias Meggendorfer Clara Waldmann Maximilian Weininger	2
+	An Optimal Value Iteration Algorithm for Parity Games	2018	Nathanaël Fijalkow	2
+	String-to-String Interpretations with Polynomial-Size Output	2019	Mikołaj Bojańczyk Sandra Kiefer Nathan Lhote	2
+	A generalization of Ginsburg and Rose's characterization of G-S-M mappings	1979	Christian Choffrut	2
+	Register transducers are marble transducers	2020	Gaëtan Douéneau-Tabot Emmanuel Filiot Paul Gastin	2
+ PDF Chat	Controlling a Population	2017	Nathalie Bertrand Miheer Dewaskar Blaise Genest Hugo Gimbert	2
+ PDF Chat	Symbolic Parity Game Solvers that Yield Winning Strategies	2020	Oebele Lijzenga Tom van Dijk	2
+	Limited subsets of a free monoid	1978	Imre Simon	2
+	Definability and undefinability with real order at the background	2000	Yuri Gurevich Alexander Rabinovich	2
+ PDF Chat	Noncommutative Rational Series with Applications	2010	Jean Berstel Christophe Reutenauer	2
+ PDF Chat	First-order separation over countable ordinals	2022	Thomas Colcombet Sam van Gool Rémi Morvan	2
+	Pointlike sets: the finest aperiodic cover of a finite semigroup	1988	Karsten Henckell	1