Concepedia

Christian Choffrut

CC

18

Publications

608

Citations

13

H-Index

1983

Active since

Affiliations

Université Paris Cité(Current)

Laboratoire d'Informatique Algorithmique: Fondements et Applications

University of Milan

University of Turku

University of Waterloo

Christian Choffrut is an author at Université Paris Cité specializing in engineering, linguistics, and automated reasoning.

ORCID

Top concepts

Publications per year

1983–2012

18

Publications

18

On real-time cellular automata and trellis automata

Christian Choffrut, Karel Čulík · Acta Informatica · 1984 · 148 citations

, , +5

On the number of occurrences of a symbol in words of regular languages

Alberto Bertoni, Christian Choffrut, Massimiliano Goldwurm et al. · Theoretical Computer Science · 2003 · 62 citations · Full text

, , +7

Minimizing subsequential transducers: a survey

Christian Choffrut · Theoretical Computer Science · 2003 · 53 citations

, , +6

Timed Automata with Periodic Clock Constraints

Christian Choffrut, Massimiliano Goldwurm · 2000 · 46 citations · Full text

Some decision problems on integer matrices

Christian Choffrut, Juhani Karhumäki · RAIRO - Theoretical Informatics and Applications · 2005 · 39 citations · Full text

, , +10

Rows per page

1–5 of 18