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

Table of contents

Deciding knowledge in security protocols under some e-voting theories

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

p. 269-299

The Fibonacci automorphism of free Burnside groups

Pahlevanyan, Ashot S.

p. 301-309

Locally catenative sequences and Turtle graphics

Karhumäki, Juhani; Puzynina, Svetlana

p. 311-330

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

p. 331-346

Construction of tree automata from regular expressions

Kuske, Dietrich; Meinecke, Ingmar

p. 347-370