# zbMATH — the first resource for mathematics

## Finkel, Olivier

Compute Distance To:
 Author ID: finkel.olivier Published as: Finkel, Olivier; Finkel, O.
 Documents Indexed: 67 Publications since 1989
all top 5

#### Co-Authors

 44 single-authored 8 Lecomte, Dominique 5 Ressayre, Jean-Pierre 5 Simonnet, Pierre 4 Duparc, Jacques 3 Carton, Olivier 3 Todorcevic, Stevo B. 2 Cabessa, Jérémie 1 Skrzypczak, Michał
all top 5

#### Serials

 9 Theoretical Computer Science 4 RAIRO. Theoretical Informatics and Applications 4 Fundamenta Informaticae 3 Information Processing Letters 3 The Journal of Symbolic Logic 3 International Journal of Foundations of Computer Science 3 Mathematical Logic Quarterly (MLQ) 3 Logical Methods in Computer Science 2 Annals of Pure and Applied Logic 2 Archive for Mathematical Logic 2 Bulletin of the European Association for Theoretical Computer Science EATCS 2 RAIRO. Theoretical Informatics and Applications 1 Journal of Computer and System Sciences 1 MSCS. Mathematical Structures in Computer Science 1 Comptes Rendus de l’Académie des Sciences. Série I 1 Zapiski Nauchnykh Seminarov POMI 1 Bulletin of the Belgian Mathematical Society - Simon Stevin 1 Computer Science Journal of Moldova 1 Journal of Automata, Languages and Combinatorics 1 Central European Journal of Mathematics 1 Mathematics in Computer Science 1 Journal of Cellular Automata

#### Fields

 56 Mathematical logic and foundations (03-XX) 52 Computer science (68-XX) 5 General topology (54-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX)

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

#### Cited by 72 Authors

 33 Finkel, Olivier 5 Duparc, Jacques 5 Lecomte, Dominique 5 Skrzypczak, Michał 4 Cabessa, Jérémie 3 Michalewski, Henryk 3 Schlicht, Philipp 3 Simonnet, Pierre 2 Carton, Olivier 2 Chebotarev, Anatoli N. 2 Hutagalung, Milka 2 Jain, Sanjay 2 Jéron, Thierry 2 Khoussainov, Bakhadyr M. 2 Kuske, Dietrich 2 Ressayre, Jean-Pierre 2 Selivanov, Viktor L’vovich 2 Stephan, Frank 2 Todorcevic, Stevo B. 2 Tripakis, Stavros 1 Bakhshi, Rena 1 Banks, Harvey Thomas 1 Benattar, Gilles 1 Bertrand, Nathalie 1 Bojańczyk, Mikołaj 1 Brihaye, Thomas 1 Bruyère, Véronique 1 Cagnard, Benoit 1 Cassez, Franck 1 Chothia, Tom 1 Davidian, Marie 1 de Boer, Frank S. 1 Dingel, Juergen 1 Endrullis, Jörg 1 Facchini, Alessandro 1 Falcone, Yliès 1 Fridman, Wladimir 1 Gogacz, Tomasz 1 Hendriks, Dimitri 1 Hundeshagen, Norbert 1 Huschenbett, Martin 1 Idziaszek, Tomasz 1 Jaghoori, Mohammad Mahdi 1 Kartzow, Alexander 1 Krichen, Moez 1 Lange, Martin 1 Lehmann, Karsten 1 Lime, Didier 1 Lohrey, Markus 1 Longuet, Delphine 1 Lozes, Etienne 1 Marchand, Hervé 1 Mio, Matteo 1 Murlak, Filip 1 Pandya, Paritosh K. 1 Peñaloza, Rafael 1 Pinisetty, Srinivas 1 Preoteasa, Viorel 1 Puchala, Bernd 1 Render, Elaine 1 Rosenberg, Eric S. 1 Roşu, Grigore 1 Roux, Olivier H. 1 Rudie, Karen 1 Serre, Olivier 1 Sirjani, Marjan 1 Staiger, Ludwig 1 Stainer, Amélie 1 Suman, P. Vijay 1 Tchaptchet, Aubin 1 Villa, Alessandro E. P. 1 Waez, Md Tawhid Bin
all top 5

#### Cited in 22 Serials

 19 Theoretical Computer Science 6 RAIRO. Theoretical Informatics and Applications 4 Information Processing Letters 4 International Journal of Foundations of Computer Science 3 Mathematical Logic Quarterly (MLQ) 3 RAIRO. Theoretical Informatics and Applications 2 Acta Informatica 2 The Journal of Symbolic Logic 2 Annals of Pure and Applied Logic 2 Information and Computation 2 Archive for Mathematical Logic 2 Cybernetics and Systems Analysis 1 Bulletin of Mathematical Biology 1 Journal of Computer and System Sciences 1 Neural Networks 1 Formal Methods in System Design 1 Journal of Functional Programming 1 Theory of Computing Systems 1 Fundamenta Informaticae 1 Logical Methods in Computer Science 1 Computability 1 Computer Science Review
all top 5

#### Cited in 9 Fields

 58 Computer science (68-XX) 39 Mathematical logic and foundations (03-XX) 5 General topology (54-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Statistics (62-XX)