Edit Profile Carayol, Arnaud Compute Distance To: Compute Author ID: carayol.arnaud Published as: Carayol, A.; Carayol, Arnaud External Links: MGP · Wikidata Documents Indexed: 38 Publications since 2003, including 2 Books all top 5 Co-Authors 2 single-authored 11 Serre, Olivier 5 Löding, Christof 4 Ésik, Zoltán 3 Hague, Matthew 3 Meyer, Antoine 3 Nicaud, Cyril 2 Baelde, David 2 Göller, Stefan 2 Haddad, Axel 2 Walukiewicz, Igor 1 Aceto, Luca 1 Braud, Laurent 1 Broadbent, Chris 1 Broadbent, Christopher H. 1 Caucal, Didier 1 Colcombet, Thomas 1 Hirschkoff, Daniel 1 Ingólfsdóttir, Anna 1 Matthes, Ralph 1 Morvan, Christophe 1 Niwiński, Damian 1 Sangiorgi, Davide 1 Slaats, Michaela 1 Wöhrle, Stefan all top 5 Serials 3 ACM Transactions on Computational Logic 2 Information Processing Letters 2 Theoretical Computer Science 2 Fundamenta Informaticae 1 Acta Informatica 1 Information and Computation 1 Theory of Computing Systems 1 Central European Journal of Mathematics 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 36 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 General and overarching topics; collections (00-XX) 3 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 25 Publications have been cited 95 times in 68 Documents Cited by ▼ Year ▼ The Caucal hierarchy of infinite graphs in terms of logic and higher-order pushdown automata. Zbl 1205.03022Carayol, Arnaud; Wöhrle, Stefan 14 2003 MSO on the infinite binary tree: Choice and order. Zbl 1179.03016Carayol, Arnaud; Löding, Christof 9 2007 On the representation of McCarthy’s \(amb\) in the \(\pi\)-calculus. Zbl 1078.68106Carayol, Arnaud; Hirschkoff, Daniel; Sangiorgi, Davide 8 2005 A saturation method for collapsible pushdown systems. Zbl 1367.68163Broadbent, Chris; Carayol, Arnaud; Hague, Matthew; Serre, Olivier 7 2012 Randomization in automata on infinite trees. Zbl 1354.68150Carayol, Arnaud; Haddad, Axel; Serre, Olivier 5 2014 Collapsible pushdown automata and labeled recursion schemes, equivalence, safety and effective selection. Zbl 1360.68543Carayol, Arnaud; Serre, Olivier 5 2012 Regular sets of higher-order pushdown stacks. Zbl 1156.68446Carayol, Arnaud 5 2005 Uniformization in automata theory. Zbl 1367.03074Carayol, Arnaud; Löding, Christof 4 2014 Choice functions and well-orderings over the infinite binary tree. Zbl 1215.03054Carayol, Arnaud; Löding, Christof; Niwinski, Damian; Walukiewicz, Igor 4 2010 Linear orders in the pushdown hierarchy. Zbl 1288.68150Braud, Laurent; Carayol, Arnaud 4 2010 An analysis of the equational properties of the well-founded fixed point. Zbl 1373.06004Carayol, Arnaud; Ésik, Zoltán 3 2017 How good is a strategy in a game with Nature? Zbl 1401.68169Carayol, Arnaud; Serre, Olivier 3 2015 C-SHORe: a collapsible approach to higher-order verification. Zbl 1323.68364Broadbent, Christopher; Carayol, Arnaud; Hague, Matthew; Serre, Olivier 3 2013 Distribution of the number of accessible states in a random deterministic automaton. Zbl 1245.68122Carayol, Arnaud; Nicaud, Cyril 3 2012 On rational trees. Zbl 1225.03046Carayol, Arnaud; Morvan, Christophe 3 2006 Context-sensitive languages, rational graphs and determinism. Zbl 1126.68049Carayol, Arnaud; Meyer, Antoine 3 2006 On long words avoiding Zimin patterns. Zbl 1402.68145Carayol, Arnaud; Göller, Stefan 2 2017 The FC-rank of a context-free language. Zbl 1272.68208Carayol, Arnaud; Ésik, Zoltán 2 2013 Positional strategies for higher-order pushdown parity games. Zbl 1173.68547Carayol, Arnaud; Slaats, Michaela 2 2008 Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Zbl 1365.68007Carayol, Arnaud (ed.); Nicaud, Cyril (ed.) 1 2017 Counting branches in trees using games. Zbl 1357.68101Carayol, Arnaud; Serre, Olivier 1 2017 Regular strategies in pushdown reachability games. Zbl 1448.68260Carayol, A.; Hague, M. 1 2014 Algebraic synchronization trees and processes. Zbl 1318.68118Aceto, Luca; Carayol, Arnaud; Ésik, Zoltán; Ingólfsdóttir, Anna 1 2012 A context-free linear ordering with an undecidable first-order theory. Zbl 1318.68102Carayol, Arnaud; Ésik, Zoltán 1 2012 The Kleene equality for graphs. Zbl 1132.68490Carayol, Arnaud; Caucal, Didier 1 2006 An analysis of the equational properties of the well-founded fixed point. Zbl 1373.06004Carayol, Arnaud; Ésik, Zoltán 3 2017 On long words avoiding Zimin patterns. Zbl 1402.68145Carayol, Arnaud; Göller, Stefan 2 2017 Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Zbl 1365.68007Carayol, Arnaud (ed.); Nicaud, Cyril (ed.) 1 2017 Counting branches in trees using games. Zbl 1357.68101Carayol, Arnaud; Serre, Olivier 1 2017 How good is a strategy in a game with Nature? Zbl 1401.68169Carayol, Arnaud; Serre, Olivier 3 2015 Randomization in automata on infinite trees. Zbl 1354.68150Carayol, Arnaud; Haddad, Axel; Serre, Olivier 5 2014 Uniformization in automata theory. Zbl 1367.03074Carayol, Arnaud; Löding, Christof 4 2014 Regular strategies in pushdown reachability games. Zbl 1448.68260Carayol, A.; Hague, M. 1 2014 C-SHORe: a collapsible approach to higher-order verification. Zbl 1323.68364Broadbent, Christopher; Carayol, Arnaud; Hague, Matthew; Serre, Olivier 3 2013 The FC-rank of a context-free language. Zbl 1272.68208Carayol, Arnaud; Ésik, Zoltán 2 2013 A saturation method for collapsible pushdown systems. Zbl 1367.68163Broadbent, Chris; Carayol, Arnaud; Hague, Matthew; Serre, Olivier 7 2012 Collapsible pushdown automata and labeled recursion schemes, equivalence, safety and effective selection. Zbl 1360.68543Carayol, Arnaud; Serre, Olivier 5 2012 Distribution of the number of accessible states in a random deterministic automaton. Zbl 1245.68122Carayol, Arnaud; Nicaud, Cyril 3 2012 Algebraic synchronization trees and processes. Zbl 1318.68118Aceto, Luca; Carayol, Arnaud; Ésik, Zoltán; Ingólfsdóttir, Anna 1 2012 A context-free linear ordering with an undecidable first-order theory. Zbl 1318.68102Carayol, Arnaud; Ésik, Zoltán 1 2012 Choice functions and well-orderings over the infinite binary tree. Zbl 1215.03054Carayol, Arnaud; Löding, Christof; Niwinski, Damian; Walukiewicz, Igor 4 2010 Linear orders in the pushdown hierarchy. Zbl 1288.68150Braud, Laurent; Carayol, Arnaud 4 2010 Positional strategies for higher-order pushdown parity games. Zbl 1173.68547Carayol, Arnaud; Slaats, Michaela 2 2008 MSO on the infinite binary tree: Choice and order. Zbl 1179.03016Carayol, Arnaud; Löding, Christof 9 2007 On rational trees. Zbl 1225.03046Carayol, Arnaud; Morvan, Christophe 3 2006 Context-sensitive languages, rational graphs and determinism. Zbl 1126.68049Carayol, Arnaud; Meyer, Antoine 3 2006 The Kleene equality for graphs. Zbl 1132.68490Carayol, Arnaud; Caucal, Didier 1 2006 On the representation of McCarthy’s \(amb\) in the \(\pi\)-calculus. Zbl 1078.68106Carayol, Arnaud; Hirschkoff, Daniel; Sangiorgi, Davide 8 2005 Regular sets of higher-order pushdown stacks. Zbl 1156.68446Carayol, Arnaud 5 2005 The Caucal hierarchy of infinite graphs in terms of logic and higher-order pushdown automata. Zbl 1205.03022Carayol, Arnaud; Wöhrle, Stefan 14 2003 all cited Publications top 5 cited Publications all top 5 Cited by 81 Authors 6 Carayol, Arnaud 6 Sabel, David 6 Schmidt-Schauß, Manfred 5 Michalewski, Henryk 5 Walukiewicz, Igor 4 Zimmermann, Martín G. 3 Ésik, Zoltán 3 Mio, Matteo 3 Salvati, Sylvain 3 Skrzypczak, Michał 2 Blanchette, Jasmin Christian 2 Broadbent, Christopher H. 2 Fratani, Séverine 2 Klein, Felix 2 Kuske, Dietrich 2 Löding, Christof 2 Lohrey, Markus 2 Meyer, Antoine 2 Niehren, Joachim 2 Parys, Paweł 2 Penelle, Vincent 2 Reynolds, Andrew 2 Riba, Colin 2 Rondogiannis, Panos 2 Schwinghammer, Jan 2 Sénizergues, Géraud 2 Serre, Olivier 2 Symeonidou, Ioanna 2 Thomas, Wolfgang 1 Addario-Berry, Louigi 1 Balle, Borja 1 Bárány, Vince 1 Béal, Marie-Pierre 1 Berlinkov, Mikhail V. 1 Blumensath, Achim 1 Bradfield, Julian Charles 1 Conlon, David 1 Courcelle, Bruno 1 Das, Anupam 1 Delhommé, Christian 1 Ferté, Julien 1 Fox, Jacob 1 Gelle, Kitti 1 Genet, Thomas 1 Göller, Stefan 1 Haddad, Axel 1 Hague, Matthew 1 Hiraishi, Kunihiko 1 Hirschkoff, Daniel 1 Hospodár, Michal 1 Iván, Szabolcs 1 Jain, Sanjay 1 Jirásková, Galina 1 Khoussainov, Bakhadyr M. 1 Kobayashi, Koichi 1 Kobayashi, Naoki 1 Kucera, Antonin 1 Kupferman, Orna 1 Levy, Paul Blain 1 Marin, Nathalie 1 Mayr, Richard M. 1 Meyer, Roland 1 Mlynárčik, Peter 1 Muskalla, Sebastian 1 Niwiński, Damian 1 Ondrusch, Nicole 1 Ong, Luke 1 Perarnau, Guillem 1 Perrin, Dominique 1 Piterman, Nir 1 Salmon, Yann 1 Sangiorgi, Davide 1 Schlicht, Philipp 1 Smith, Tim A. 1 Stephan, Frank 1 Sudakov, Benny 1 Terao, Taku 1 Tsukada, Takeshi 1 Vardi, Moshe Y. 1 Winter, Sarah 1 Zetzsche, Georg all top 5 Cited in 19 Serials 11 Theoretical Computer Science 8 Logical Methods in Computer Science 5 Information and Computation 5 Theory of Computing Systems 3 MSCS. Mathematical Structures in Computer Science 2 Information Processing Letters 2 RAIRO. Theoretical Informatics and Applications 1 Acta Informatica 1 Discrete Applied Mathematics 1 Journal of Computer and System Sciences 1 Transactions of the American Mathematical Society 1 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 International Journal of Foundations of Computer Science 1 The Electronic Journal of Combinatorics 1 Journal of Applied Mathematics 1 Central European Journal of Mathematics 1 ACM Transactions on Computational Logic 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 9 Fields 61 Computer science (68-XX) 28 Mathematical logic and foundations (03-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Combinatorics (05-XX) 2 Category theory; homological algebra (18-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Systems theory; control (93-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.