Carla Piazza

Cited by

	All	Since 2016
Citations	1866	447
h-index	24	11
i10-index	47	12

140

105

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020215 5 10 15 25 50 77 82 125 116 133 131 100 104 108 104 97 99 106 102 88 69 63 18

Public access

View all

2 articles

0 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 DreossiAmazon A9Verified 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
Marco AntoniottiAssociate Professor 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
Agostino CortesiUniversità Ca Foscari VeneziaVerified email at unive.it
Andrea MarinUniversità Ca' Foscari VeneziaVerified email at dais.unive.it
Flaminia LUCCIOAssociate Professor, DAIS, Ca' Foscari University, VeniceVerified email at unive.it
Jane HillstonProfessor of Quantitative Modelling, University of EdinburghVerified email at ed.ac.uk
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

Carla Piazza

Associate 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	189	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	129	2000
From bisimulation to simulation: Coarsest partition problems R Gentilini, C Piazza, A Policriti Journal of Automated Reasoning 31 (1), 73-103, 2003	119	2003
Computing strongly connected components in a linear number of symbolic steps. R Gentilini, C Piazza, A Policriti SODA 3, 573-582, 2003	97	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 International Conference on Computer Aided Verification, 79-90, 2001	82	2001
Verifying persistent security properties A Bossi, R Focardi, C Piazza, S Rossi Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004	56	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	54	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	51	2004
Modelling downgrading in information flow security A Bossi, C Piazza, S Rossi Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 187-201, 2004	49	2004
Parallelotope bundles for polynomial reachability T Dreossi, T Dang, C Piazza Proceedings of the 19th International Conference on Hybrid Systems …, 2016	38	2016
Refinement operators and information flow security A Bossi, R Focardi, C Piazza, S Rossi First International Conference onSoftware Engineering and Formal Methods …, 2003	38	2003
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	35	2003
Ackermann encoding, bisimulations and OBDDs C Piazza, A Policriti Theory and Practice of Logic Programming 4 (5-6), 695-718, 2004	33	2004
Symbolic graphs: linear solutions to connectivity related problems R Gentilini, C Piazza, A Policriti Algorithmica 50 (1), 120-158, 2008	31	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	30	2009
The subgraph bisimulation problem A Dovier, C Piazza IEEE Transactions on Knowledge and Data Engineering 15 (4), 1055-1056, 2003	29	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	28	2008
Compositional information flow security for concurrent programs A Bossi, C Piazza, S Rossi Journal of Computer Security 15 (3), 373-416, 2007	28	2007
Semi-algebraic constant reset hybrid automata-SACoRe A Casagrande, C Piazza, B Mishra Proceedings of the 44th IEEE Conference on Decision and Control, 678-683, 2005	28	2005

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

Upload PDF

Follow this author

Cited by

Co-authors