Volume 48, Issue 7-8 | Acta Informatica

Search all Acta Informatica articles

Volume 48, Issue 7-8

December 2011

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Correct hardware synthesis
Juan Perna
Jim Woodcock
Juliano Iyoda
Original Article 11 September 2011 Pages: 363 - 396
On α ₂ − ν ₂-products of automata
Pál Dömösi
György Maróti
Original Article 17 November 2011 Pages: 397 - 408
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
The query complexity of estimating weighted averages
Amit Chakrabarti
Venkatesan Guruswami
Anthony Wirth
Original Article 17 November 2011 Pages: 417 - 426