Thomas Colcombet
About
Thomas Colcombet has authored 24 papers that have received a total of 197 indexed citations.
This includes 21 papers in Computational Theory and Mathematics, 19 papers in Artificial Intelligence and 3 papers in Molecular Biology. The topics of these papers are semigroups and automata theory (18 papers), Formal Methods in Verification (13 papers) and Logic, programming, and type systems (12 papers). Thomas Colcombet is often cited by papers focused on semigroups and automata theory (18 papers), Formal Methods in Verification (13 papers) and Logic, programming, and type systems (12 papers) and collaborates with scholars based in France, Poland and Germany. Thomas Colcombet's co-authors include Christof Löding, Gabriele Puppis, Mikołaj Bojańczyk, Pascal Fradet and Lorenzo Clemente and has published in prestigious journals such as SIAM Journal on Computing, Theoretical Computer Science and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by A. Lazkano are about Top fields papers by Thomas Knetsch are about Top journals papers by Yoram Cohen are published in Top fields papers by Rachael A. Peart are about Top countries impacted by papers by Vipul Bhatt Top countries impacted by papers by Jeongwhan Choi Top countries impacted by papers by Sadiyya Haffejee Top fields papers by Dong Zhou are about