| An efficient algorithm for computing bisimulation equivalence A Dovier, C Piazza, A Policriti Theoretical Computer Science 311 (1-3), 221-256, 2004 | 220 | 2004 |
| AI-enhanced blockchain technology: A review of advancements and opportunities D Ressi, R Romanello, C Piazza, S Rossi Journal of Network and Computer Applications 225, 103858, 2024 | 202 | 2024 |
| Sets and constraint logic programming A Dovier, C Piazza, E Pontelli, G Rossi ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (5), 861-931, 2000 | 162 | 2000 |
| From bisimulation to simulation: Coarsest partition problems R Gentilini, C Piazza, A Policriti Journal of Automated Reasoning 31 (1), 73-103, 2003 | 144 | 2003 |
| Computing strongly connected components in a linear number of symbolic steps. R Gentilini, C Piazza, A Policriti SODA 3, 573-582, 2003 | 114 | 2003 |
| Algorithmic algebraic model checking I: Challenges from systems biology C Piazza, M Antoniotti, V Mysore, A Policriti, F Winkler, B Mishra International Conference on Computer Aided Verification, 5-19, 2005 | 100 | 2005 |
| A fast bisimulation algorithm A Dovier, C Piazza, A Policriti International Conference on Computer Aided Verification, 79-90, 2001 | 93 | 2001 |
| Parallelotope bundles for polynomial reachability T Dreossi, T Dang, C Piazza Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 64 | 2016 |
| Verifying persistent security properties A Bossi, R Focardi, C Piazza, S Rossi Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004 | 62 | 2004 |
| Algorithmic algebraic model checking II: Decidability of semi-algebraic model checking and its applications to systems biology V Mysore, C Piazza, B Mishra International Symposium on Automated Technology for Verification and …, 2005 | 56 | 2005 |
| Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice M Antoniotti, C Piazza, A Policriti, M Simeoni, B Mishra Theoretical Computer Science 325 (1), 45-67, 2004 | 54 | 2004 |
| Modelling downgrading in information flow security A Bossi, C Piazza, S Rossi Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 187-201, 2004 | 54 | 2004 |
| Refinement operators and information flow security A Bossi, R Focardi, C Piazza, S Rossi First International Conference onSoftware Engineering and Formal Methods …, 2003 | 41 | 2003 |
| Symbolic graphs: linear solutions to connectivity related problems R Gentilini, C Piazza, A Policriti Algorithmica 50 (1), 120-158, 2008 | 37 | 2008 |
| Modeling cellular behavior with hybrid automata: Bisimulation and collapsing M Antoniotti, B Mishra, C Piazza, A Policriti, M Simeoni International Conference on Computational Methods in Systems Biology, 57-74, 2003 | 37 | 2003 |
| Contextual lumpability J Hillston, C Piazza, A Marin, S Rossi ValueTools 2013--7th International Conference on Performance Evaluation …, 2013 | 36 | 2013 |
| A uniform approach to constraint-solving for lists, multisets, compact lists, and sets A Dovier, C Piazza, G Rossi ACM Transactions on Computational Logic (TOCL) 9 (3), 1-30, 2008 | 36 | 2008 |
| From Entity Relationship to XML Schema: a graph-theoretic approach M Franceschet, D Gubiani, A Montanari, C Piazza International XML Database Symposium, 165-179, 2009 | 34 | 2009 |
| Compositional information flow security for concurrent programs A Bossi, C Piazza, S Rossi Journal of Computer Security 15 (3), 373-416, 2007 | 34 | 2007 |
| CoPS–checker of persistent security C Piazza, E Pivato, S Rossi International Conference on Tools and Algorithms for the Construction and …, 2004 | 34 | 2004 |
Alberto PolicritiUniversity of UdineVerified email at uniud.it
