Carla Piazza

Cited by

	All	Since 2020
Citations	2308	489
h-index	26	11
i10-index	54	11

160

120

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420258 14 28 54 77 95 118 119 136 129 115 101 100 109 107 98 103 106 89 66 69 99 81 71 147 22

Public access

View all

25 articles

5 articles

available

not available

Based on funding mandates

Co-authors

Alberto PolicritiUniversity of UdineVerified email at uniud.it
Sabina RossiUniversità Ca' Foscari VeneziaVerified email at dais.unive.it
Agostino DovierProfessor of Computer Science, University of UdineVerified email at uniud.it
Bud MishraProfessor of Computer Science and MathematicsVerified email at nyu.edu
Alberto CasagrandeUniversità di UdineVerified email at units.it
Riccardo FocardiDAIS, Ca' Foscari University, VeniceVerified email at unive.it
Tommaso DreossiStaff ML Scientist, insitroVerified email at amazon.com
ROSSI GIANFRANCOProfessor of Computer Science, Univ. of Parma, ItalyVerified email at math.unipr.it
Thao DangCNRS Research Director, Laboratory VERIMAG, Grenoble, FranceVerified email at imag.fr
Andrea MarinUniversità Ca' Foscari VeneziaVerified email at dais.unive.it
Marco AntoniottiProfessor of Computer Science, Università degli Studi di Milano-BicoccaVerified email at unimib.it
Enrico PontelliNew Mexico State UniversityVerified email at cs.nmsu.edu
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Jane HillstonProfessor of Quantitative Modelling, University of EdinburghVerified email at ed.ac.uk
Flaminia LUCCIOAssociate Professor, DAIS, Ca' Foscari University, VeniceVerified email at unive.it
Massimo FranceschetProfessor of Computer Science, University of UdineVerified email at uniud.it
Donatella GubianiUniversity of Nova GoricaVerified email at ung.si
George GoguadzeResearcher at Leuphana University LüneburgVerified email at leuphana.de
Marino MiculanUniversity of Udine, ItalyVerified email at uniud.it
Alexandru I. TomescuDepartment of Computer Science, University of HelsinkiVerified email at helsinki.fi

Carla Piazza

Professor of Computer Science, University of Udine

Verified email at uniud.it

Algorithms Hybrid Automata Systems Biology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An efficient algorithm for computing bisimulation equivalence A Dovier, C Piazza, A Policriti Theoretical Computer Science 311 (1-3), 221-256, 2004	221	2004
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	156	2000
From bisimulation to simulation: Coarsest partition problems R Gentilini, C Piazza, A Policriti Journal of Automated Reasoning 31, 73-103, 2003	142	2003
Computing strongly connected components in a linear number of symbolic steps. R Gentilini, C Piazza, A Policriti SODA 3, 573-582, 2003	111	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	97	2005
A fast bisimulation algorithm A Dovier, C Piazza, A Policriti Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	89	2001
Verifying persistent security properties A Bossi, R Focardi, C Piazza, S Rossi Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004	61	2004
Parallelotope bundles for polynomial reachability T Dreossi, T Dang, C Piazza Proceedings of the 19th International Conference on Hybrid Systems …, 2016	60	2016
AI-enhanced blockchain technology: A review of advancements and opportunities D Ressi, R Romanello, C Piazza, S Rossi Journal of Network and Computer Applications, 103858, 2024	55	2024
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
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	52	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	52	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
Modeling cellular behavior with hybrid automata: Bisimulation and collapsing M Antoniotti, B Mishra, C Piazza, A Policriti, M Simeoni Computational Methods in Systems Biology: First International Workshop, CMSB …, 2003	37	2003
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
Contextual lumpability J Hillston, C Piazza, A Marin, S Rossi ValueTools 2013--7th International Conference on Performance Evaluation …, 2013	35	2013
Symbolic graphs: linear solutions to connectivity related problems R Gentilini, C Piazza, A Policriti Algorithmica 50, 120-158, 2008	35	2008
CoPS–checker of persistent security C Piazza, E Pivato, S Rossi International Conference on Tools and Algorithms for the Construction and …, 2004	34	2004
Compositional information flow security for concurrent programs A Bossi, C Piazza, S Rossi Journal of Computer Security 15 (3), 373-416, 2007	33	2007
Ackermann encoding, bisimulations and OBDDs C Piazza, A Policriti Theory and Practice of Logic Programming 4 (5-6), 695-718, 2004	33	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors