Sommaire

ICTCS 09 Foreword

Scientific Committee, The

Access to full text
Full (PDF)
Full (DJVU)
p. 1-2

Numdam
An improved derandomized approximation algorithm for the max-controlled set problem

Martinhon, Carlos ; Protti, Fábio

Access to full text
Full (PDF)
Full (DJVU)
p. 181-196

Numdam
Deciding knowledge in security protocols under some e-voting theories

Berrima, Mouhebeddine ; Ben Rajeb, Narjes ; Cortier, Véronique

Access to full text
Full (PDF)
Full (DJVU)
p. 269-299

Numdam
In memoriam: Philippe Flajolet, the father of analytic combinatorics

Salvy, Bruno ; Sedgewick, Robert ; Soria, Michèle ; Szpankowski, Wojciech ; Vallée, Brigitte

Access to full text
Full (PDF)
Full (DJVU)
p. 371-373

Numdam
Idealized coinductive type systems for imperative object-oriented programs

Ancona, Davide ; Lagorio, Giovanni

Access to full text
Full (PDF)
Full (DJVU)
p. 3-33

Numdam
On the parameterized complexity of approximate counting

Andrés Montoya, J.

Access to full text
Full (PDF)
Full (DJVU)
p. 197-223

Numdam
The Fibonacci automorphism of free Burnside groups

Pahlevanyan, Ashot S.

Access to full text
Full (PDF)
Full (DJVU)
p. 301-309

Numdam
The cyclicity problem for the images of Q-rational series

Honkala, Juha

Access to full text
Full (PDF)
Full (DJVU)
p. 375-381

Numdam
Enumerated type semantics for the calculus of looping sequences

Bioglio, Livio

Access to full text
Full (PDF)
Full (DJVU)
p. 35-58

Numdam
Unique decipherability in the additive monoid of sets of numbers

Saarela, Aleksi

Access to full text
Full (PDF)
Full (DJVU)
p. 225-234

Numdam
Locally catenative sequences and Turtle graphics

Karhumäki, Juhani ; Puzynina, Svetlana

Access to full text
Full (PDF)
Full (DJVU)
p. 311-330

Numdam
Some problems in automata theory which depend on the models of set theory

Finkel, Olivier

Access to full text
Full (PDF)
Full (DJVU)
p. 383-397

Numdam
Hopcroft's algorithm and tree-like automata

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

Access to full text
Full (PDF)
Full (DJVU)
p. 59-75

Numdam
Normalization of edit sequences for text synchronization

Carrasco, Rafael C. ; Sánchez Díaz, Alexander

Access to full text
Full (PDF)
Full (DJVU)
p. 235-248

Numdam
A note on maximum independent sets and minimum clique partitions in unit disk graphs and penny graphs: complexity and approximation

Cerioli, Marcia R. ; Faria, Luerbio ; Ferreira, Talita O. ; Protti, Fábio

Access to full text
Full (PDF)
Full (DJVU)
p. 331-346

Numdam
Square-root rule of two-dimensional bandwidth problem

Lin, Lan ; Lin, Yixun

Access to full text
Full (PDF)
Full (DJVU)
p. 399-411

Numdam
Consensual languages and matching finite-state computations

Crespi Reghizzi, Stefano ; San Pietro, Pierluigi

Access to full text
Full (PDF)
Full (DJVU)
p. 77-97

Numdam
Advice Complexity and Barely Random Algorithms

Komm, Dennis ; Královič, Richard

Access to full text
Full (PDF)
Full (DJVU)
p. 249-267

Numdam
Construction of tree automata from regular expressions

Kuske, Dietrich ; Meinecke, Ingmar

Access to full text
Full (PDF)
Full (DJVU)
p. 347-370

Numdam
CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store

Nagy, Benedek ; Otto, Friedrich

Access to full text
Full (PDF)
Full (DJVU)
p. 413-448

Numdam
An introduction to quantum annealing

de Falco, Diego ; Tamascelli, Dario

Access to full text
Full (PDF)
Full (DJVU)
p. 99-116

Numdam
Recursive algorithm for parity games requires exponential time

Friedmann, Oliver

Access to full text
Full (PDF)
Full (DJVU)
p. 449-457

Numdam
The compositional construction of Markov processes II

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

Access to full text
Full (PDF)
Full (DJVU)
p. 117-142

Numdam
Closure properties of hyper-minimized automata

Szepietowski, Andrzej

Access to full text
Full (PDF)
Full (DJVU)
p. 459-466

Numdam
Extending the lambda-calculus with unbind and rebind

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

Access to full text
Full (PDF)
Full (DJVU)
p. 143-162

Numdam
Corrigendum: On multiperiodic words

Holub, Štěpán

Access to full text
Full (PDF)
Full (DJVU)
p. 467-469

Numdam
Strategies to scan pictures with automata based on Wang tiles

Lonati, Violetta ; Pradella, Matteo

Access to full text
Full (PDF)
Full (DJVU)
p. 163-180

Numdam