Agostino Dovier

Università degli Studi di Udine - Udine / Italy

Engineering & Technology / Computer Science

AD Scientific Index ID: 1766596

University of Udine

Registration, Add Profile,
Premium Membership

Print Your Certificate

Agostino Dovier's MOST POPULAR ARTICLES

1-) Special issue on 28th International Conference on Logic ProgrammingA Dovier, V Santos CostaTPLP 12 (4-5), 421-810, 2012428*2012

2-) Special issue on Constraint Based Methods for BioinformaticsA Dal Palù, A Dovier, S WillConstraints 13 (1-2), 2008308*2008

3-) Technical Communications of the 28th International Conference on Logic Programming - part IA Dovier, V Santos CostaLIPICS 17 (1), 1-246, 2012265*2012

4-) An efficient algorithm for computing bisimulation equivalenceA Dovier, C Piazza, A PolicritiTheoretical Computer Science 311 (1-3), 221-256, 20042192004

5-) Technical Communications of the 28th International Conference on Logic Programming - part IIA Dovier, V Santos CostaLIPICS 17 (2), 247-480, 2012211*2012

ARTICLES

Add your articles