dblp.uni-trier.dewww.uni-trier.de

Arnaud Carayol

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
15EEArnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre: Winning Regions of Higher-Order Pushdown Games. LICS 2008: 193-204
14EEArnaud Carayol, Michaela Slaats: Positional Strategies for Higher-Order Pushdown Parity Games. MFCS 2008: 217-228
2007
13EEArnaud Carayol, Christof Löding: MSO on the Infinite Binary Tree: Choice and Order. CSL 2007: 161-176
12EEArnaud Carayol, Antoine Meyer: Linearly bounded infinite graphs CoRR abs/0705.3487: (2007)
2006
11EEArnaud Carayol, Christophe Morvan: On Rational Trees. CSL 2006: 225-239
10EEArnaud Carayol, Didier Caucal: The Kleene Equality for Graphs. MFCS 2006: 214-225
9EEArnaud Carayol, Antoine Meyer: Linearly bounded infinite graphs. Acta Inf. 43(4): 265-292 (2006)
8EEArnaud Carayol, Antoine Meyer: Context-Sensitive Languages, Rational Graphs and Determinism CoRR abs/cs/0606053: (2006)
7EEArnaud Carayol, Antoine Meyer: Context-Sensitive Languages, Rational Graphs and Determinism. Logical Methods in Computer Science 2(2): (2006)
2005
6EEArnaud Carayol: Regular Sets of Higher-Order Pushdown Stacks. MFCS 2005: 168-179
5EEArnaud Carayol, Antoine Meyer: Linearly Bounded Infinite Graphs. MFCS 2005: 180-191
4EEArnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi: On the representation of McCarthy's amb in the Pi-calculus. Theor. Comput. Sci. 330(3): 439-473 (2005)
2004
3EEArnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi: On the Representation of McCarthy's amb in the -calculus. Electr. Notes Theor. Comput. Sci. 96: 73-89 (2004)
2003
2EEArnaud Carayol, Stefan Wöhrle: The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata. FSTTCS 2003: 112-123
1EEArnaud Carayol, Thomas Colcombet: On Equivalent Representations of Infinite Structures. ICALP 2003: 599-610

Coauthor Index

1Didier Caucal [10]
2Thomas Colcombet [1]
3Matthew Hague [15]
4Daniel Hirschkoff [3] [4]
5Christof Löding [13]
6Antoine Meyer [5] [7] [8] [9] [12] [15]
7Christophe Morvan [11]
8C.-H. Luke Ong [15]
9Davide Sangiorgi [3] [4]
10Olivier Serre [15]
11Michaela Slaats [14]
12Stefan Wöhrle [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)