Concepedia

Thomas Colcombet

TC

Statistics

Publications

20

Citations

583

H-Index

13

Active since

2000

Affiliations

Université Paris Cité(Current)

Centre National de la Recherche Scientifique

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Institut de Recherche en Informatique et Systèmes Aléatoires

Délégation Paris 7

Thomas Colcombet is an author at Université Paris Cité specializing in computing, computer science, and mathematics.

ORCID

Publications per year

2000–2021

20

Publications

20

Enforcing trace properties by program transformation

Thomas Colcombet, Pascal Fradet · 2000 · 95 citations · Full text

, , +9

Bounds in w-Regularity

Mikołaj Bojańczyk, Thomas Colcombet · 2006 · 73 citations

, , +15

Transforming structures by set interpretations

Thomas Colcombet, Christof Löding · Logical Methods in Computer Science · 2007 · 56 citations · Full text

, , +12

Tree-walking automata cannot be determinized

Mikołaj Bojańczyk, Thomas Colcombet · Theoretical Computer Science · 2005 · 43 citations

, , +6

Tree-Walking Automata Do Not Recognize All Regular Languages

Mikołaj Bojańczyk, Thomas Colcombet · SIAM Journal on Computing · 2008 · 37 citations

, , +14

1–5 of 20