Carla Piazza

Carla Piazza

Università degli Studi di Udine - Udine / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1754745
University of Udine
person_outline Carla Piazza's MOST POPULAR ARTICLES
1-) An efficient algorithm for computing bisimulation equivalenceA Dovier, C Piazza, A PolicritiTheoretical Computer Science 311 (1-3), 221-256, 20042042004
2-) Sets and constraint logic programmingA Dovier, C Piazza, E Pontelli, G RossiACM Transactions on Programming Languages and Systems (TOPLAS) 22 (5), 861-931, 20001402000
3-) From bisimulation to simulation: Coarsest partition problemsR Gentilini, C Piazza, A PolicritiJournal of Automated Reasoning 31 (1), 73-103, 20031322003
4-) Computing strongly connected components in a linear number of symbolic steps.R Gentilini, C Piazza, A PolicritiSODA 3, 573-582, 20031112003
5-) Algorithmic algebraic model checking I: Challenges from systems biologyC Piazza, M Antoniotti, V Mysore, A Policriti, F Winkler, B MishraInternational Conference on Computer Aided Verification, 5-19, 2005962005