RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 45 (2011) no. 1

Sommaire

ICTCS 09 Foreword

Scientific Committee, The

p. 1-2

Ancona, Davide ; Lagorio, Giovanni

p. 3-33

Bioglio, Livio

p. 35-58

Hopcroft's algorithm and tree-like automata

Castiglione, G. ; Restivo, A. ; Sciortino, M.

p. 59-75

Crespi Reghizzi, Stefano ; San Pietro, Pierluigi

p. 77-97

An introduction to quantum annealing

de Falco, Diego ; Tamascelli, Dario

p. 99-116

de Francesco Albasini, L. ; Sabadini, N. ; Walters, R. F. C.

p. 117-142

Dezani-Ciancaglini, Mariangiola ; Giannini, Paola ; Zucca, Elena

p. 143-162

Lonati, Violetta ; Pradella, Matteo

p. 163-180