Deciding knowledge in security protocols under some e-voting theories p. 269 Mouhebeddine Berrima, Narjes Ben Rajeb and Véronique Cortier Published online: 26 August 2011 DOI: https://doi.org/10.1051/ita/2011119 AbstractPDF (405.8 KB)References
The Fibonacci automorphism of free Burnside groups p. 301 Ashot S. Pahlevanyan Published online: 26 August 2011 DOI: https://doi.org/10.1051/ita/2011118 AbstractPDF (157.8 KB)References
Locally catenative sequences and Turtle graphics p. 311 Juhani Karhumäki and Svetlana Puzynina Published online: 22 August 2011 DOI: https://doi.org/10.1051/ita/2011104 AbstractPDF (292.7 KB)References
A note on maximum independent sets and minimum clique partitions in unit disk graphs and penny graphs: complexity and approximation p. 331 Marcia R. Cerioli, Luerbio Faria, Talita O. Ferreira and Fábio Protti Published online: 05 September 2011 DOI: https://doi.org/10.1051/ita/2011106 AbstractPDF (276.3 KB)References
Construction of tree automata from regular expressions p. 347 Dietrich Kuske and Ingmar Meinecke Published online: 22 August 2011 DOI: https://doi.org/10.1051/ita/2011107 AbstractPDF (306.8 KB)References