Concepedia

Carla Piazza

CP

Statistics

Publications

25

Citations

953

H-Index

18

Active since

2000

Affiliations

University of Udine(Current)

Ca' Foscari University of Venice

University of Parma

Courant Institute of Mathematical Sciences

Istituto di Genomica Applicata

Carla Piazza is an author at University of Udine specializing in computer science, computing, and formal methods.

ORCID

Publications per year

2000–2018

25

Publications

25

An efficient algorithm for computing bisimulation equivalence

Agostino Dovier, Carla Piazza, Alberto Policriti · Theoretical Computer Science · 2003 · 144 citations · Full text

, , +9

Sets and constraint logic programming

Agostino Dovier, Carla Piazza, Enrico Pontelli et al. · ACM Transactions on Programming Languages and Systems · 2000 · 109 citations · Full text

, , +11

From Bisimulation to Simulation: Coarsest Partition Problems

Raffaella Gentilini, Carla Piazza, Alberto Policriti · Journal of Automated Reasoning · 2003 · 108 citations · Full text

, , +7

Computing strongly connected components in a linear number of symbolic steps

Raffaella Gentilini, Carla Piazza, Alberto Policriti · 2003 · 94 citations

, , +11

Parallelotope Bundles for Polynomial Reachability

Tommaso Dreossi, Thao Dang, Carla Piazza · 2016 · 52 citations

, , +9

1–5 of 25