×

zbMATH — the first resource for mathematics

Finkel, Olivier

Compute Distance To:
Author ID: finkel.olivier Recent zbMATH articles by "Finkel, Olivier"
Published as: Finkel, Olivier; Finkel, O.
Documents Indexed: 67 Publications since 1989

Publications by Year

Citations contained in zbMATH Open

52 Publications have been cited 191 times in 70 Documents Cited by Year
Topological properties of omega context-free languages. Zbl 0992.68125
Finkel, O.
17
2001
Borel ranks and Wadge degrees of context free \(\omega\)-languages. Zbl 1121.03047
Finkel, Olivier
15
2006
Computer science and the fine structure of Borel sets. Zbl 0971.03044
Duparc, Jacques; Finkel, O.; Ressayre, J.-P.
14
2001
Borel hierarchy and omega context free languages. Zbl 1051.68094
Finkel, Olivier
13
2003
Locally finite languages. Zbl 0974.68096
Finkel, O.
7
2001
Undecidability of topological and arithmetical properties of infinitary rational relations. Zbl 1112.03312
Finkel, Olivier
7
2003
Undecidable problems about timed automata. Zbl 1141.68433
Finkel, Olivier
7
2006
Stretchings. Zbl 0866.03020
Finkel, O.; Ressayre, J. P.
6
1996
Wadge hierarchy of omega context-free languages. Zbl 0992.68127
Finkel, Olivier
6
2001
The complexity of infinite computations in models of set theory. Zbl 1191.03034
Finkel, Olivier
6
2009
On the topological complexity of infinitary rational relations. Zbl 1112.03313
Finkel, Olivier
5
2003
On the accepting power of 2-tape Büchi automata. Zbl 1137.03023
Finkel, Olivier
5
2006
Highly undecidable problems for infinite computations. Zbl 1171.03024
Finkel, Olivier
5
2009
An effective extension of the Wagner hierarchy to blind counter automata. Zbl 0999.03034
Finkel, Olivier
4
2001
Classical and effective descriptive complexities of \(\omega \)-powers. Zbl 1170.03025
Finkel, Olivier; Lecomte, Dominique
4
2009
On recognizable tree languages beyond the Borel hierarchy. Zbl 1190.03041
Finkel, Olivier; Simonnet, Pierre
4
2009
Closure properties of locally finite \(\omega\)-languages. Zbl 1070.68067
Finkel, Olivier
3
2004
An \(\omega\)-power of a finitary language which is a Borel set of infinite rank. Zbl 1102.03041
Finkel, Olivier
3
2004
Topology and ambiguity in \(\omega\)-context free languages. Zbl 1080.68054
Finkel, Olivier; Simonnet, Pierre
3
2003
Langages de Büchi et \(\omega\)-langages locaux. (Büchi languages and local \(\omega\)-languages). Zbl 0696.03019
Finkel, Olivier
3
1989
Three applications to rational relations of the high undecidability of the infinite Post correspondence problem in a regular \(\omega\)-language. Zbl 1267.68133
Finkel, Olivier
3
2012
Some problems in automata theory which depend on the models of set theory. Zbl 1232.68082
Finkel, Olivier
3
2011
A hierarchy of tree-automatic structures. Zbl 1241.03041
Finkel, Olivier; Todorčević, Stevo
3
2012
Decision problems for Turing machines. Zbl 1206.68115
Finkel, Olivier; Lecomte, Dominique
3
2009
There exist some \(\omega \)-powers of any Borel rank. Zbl 1179.68069
Finkel, Olivier; Lecomte, Dominique
3
2007
The determinacy of context-free games. Zbl 1349.03038
Finkel, Olivier
3
2013
Ambiguity of \(\omega \)-languages of Turing machines. Zbl 1337.03056
Finkel, Olivier
3
2014
Borel ranks and Wadge degrees of context free \(\omega\)-languages. Zbl 1112.03314
Finkel, Olivier
2
2005
On infinitary rational relations and Borel sets. Zbl 1040.03033
Finkel, Olivier
2
2003
Topological complexity of locally finite \(\omega\)-languages. Zbl 1145.03018
Finkel, Olivier
2
2008
Wadge degrees of infinitary rational relations. Zbl 1157.03017
Finkel, Olivier
2
2008
On decidability properties of local sentences. Zbl 1111.03010
Finkel, Olivier
2
2006
On decision problems for timed automata. Zbl 1169.68467
Finkel, Olivier
2
2005
An \(\omega\)-power of a context-free language which is Borel above \(\Delta^0_{\omega}\). Zbl 1213.03057
Duparc, Jacques; Finkel, Olivier
2
2007
Incompleteness theorems, large cardinals, and automata over infinite words. Zbl 1440.03056
Finkel, Olivier
2
2015
On omega context free languages which are Borel sets of infinite rank. Zbl 1051.68093
Finkel, Olivier
1
2003
Ambiguity in omega context free languages. Zbl 1023.68061
Finkel, Olivier
1
2003
On recognizable languages of infinite pictures. Zbl 1137.03319
Finkel, Olivier
1
2004
On the continuity set of an omega rational function. Zbl 1149.03028
Carton, Olivier; Finkel, Olivier; Simonnet, Pierre
1
2008
Expressive power of evolving neural networks working on infinite input streams. Zbl 06810951
Cabessa, Jérémie; Finkel, Olivier
1
2017
Incompleteness theorems, large cardinals, and automata over finite words. Zbl 1459.03055
Finkel, Olivier
1
2017
On the length of the Wadge hierarchy of \(\omega\)-context-free languages. Zbl 1146.68386
Finkel, Olivier
1
2005
Highly undecidable problems about recognizability by tiling systems. Zbl 1214.03031
Finkel, Olivier
1
2009
On the shuffle of regular timed languages. Zbl 1169.68468
Finkel, Olivier
1
2006
Decision problems for recognizable languages of infinite pictures. Zbl 1244.03052
Finkel, Olivier
1
2010
The determinacy of context-free games. Zbl 1254.03077
Finkel, Olivier
1
2012
The isomorphism relation between tree-automatic structures. Zbl 1207.03050
Finkel, Olivier; Todorčević, Stevo
1
2010
On decidability properties of one-dimensional cellular automata. Zbl 1222.68115
Finkel, Olivier
1
2011
An upper bound on the complexity of recognizable tree languages. Zbl 1373.03066
Finkel, Olivier; Lecomte, Dominique; Simonnet, Pierre
1
2015
Computational capabilities of analog and evolving neural networks over infinite input streams. Zbl 1410.68120
Cabessa, Jérémie; Finkel, Olivier
1
2019
The Wadge hierarchy of Petri nets \(\omega\)-languages. Zbl 1437.68096
Duparc, Jacques; Finkel, Olivier; Ressayre, Jean-Pierre
1
2013
Polishness of some topologies related to word or tree automata. Zbl 1454.03061
Finkel, Olivier; Carton, Olivier; Lecomte, Dominique
1
2019
Computational capabilities of analog and evolving neural networks over infinite input streams. Zbl 1410.68120
Cabessa, Jérémie; Finkel, Olivier
1
2019
Polishness of some topologies related to word or tree automata. Zbl 1454.03061
Finkel, Olivier; Carton, Olivier; Lecomte, Dominique
1
2019
Expressive power of evolving neural networks working on infinite input streams. Zbl 06810951
Cabessa, Jérémie; Finkel, Olivier
1
2017
Incompleteness theorems, large cardinals, and automata over finite words. Zbl 1459.03055
Finkel, Olivier
1
2017
Incompleteness theorems, large cardinals, and automata over infinite words. Zbl 1440.03056
Finkel, Olivier
2
2015
An upper bound on the complexity of recognizable tree languages. Zbl 1373.03066
Finkel, Olivier; Lecomte, Dominique; Simonnet, Pierre
1
2015
Ambiguity of \(\omega \)-languages of Turing machines. Zbl 1337.03056
Finkel, Olivier
3
2014
The determinacy of context-free games. Zbl 1349.03038
Finkel, Olivier
3
2013
The Wadge hierarchy of Petri nets \(\omega\)-languages. Zbl 1437.68096
Duparc, Jacques; Finkel, Olivier; Ressayre, Jean-Pierre
1
2013
Three applications to rational relations of the high undecidability of the infinite Post correspondence problem in a regular \(\omega\)-language. Zbl 1267.68133
Finkel, Olivier
3
2012
A hierarchy of tree-automatic structures. Zbl 1241.03041
Finkel, Olivier; Todorčević, Stevo
3
2012
The determinacy of context-free games. Zbl 1254.03077
Finkel, Olivier
1
2012
Some problems in automata theory which depend on the models of set theory. Zbl 1232.68082
Finkel, Olivier
3
2011
On decidability properties of one-dimensional cellular automata. Zbl 1222.68115
Finkel, Olivier
1
2011
Decision problems for recognizable languages of infinite pictures. Zbl 1244.03052
Finkel, Olivier
1
2010
The isomorphism relation between tree-automatic structures. Zbl 1207.03050
Finkel, Olivier; Todorčević, Stevo
1
2010
The complexity of infinite computations in models of set theory. Zbl 1191.03034
Finkel, Olivier
6
2009
Highly undecidable problems for infinite computations. Zbl 1171.03024
Finkel, Olivier
5
2009
Classical and effective descriptive complexities of \(\omega \)-powers. Zbl 1170.03025
Finkel, Olivier; Lecomte, Dominique
4
2009
On recognizable tree languages beyond the Borel hierarchy. Zbl 1190.03041
Finkel, Olivier; Simonnet, Pierre
4
2009
Decision problems for Turing machines. Zbl 1206.68115
Finkel, Olivier; Lecomte, Dominique
3
2009
Highly undecidable problems about recognizability by tiling systems. Zbl 1214.03031
Finkel, Olivier
1
2009
Topological complexity of locally finite \(\omega\)-languages. Zbl 1145.03018
Finkel, Olivier
2
2008
Wadge degrees of infinitary rational relations. Zbl 1157.03017
Finkel, Olivier
2
2008
On the continuity set of an omega rational function. Zbl 1149.03028
Carton, Olivier; Finkel, Olivier; Simonnet, Pierre
1
2008
There exist some \(\omega \)-powers of any Borel rank. Zbl 1179.68069
Finkel, Olivier; Lecomte, Dominique
3
2007
An \(\omega\)-power of a context-free language which is Borel above \(\Delta^0_{\omega}\). Zbl 1213.03057
Duparc, Jacques; Finkel, Olivier
2
2007
Borel ranks and Wadge degrees of context free \(\omega\)-languages. Zbl 1121.03047
Finkel, Olivier
15
2006
Undecidable problems about timed automata. Zbl 1141.68433
Finkel, Olivier
7
2006
On the accepting power of 2-tape Büchi automata. Zbl 1137.03023
Finkel, Olivier
5
2006
On decidability properties of local sentences. Zbl 1111.03010
Finkel, Olivier
2
2006
On the shuffle of regular timed languages. Zbl 1169.68468
Finkel, Olivier
1
2006
Borel ranks and Wadge degrees of context free \(\omega\)-languages. Zbl 1112.03314
Finkel, Olivier
2
2005
On decision problems for timed automata. Zbl 1169.68467
Finkel, Olivier
2
2005
On the length of the Wadge hierarchy of \(\omega\)-context-free languages. Zbl 1146.68386
Finkel, Olivier
1
2005
Closure properties of locally finite \(\omega\)-languages. Zbl 1070.68067
Finkel, Olivier
3
2004
An \(\omega\)-power of a finitary language which is a Borel set of infinite rank. Zbl 1102.03041
Finkel, Olivier
3
2004
On recognizable languages of infinite pictures. Zbl 1137.03319
Finkel, Olivier
1
2004
Borel hierarchy and omega context free languages. Zbl 1051.68094
Finkel, Olivier
13
2003
Undecidability of topological and arithmetical properties of infinitary rational relations. Zbl 1112.03312
Finkel, Olivier
7
2003
On the topological complexity of infinitary rational relations. Zbl 1112.03313
Finkel, Olivier
5
2003
Topology and ambiguity in \(\omega\)-context free languages. Zbl 1080.68054
Finkel, Olivier; Simonnet, Pierre
3
2003
On infinitary rational relations and Borel sets. Zbl 1040.03033
Finkel, Olivier
2
2003
On omega context free languages which are Borel sets of infinite rank. Zbl 1051.68093
Finkel, Olivier
1
2003
Ambiguity in omega context free languages. Zbl 1023.68061
Finkel, Olivier
1
2003
Topological properties of omega context-free languages. Zbl 0992.68125
Finkel, O.
17
2001
Computer science and the fine structure of Borel sets. Zbl 0971.03044
Duparc, Jacques; Finkel, O.; Ressayre, J.-P.
14
2001
Locally finite languages. Zbl 0974.68096
Finkel, O.
7
2001
Wadge hierarchy of omega context-free languages. Zbl 0992.68127
Finkel, Olivier
6
2001
An effective extension of the Wagner hierarchy to blind counter automata. Zbl 0999.03034
Finkel, Olivier
4
2001
Stretchings. Zbl 0866.03020
Finkel, O.; Ressayre, J. P.
6
1996
Langages de Büchi et \(\omega\)-langages locaux. (Büchi languages and local \(\omega\)-languages). Zbl 0696.03019
Finkel, Olivier
3
1989

Citations by Year