Carla Piazza

Cited by

	All	Since 2019
Citations	2247	503
h-index	25	11
i10-index	53	13

140

105

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 14 28 54 76 93 118 119 135 130 114 101 101 108 106 97 103 106 88 66 69 99 86 73 108

Public access

View all

26 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 TriesteVerified 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	152	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	96	2005
A fast bisimulation algorithm A Dovier, C Piazza, A Policriti Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	89	2001
Parallelotope bundles for polynomial reachability T Dreossi, T Dang, C Piazza Proceedings of the 19th International Conference on Hybrid Systems …, 2016	60	2016
Verifying persistent security properties A Bossi, R Focardi, C Piazza, S Rossi Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004	60	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
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
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
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	34	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
From Entity Relationship to XML Schema: a graph-theoretic approach M Franceschet, D Gubiani, A Montanari, C Piazza Database and XML Technologies: 6th International XML Database Symposium …, 2009	32	2009

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