1. Correct hardware synthesis

   • Juan Perna
   • Jim Woodcock
   • Juliano Iyoda

   Original Article 11 September 2011 Pages: 363 - 396

2. On α ₂ − ν ₂-products of automata

   • Pál Dömösi
   • György Maróti

   Original Article 17 November 2011 Pages: 397 - 408

3. Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems

   • Bogdan Aman
   • Gabriel Ciobanu

   Original Article 02 November 2011 Pages: 409 - 415

4. The query complexity of estimating weighted averages

   • Amit Chakrabarti
   • Venkatesan Guruswami
   • Anthony Wirth

   Original Article 17 November 2011 Pages: 417 - 426