Edit Profile (opens in new tab) Finkel, Olivier Co-Author Distance Author ID: finkel.olivier Published as: Finkel, Olivier; Finkel, O. Documents Indexed: 75 Publications since 1989, including 3 Additional arXiv Preprints Co-Authors: 11 Co-Authors with 26 Joint Publications 286 Co-Co-Authors all top 5 Co-Authors 49 single-authored 8 Lecomte, Dominique 5 Ressayre, Jean-Pierre 5 Simonnet, Pierre 4 Duparc, Jacques 4 Todorcevic, Stevo B. 3 Carton, Olivier 2 Cabessa, Jérémie 2 Skrzypczak, Michał 1 Halava, Vesa 1 Harju, Tero 1 Sahla, Esa all top 5 Serials 9 Theoretical Computer Science 5 Fundamenta Informaticae 4 International Journal of Foundations of Computer Science 4 RAIRO. Theoretical Informatics and Applications 3 Information Processing Letters 3 The Journal of Symbolic Logic 3 Mathematical Logic Quarterly (MLQ) 3 Logical Methods in Computer Science 3 RAIRO. Theoretical Informatics and Applications 2 Annals of Pure and Applied Logic 2 Archive for Mathematical Logic 2 Bulletin of the European Association for Theoretical Computer Science EATCS 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 61 Mathematical logic and foundations (03-XX) 57 Computer science (68-XX) 6 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) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 27 Serials 19 Theoretical Computer Science 6 RAIRO. Theoretical Informatics and Applications 5 International Journal of Foundations of Computer Science 5 Logical Methods in Computer Science 4 Information Processing Letters 4 Formal Methods in System Design 4 RAIRO. Theoretical Informatics and Applications 3 Mathematical Logic Quarterly (MLQ) 3 Fundamenta Informaticae 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 Fundamenta Mathematicae 1 Journal of Computer and System Sciences 1 Real Analysis Exchange 1 SIAM Journal on Computing 1 Neural Networks 1 Real-Time Systems 1 Journal of Functional Programming 1 Theory of Computing Systems 1 Journal of Automata, Languages and Combinatorics 1 Computability 1 Computer Science Review all top 5 Cited in 11 Fields 83 Computer science (68-XX) 51 Mathematical logic and foundations (03-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 General topology (54-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 Biology and other natural sciences (92-XX) 1 History and biography (01-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistics (62-XX) Citations by Year