×

zbMATH — the first resource for mathematics

Carayol, Arnaud

Compute Distance To:
Author ID: carayol.arnaud Recent zbMATH articles by "Carayol, Arnaud"
Published as: Carayol, A.; Carayol, Arnaud
External Links: MGP · Wikidata
Documents Indexed: 38 Publications since 2003, including 2 Books

Publications by Year

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.03022
Carayol, Arnaud; Wöhrle, Stefan
14
2003
MSO on the infinite binary tree: Choice and order. Zbl 1179.03016
Carayol, Arnaud; Löding, Christof
9
2007
On the representation of McCarthy’s \(amb\) in the \(\pi\)-calculus. Zbl 1078.68106
Carayol, Arnaud; Hirschkoff, Daniel; Sangiorgi, Davide
8
2005
A saturation method for collapsible pushdown systems. Zbl 1367.68163
Broadbent, Chris; Carayol, Arnaud; Hague, Matthew; Serre, Olivier
7
2012
Randomization in automata on infinite trees. Zbl 1354.68150
Carayol, Arnaud; Haddad, Axel; Serre, Olivier
5
2014
Collapsible pushdown automata and labeled recursion schemes, equivalence, safety and effective selection. Zbl 1360.68543
Carayol, Arnaud; Serre, Olivier
5
2012
Regular sets of higher-order pushdown stacks. Zbl 1156.68446
Carayol, Arnaud
5
2005
Uniformization in automata theory. Zbl 1367.03074
Carayol, Arnaud; Löding, Christof
4
2014
Choice functions and well-orderings over the infinite binary tree. Zbl 1215.03054
Carayol, Arnaud; Löding, Christof; Niwinski, Damian; Walukiewicz, Igor
4
2010
Linear orders in the pushdown hierarchy. Zbl 1288.68150
Braud, Laurent; Carayol, Arnaud
4
2010
An analysis of the equational properties of the well-founded fixed point. Zbl 1373.06004
Carayol, Arnaud; Ésik, Zoltán
3
2017
How good is a strategy in a game with Nature? Zbl 1401.68169
Carayol, Arnaud; Serre, Olivier
3
2015
C-SHORe: a collapsible approach to higher-order verification. Zbl 1323.68364
Broadbent, Christopher; Carayol, Arnaud; Hague, Matthew; Serre, Olivier
3
2013
Distribution of the number of accessible states in a random deterministic automaton. Zbl 1245.68122
Carayol, Arnaud; Nicaud, Cyril
3
2012
On rational trees. Zbl 1225.03046
Carayol, Arnaud; Morvan, Christophe
3
2006
Context-sensitive languages, rational graphs and determinism. Zbl 1126.68049
Carayol, Arnaud; Meyer, Antoine
3
2006
On long words avoiding Zimin patterns. Zbl 1402.68145
Carayol, Arnaud; Göller, Stefan
2
2017
The FC-rank of a context-free language. Zbl 1272.68208
Carayol, Arnaud; Ésik, Zoltán
2
2013
Positional strategies for higher-order pushdown parity games. Zbl 1173.68547
Carayol, 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.68007
Carayol, Arnaud (ed.); Nicaud, Cyril (ed.)
1
2017
Counting branches in trees using games. Zbl 1357.68101
Carayol, Arnaud; Serre, Olivier
1
2017
Regular strategies in pushdown reachability games. Zbl 1448.68260
Carayol, A.; Hague, M.
1
2014
Algebraic synchronization trees and processes. Zbl 1318.68118
Aceto, 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.68102
Carayol, Arnaud; Ésik, Zoltán
1
2012
The Kleene equality for graphs. Zbl 1132.68490
Carayol, Arnaud; Caucal, Didier
1
2006
An analysis of the equational properties of the well-founded fixed point. Zbl 1373.06004
Carayol, Arnaud; Ésik, Zoltán
3
2017
On long words avoiding Zimin patterns. Zbl 1402.68145
Carayol, 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.68007
Carayol, Arnaud (ed.); Nicaud, Cyril (ed.)
1
2017
Counting branches in trees using games. Zbl 1357.68101
Carayol, Arnaud; Serre, Olivier
1
2017
How good is a strategy in a game with Nature? Zbl 1401.68169
Carayol, Arnaud; Serre, Olivier
3
2015
Randomization in automata on infinite trees. Zbl 1354.68150
Carayol, Arnaud; Haddad, Axel; Serre, Olivier
5
2014
Uniformization in automata theory. Zbl 1367.03074
Carayol, Arnaud; Löding, Christof
4
2014
Regular strategies in pushdown reachability games. Zbl 1448.68260
Carayol, A.; Hague, M.
1
2014
C-SHORe: a collapsible approach to higher-order verification. Zbl 1323.68364
Broadbent, Christopher; Carayol, Arnaud; Hague, Matthew; Serre, Olivier
3
2013
The FC-rank of a context-free language. Zbl 1272.68208
Carayol, Arnaud; Ésik, Zoltán
2
2013
A saturation method for collapsible pushdown systems. Zbl 1367.68163
Broadbent, Chris; Carayol, Arnaud; Hague, Matthew; Serre, Olivier
7
2012
Collapsible pushdown automata and labeled recursion schemes, equivalence, safety and effective selection. Zbl 1360.68543
Carayol, Arnaud; Serre, Olivier
5
2012
Distribution of the number of accessible states in a random deterministic automaton. Zbl 1245.68122
Carayol, Arnaud; Nicaud, Cyril
3
2012
Algebraic synchronization trees and processes. Zbl 1318.68118
Aceto, 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.68102
Carayol, Arnaud; Ésik, Zoltán
1
2012
Choice functions and well-orderings over the infinite binary tree. Zbl 1215.03054
Carayol, Arnaud; Löding, Christof; Niwinski, Damian; Walukiewicz, Igor
4
2010
Linear orders in the pushdown hierarchy. Zbl 1288.68150
Braud, Laurent; Carayol, Arnaud
4
2010
Positional strategies for higher-order pushdown parity games. Zbl 1173.68547
Carayol, Arnaud; Slaats, Michaela
2
2008
MSO on the infinite binary tree: Choice and order. Zbl 1179.03016
Carayol, Arnaud; Löding, Christof
9
2007
On rational trees. Zbl 1225.03046
Carayol, Arnaud; Morvan, Christophe
3
2006
Context-sensitive languages, rational graphs and determinism. Zbl 1126.68049
Carayol, Arnaud; Meyer, Antoine
3
2006
The Kleene equality for graphs. Zbl 1132.68490
Carayol, Arnaud; Caucal, Didier
1
2006
On the representation of McCarthy’s \(amb\) in the \(\pi\)-calculus. Zbl 1078.68106
Carayol, Arnaud; Hirschkoff, Daniel; Sangiorgi, Davide
8
2005
Regular sets of higher-order pushdown stacks. Zbl 1156.68446
Carayol, Arnaud
5
2005
The Caucal hierarchy of infinite graphs in terms of logic and higher-order pushdown automata. Zbl 1205.03022
Carayol, Arnaud; Wöhrle, Stefan
14
2003
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

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.