Author

Carla Piazza

Observed names: C Piazza, C. Piazza, CARLA PIAZZA, PIAZZA, Carla, Piazza, Carla

Institution: University of Udine

Observed institutions: University of Udine, University of Trieste, Ca' Foscari University of Venice, Verimag

ORCID: 0000-0002-2072-1628

Observed ORCID: 0000-0002-2072-1628

OpenAlex ID: A5027009916

AI-enhanced blockchain technology: A review of advancements and opportunities

2024 · Dalila Ressi, Riccardo Romanello, et al. · Journal of Network and Computer Applications · 251

An efficient algorithm for computing bisimulation equivalence

2003 · Agostino Dovier, Carla Piazza, et al. · Theoretical Computer Science · 141

PDF

Sets and constraint logic programming

2000 · Agostino Dovier, Carla Piazza, et al. · ACM Transactions on Programming Languages and Systems · 105

PDF

From Bisimulation to Simulation: Coarsest Partition Problems

2003 · R. Gentilini, C. Piazza, et al. · Journal of Automated Reasoning · 103

Computing strongly connected components in a linear number of symbolic steps

2003 · Raffaella Gentilini, Carla Piazza, et al. · 91

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

2005 · C. Piazza, M. Antoniotti, et al. · Lecture notes in computer science · 70

PDF

A Fast Bisimulation Algorithm

2001 · Agostino Dovier, Carla Piazza, et al. · Lecture notes in computer science · 63

Parallelotope Bundles for Polynomial Reachability

2016 · Tommaso Dreossi, Thao Dang, et al. · International Conference on Hybrid Systems: computation and control · 50

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

2005 · V. Mysore, C. Piazza, et al. · Lecture notes in computer science · 43

Modelling downgrading in information flow security

2004 · Annalisa Bossi, Carla Piazza, et al. · 38

Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice

2004 · M. Antoniotti, C. Piazza, et al. · Theoretical Computer Science · 36

Symbolic Graphs: Linear Solutions to Connectivity Related Problems

2007 · Raffaella Gentilini, Carla Piazza, et al. · Algorithmica · 32

Verifying persistent security properties

2004 · Annalisa Bossi, Riccardo Focardi, et al. · Computer Languages · 30

Refinement operators and information flow security

2003 · A. Bossi, R. Focardi, et al. · IEEE International Conference on Software Engineering and Formal Methods (SEFM) · 30

Vulnerability detection in Solidity smart contracts via machine learning: A qualitative analysis

2025 · Dalila Ressi, Alvise Spanò, et al. · Blockchain Research and Applications · 29

Contextual Lumpability

2014 · Jane Hillston, Andrea Marin, et al. · International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS) · 29

Automated Reasoning for Systems Biology and Medicine

2019 · Dang, Thao, Dreossi, Tommaso, et al. · Computational biology · 27

A uniform approach to constraint-solving for lists, multisets, compact lists, and sets

2008 · Agostino Dovier, Carla Piazza, et al. · ACM Transactions on Computational Logic · 25

PDF

Towards Quantum Programs Verification: From Quipper Circuits to QPMC

2016 · Linda Anticoli, Carla Piazza, et al. · Lecture notes in computer science · 24

Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing

2003 · Marco Antoniotti, Bhubaneswar Mishra, et al. · Lecture notes in computer science · 24

From Entity Relationship to XML Schema: A Graph-Theoretic Approach

2009 · Massimo Franceschet, Donatella Gubiani, et al. · Lecture notes in computer science · 22

Compositional information flow security for concurrent programs

2007 · Annalisa Bossi, Carla Piazza, et al. · Journal of Computer Security · 22

Unwinding in Information Flow Security

2004 · A. Bossi, R. Focardi, et al. · Electronic Notes in Theoretical Computer Science · 22

CoPS – Checker of Persistent Security

2004 · Carla Piazza, Enrico Pivato, et al. · Lecture notes in computer science · 22

PDF

Bisimulation and Unwinding for Verifying Possibilistic Security Properties

2002 · Annalisa Bossi, Riccardo Focardi, et al. · Lecture notes in computer science · 22

Works count: 164

Citation count: 1,872

H-index: 22

I10-index: 45