Остановите войну!
for scientists:
default search action
Christian Choffrut
- > Home > Persons > Christian Choffrut
Publications
- 2022
- [j64]Alexis Bès, Christian Choffrut:
Decidability of Definability Issues in the Theory of Real Addition. Fundam. Informaticae 188(1): 15-39 (2022) - 2021
- [j63]Alexis Bès, Christian Choffrut:
Theories of real addition with and without a predicate for integers. Log. Methods Comput. Sci. 17(2) (2021) - 2020
- [c39]Alexis Bès, Christian Choffrut:
$\langle \mathbb {R}, +, <, 1 \rangle $ Is Decidable in $\langle \mathbb {R}, +, < , \mathbb {Z}\rangle $. LATA 2020: 128-140 - [i5]Alexis Bès, Christian Choffrut:
Theories of real addition with and without a predicate for integers. CoRR abs/2002.04282 (2020) - 2019
- [j62]Alexis Bès, Christian Choffrut:
Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉. Fundam. Informaticae 164(1): 1-15 (2019) - [j61]Benjamin Blanchette, Christian Choffrut, Christophe Reutenauer:
Quasi-automatic semigroups. Theor. Comput. Sci. 777: 111-120 (2019) - [i4]Benjamin Blanchette, Christian Choffrut, Christophe Reutenauer:
Quasi-automatic semigroups. CoRR abs/1906.02842 (2019) - 2018
- [j60]Christian Choffrut, Zoltán Ésik:
Two equational theories of partial words. Theor. Comput. Sci. 737: 19-39 (2018) - [i3]Alexis Bès, Christian Choffrut:
Complexity and (un)decidability of fragments of 〈 ωωλ; × 〉. CoRR abs/1803.01418 (2018) - [i2]Alexis Bès, Christian Choffrut:
Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals. CoRR abs/1805.03028 (2018) - 2016
- [c38]Christian Choffrut, Bruno Guillon:
Both Ways Rational Functions. DLT 2016: 114-124 - 2015
- [j57]Christian Choffrut, Serge Grigorieff:
Logical Theory of the Monoid of Languages over a Non Tally Alphabet. Fundam. Informaticae 138(1-2): 159-177 (2015) - [c37]Christian Choffrut, Serge Grigorieff:
Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations. Fields of Logic and Computation II 2015: 109-128 - 2014
- [j55]Alberto Bertoni, Christian Choffrut, Flavio D'Alessandro:
On the Decidability of the Intersection Problem for Quantum Automata and Context-Free Languages. Int. J. Found. Comput. Sci. 25(8): 1065-1082 (2014) - [c36]Christian Choffrut, Bruno Guillon:
An algebraic characterization of unary two-way transducers. ICTCS 2014: 279-283 - [c35]Christian Choffrut, Bruno Guillon:
An Algebraic Characterization of Unary Two-Way Transducers. MFCS (1) 2014: 196-207 - 2013
- [c33]Alberto Bertoni, Christian Choffrut, Flavio D'Alessandro:
Quantum Finite Automata and Linear Context-Free Languages: A Decidable Problem. Developments in Language Theory 2013: 82-93 - [i1]Alberto Bertoni, Christian Choffrut, Flavio D'Alessandro:
Quantum finite automata and linear context-free languages: a decidable problem. CoRR abs/1303.2967 (2013) - 2012
- [j54]Christian Choffrut, Andreas Malcher, Carlo Mereghetti, Beatrice Palano:
First-order logics: some characterizations and closure properties. Acta Informatica 49(4): 225-248 (2012) - [j52]Christian Choffrut, Serge Grigorieff:
Rational relations having a rational trace on each finite intersection of rational relations. Theor. Comput. Sci. 454: 88-94 (2012) - 2011
- [j51]Alberto Bertoni, Christian Choffrut, Roberto Radicioni:
The Inclusion Problem of Context-Free Languages: Some Tractable Cases. Int. J. Found. Comput. Sci. 22(2): 289-299 (2011) - [j50]Christian Choffrut, Juhani Karhumäki:
Unique Decipherability in the Monoid of Languages: An Application of Rational Relations. Theory Comput. Syst. 49(2): 355-364 (2011) - 2010
- [j47]Christian Choffrut, Flavio D'Alessandro, Stefano Varricchio:
On Bounded Rational Trace Languages. Theory Comput. Syst. 46(2): 351-369 (2010) - [c31]Christian Choffrut, Andreas Malcher, Carlo Mereghetti, Beatrice Palano:
On the Expressive Power of FO[ + ]. LATA 2010: 190-201 - 2009
- [j46]Christian Choffrut, Serge Grigorieff:
Finite n-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al. Theor. Comput. Sci. 410(1): 16-34 (2009) - [j45]Christian Choffrut, Serge Grigorieff:
The "equal last letter" predicate for words on infinite alphabets and classes of multitape automata. Theor. Comput. Sci. 410(30-32): 2870-2884 (2009) - [c30]Christian Choffrut, Juhani Karhumäki:
Unique Decipherability in the Monoid of Languages: An Application of Rational Relations. CSR 2009: 71-79 - [c29]Alberto Bertoni, Christian Choffrut, Roberto Radicioni:
The Inclusion Problem of Context-Free Languages: Some Tractable Cases. Developments in Language Theory 2009: 103-112 - 2008
- [j44]Christian Choffrut, Loïc Colson:
Preface. RAIRO Theor. Informatics Appl. 42(1): 1-4 (2008) - [c28]Alberto Bertoni, Christian Choffrut, Roberto Radicioni:
Literal Shuffle of Compressed Words. IFIP TCS 2008: 87-100 - 2007
- [j42]Christian Choffrut, Flavio D'Alessandro, Stefano Varricchio:
On the separability of sparse context-free languages and of bounded rational relations. Theor. Comput. Sci. 381(1-3): 274-279 (2007) - 2006
- [j40]Christian Choffrut, Serge Grigorieff:
Separability of rational relations in A* × Nm by recognizable relations is decidable. Inf. Process. Lett. 99(1): 27-32 (2006) - [j39]Paola Campadelli, Christian Choffrut, Massimiliano Goldwurm, Mauro Torelli:
Preface. RAIRO Theor. Informatics Appl. 40(2) (2006) - [j38]Olivier Carton, Christian Choffrut, Serge Grigorieff:
Decision problems among the main subfamilies of rational relations. RAIRO Theor. Informatics Appl. 40(2): 255-275 (2006) - [j37]Alberto Bertoni, Christian Choffrut, Massimiliano Goldwurm, Violetta Lonati:
Local Limit Properties for Pattern Statistics and Rational Models. Theory Comput. Syst. 39(1): 209-235 (2006) - [c26]Alberto Bertoni, Christian Choffrut, Beatrice Palano:
Context-Free Grammars and XML Languages. Developments in Language Theory 2006: 108-119 - 2005
- [j36]Christian Choffrut, Juhani Karhumäki:
Some decision problems on integer matrices. RAIRO Theor. Informatics Appl. 39(1): 125-131 (2005) - 2004
- [c24]Christian Choffrut, Massimiliano Goldwurm, Violetta Lonati:
On the Maximum Coefficients of Rational Formal Series in Commuting Variables. Developments in Language Theory 2004: 114-126 - [c23]Alberto Bertoni, Christian Choffrut, Massimiliano Goldwurm, Violetta Lonati:
Local Limit Distributions in Pattern Statistics: Beyond the Markovian Models. STACS 2004: 117-128 - 2003
- [j31]Alberto Bertoni, Christian Choffrut, Massimiliano Goldwurm, Violetta Lonati:
On the number of occurrences of a symbol in words of regular languages. Theor. Comput. Sci. 302(1-3): 431-456 (2003) - 2002
- [j30]Christian Choffrut, Juhani Karhumäki, Nicolas Ollinger:
The commutation of finite sets: a challenging problem. Theor. Comput. Sci. 273(1-2): 69-79 (2002) - [j29]Christian Choffrut, Giovanni Pighizzini:
Distances between languages and reflexivity of relations. Theor. Comput. Sci. 286(1): 117-138 (2002) - 2001
- [j28]Olivier Carton, Christian Choffrut:
Periodicity and roots of transfinite strings. RAIRO Theor. Informatics Appl. 35(6): 525-533 (2001) - [j27]Stephen L. Bloom, Christian Choffrut:
Long words: the theory of concatenation and omega-power. Theor. Comput. Sci. 259(1-2): 533-548 (2001) - [c22]Christian Choffrut, Juhani Karhumäki:
On Fatou properties of rational languages. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 227-235 - 2000
- [j26]Christian Choffrut, Sándor Horváth:
Transfinite Equations in Transfinite Strings. Int. J. Algebra Comput. 10(5): 625-650 (2000) - [j25]Christian Choffrut, Massimiliano Goldwurm:
Timed Automata with Periodic Clock Constraints. J. Autom. Lang. Comb. 5(4): 371-403 (2000) - [c20]Christian Choffrut, Serge Grigorieff:
The Theory of Rational Relations on Transfinite Strings. Words, Languages & Combinatorics 2000: 103-133 - 1999
- [j24]Christian Choffrut, Massimiliano Goldwurm:
Determinants and Möbius functions in trace monoids. Discret. Math. 194(1-3): 239-247 (1999) - [j23]Christian Choffrut, Hratchia Pélibossian, Pierre Simonnet:
Decision Issues on Functions Realized by Finite Automata. J. Autom. Lang. Comb. 4(3): 171-181 (1999) - [c19]Christian Choffrut, Serge Grigorieff:
Uniformization of Rational Relations. Jewels are Forever 1999: 59-71 - 1998
- [j22]Christian Choffrut, Flavio D'Alessandro:
Commutativity in Free Inverse Monoids. Theor. Comput. Sci. 204(1-2): 35-54 (1998) - [c18]Christian Choffrut, Sándor Horváth:
Equations in Transfinite Strings. MFCS 1998: 656-664 - 1997
- [j21]Christian Choffrut, Tero Harju, Juhani Karhumäki:
A Note on Decidability Questions on Presentations of Word Semigroups. Theor. Comput. Sci. 183(1): 83-92 (1997) - [c17]Christophe Prieur, Christian Choffrut, Michel Latteux:
Constructing Sequential Bijections. Structures in Logic and Computer Science 1997: 308-321 - [c15]Christian Choffrut, Giovanni Pighizzini:
Distances Between Languages and Reflexivity of Relations. MFCS 1997: 199-208 - [p2]Christian Choffrut, Juhani Karhumäki:
Combinatorics of Words. Handbook of Formal Languages (1) 1997: 329-438 - 1995
- [j19]Christian Choffrut, Massimiliano Goldwurm:
Rational Transductions and Complexity of Counting Problems. Math. Syst. Theory 28(5): 437-450 (1995) - 1992
- [c13]Christian Choffrut, Massimiliano Goldwurm:
Rational Transductions and Complexity of Counting Problems. MFCS 1992: 181-190 - 1988
- [j11]Christian Choffrut, Marcel Paul Schützenberger:
Counting with Rational Functions. Theor. Comput. Sci. 58: 81-101 (1988) - 1986
- [c9]Christian Choffrut, Marcel Paul Schützenberger:
Counting with Rational Functions. ICALP 1986: 79-88 - [c7]Christian Choffrut, Marcel Paul Schützenberger:
Décomposition de Fonctions Rationnelles. STACS 1986: 213-226 - 1985
- [j10]Christian Choffrut, Juhani Karhumäki:
Test sets for morphisms with bounded delay. Discret. Appl. Math. 12(2): 93-101 (1985) - 1984
- [j9]Christian Choffrut, Karel Culík II:
On Real-Time Cellular Automata and Trellis Automata. Acta Informatica 21: 393-407 (1984) - [j8]Christian Choffrut, Karel Culík II:
On extendibility of unavoidable sets. Discret. Appl. Math. 9(2): 125-137 (1984) - [c6]Christian Choffrut, Karel Culík II:
On Extendibility of Unavoidable Sets. STACS 1984: 326-338 - 1983
- [j7]Christian Choffrut, Karel Culík II:
Folding of the Plane and the Design of Systolic Arrays. Inf. Process. Lett. 17(3): 149-153 (1983) - [j6]Christian Choffrut, Karel Culík II:
Properties of Finite and Pushdown Transducers. SIAM J. Comput. 12(2): 300-315 (1983) - [c5]Christian Choffrut, Juhani Karhumäki:
Test Sets for Morphisms with Bounded Delay. ICALP 1983: 118-127
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-09-27 22:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint