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

Sommaire

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