The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Arnaud Carayol: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Arnaud Carayol, Christophe Morvan
    On Rational Trees. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:225-239 [Conf]
  2. Arnaud Carayol, Stefan Wöhrle
    The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2003, pp:112-123 [Conf]
  3. Arnaud Carayol, Thomas Colcombet
    On Equivalent Representations of Infinite Structures. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:599-610 [Conf]
  4. Arnaud Carayol
    Regular Sets of Higher-Order Pushdown Stacks. [Citation Graph (0, 0)][DBLP]
    MFCS, 2005, pp:168-179 [Conf]
  5. Arnaud Carayol, Didier Caucal
    The Kleene Equality for Graphs. [Citation Graph (0, 0)][DBLP]
    MFCS, 2006, pp:214-225 [Conf]
  6. Arnaud Carayol, Antoine Meyer
    Linearly Bounded Infinite Graphs. [Citation Graph (0, 0)][DBLP]
    MFCS, 2005, pp:180-191 [Conf]
  7. Arnaud Carayol, Antoine Meyer
    Linearly bounded infinite graphs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2006, v:43, n:4, pp:265-292 [Journal]
  8. Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi
    On the Representation of McCarthy's amb in the -calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:73-89 [Journal]
  9. Arnaud Carayol, Antoine Meyer
    Context-Sensitive Languages, Rational Graphs and Determinism. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal]
  10. Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi
    On the representation of McCarthy's amb in the Pi-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:330, n:3, pp:439-473 [Journal]
  11. Arnaud Carayol, Christof Löding
    MSO on the Infinite Binary Tree: Choice and Order. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:161-176 [Conf]
  12. Arnaud Carayol, Antoine Meyer
    Linearly bounded infinite graphs [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  13. Arnaud Carayol, Antoine Meyer
    Context-Sensitive Languages, Rational Graphs and Determinism [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  14. Linear Orders in the Pushdown Hierarchy. [Citation Graph (, )][DBLP]


  15. Recursion Schemes and Logical Reflection. [Citation Graph (, )][DBLP]


  16. Winning Regions of Higher-Order Pushdown Games. [Citation Graph (, )][DBLP]


  17. Positional Strategies for Higher-Order Pushdown Parity Games. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002