×
Author ID: finkel.olivier Recent zbMATH articles by "Finkel, Olivier"
Published as: Finkel, Olivier; Finkel, O.

Publications by Year

Citations contained in zbMATH Open

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

Cited by 109 Authors

37 Finkel, Olivier
7 Duparc, Jacques
6 Skrzypczak, Michał
5 Jéron, Thierry
5 Lecomte, Dominique
5 Selivanov, Viktor L’vovich
4 Cabessa, Jérémie
3 Hutagalung, Milka
3 Jain, Sanjay
3 Khoussainov, Bakhadyr M.
3 Kuske, Dietrich
3 Michalewski, Henryk
3 Schlicht, Philipp
3 Simonnet, Pierre
3 Stephan, Frank
2 Aichernig, Bernhard K.
2 Bertrand, Nathalie
2 Carton, Olivier
2 Chebotarev, Anatoli N.
2 Clemente, Lorenzo
2 Henry, Léo
2 Hundeshagen, Norbert
2 Kluźniak, Feliks
2 Krichen, Moez
2 Lange, Martin
2 Lasota, Sławomir
2 Lehtinen, Karoliina
2 Lorber, Florian
2 Lozes, Etienne
2 Markey, Nicolas
2 Nickovic, Dejan
2 Pandya, Paritosh K.
2 Piórkowski, Radosław
2 Ressayre, Jean-Pierre
2 Rosenmann, Amnon
2 Saeedloei, Neda
2 Stainer, Amélie
2 Suman, P. Vijay
2 Todorcevic, Stevo B.
2 Tripakis, Stavros
2 Zimmermann, Martín G.
1 Bakhshi, Rena
1 Banks, Harvey Thomas
1 Benattar, Gilles
1 Bérard, Béatrice
1 Bojańczyk, Mikołaj
1 Bresolin, Davide
1 Brihaye, Thomas
1 Brütsch, Benedikt
1 Bruyère, Véronique
1 Cagnard, Benoit
1 Calude, Cristian S.
1 Camerlo, Riccardo
1 Cassez, Franck
1 Chistikov, Dmitry V.
1 Chothia, Tom
1 Davidian, Marie
1 de Boer, Frank S.
1 Dingel, Juergen
1 El-Fakih, Khaled
1 Enayat, Ali
1 Endrullis, Jörg
1 Facchini, Alessandro
1 Falcone, Yliès
1 Fournier, Kevin B.
1 Fridman, Wladimir
1 Gogacz, Tomasz
1 Guha, Shibashis
1 Halava, Vesa
1 Harju, Tero
1 Hendriks, Dimitri
1 Huschenbett, Martin
1 Idziaszek, Tomasz
1 Jaghoori, Mohammad Mahdi
1 Jecker, Ismaël
1 Kartzow, Alexander
1 Kiefer, Stefan
1 Krishna, Shankara Narayanan
1 Lehmann, Karsten
1 Li, Wei
1 Lime, Didier
1 Lohrey, Markus
1 Longuet, Delphine
1 Manasa, Lakshmi
1 Marchand, Hervé
1 Mio, Matteo
1 Murawski, Andrzej S.
1 Murlak, Filip
1 Okhotin, Alexander
1 Peñaloza, Rafael
1 Pinisetty, Srinivas
1 Preoteasa, Viorel
1 Puchala, Bernd
1 Purser, David
1 Render, Elaine
1 Rosenberg, Eric S.
1 Roşu, Grigore
1 Roux, Olivier H.
1 Rudie, Karen
1 Sahla, Esa
...and 9 more Authors

Citations by Year