Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Carayol, Arnaud"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The FC-rank of a context-free language
Arnaud Carayol
,
Zoltán Ésik
Information Processing Letters
113
(8), 2013, pp. 285-287
Algebraic synchronization trees and processes
Luca Aceto
,
Arnaud Carayol
,
Zoltán Ésik
,
Anna Ingólfsdóttir
Lecture Notes in Computer Science
7392
, 2012, pp. 30-41
A saturation method for collapsible pushdown systems
Chris Broadbent
,
Arnaud Carayol
,
Matthew Hague
,
Olivier Serre
Lecture Notes in Computer Science
7392
, 2012, pp. 165-176
Distribution of the number of accessible states in a random deterministic automaton
Arnaud Carayol
,
Cyril Nicaud
Leibniz International Proceedings in Informatics (LIPIcs)
14
, 2012, pp. 194-205
Linear orders in the pushdown hierarchy
Laurent Braud
,
Arnaud Carayol
Lecture Notes in Computer Science
6199
, 2010, pp. 88-99
Positional strategies for higher-order pushdown parity games
Arnaud Carayol
,
Michaela Slaats
Lecture Notes in Computer Science
5162
, 2008, pp. 217-228
The Kleene equality for graphs
Arnaud Carayol
,
Didier Caucal
Lecture Notes in Computer Science
4162
, 2006, pp. 214-225
Linearly bounded infinite graphs
Arnaud Carayol
,
Antoine Meyer
Acta Informatica
43
(4), 2006, pp. 265-292
On the representation of McCarthy's amb in the
\pi
-calculus
Arnaud Carayol
,
Daniel Hirschkoff
,
Davide Sangiorgi
Theoretical Computer Science
330
(3), 2005, pp. 439-473
Linearly bounded infinite graphs
Arnaud Carayol
,
Antoine Meyer
Lecture Notes in Computer Science
3618
, 2005, pp. 180-191
Regular sets of higher-order pushdown stacks
Arnaud Carayol
Lecture Notes in Computer Science
3618
, 2005, pp. 168-179
On equivalent representations of infinite structures
Arnaud Carayol
,
Thomas Colcombet
Lecture Notes in Computer Science
2719
, 2003, pp. 599-610
The Caucal hierarchy of infinite graphs in terms of logic and higher-order pushdown automata
Arnaud Carayol
,
Stefan Wöhrle
Lecture Notes in Computer Science
2914
, 2003, pp. 112-123