متابعة
Carla Piazza
Carla Piazza
Professor of Computer Science, University of Udine
بريد إلكتروني تم التحقق منه على uniud.it
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
An efficient algorithm for computing bisimulation equivalence‏
A Dovier, C Piazza, A Policriti‏
Theoretical Computer Science 311 (1-3), 221-256, 2004‏
2172004
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‏
1582000
From bisimulation to simulation: Coarsest partition problems‏
R Gentilini, C Piazza, A Policriti‏
Journal of Automated Reasoning 31, 73-103, 2003‏
1402003
Computing strongly connected components in a linear number of symbolic steps.‏
R Gentilini, C Piazza, A Policriti‏
SODA 3, 573-582, 2003‏
1122003
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‏
962005
A fast bisimulation algorithm‏
A Dovier, C Piazza, A Policriti‏
International Conference on Computer Aided Verification, 79-90, 2001‏
872001
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‏
682024
Verifying persistent security properties‏
A Bossi, R Focardi, C Piazza, S Rossi‏
Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004‏
612004
Parallelotope bundles for polynomial reachability‏
T Dreossi, T Dang, C Piazza‏
Proceedings of the 19th International Conference on Hybrid Systems …, 2016‏
592016
Modelling downgrading in information flow security‏
A Bossi, C Piazza, S Rossi‏
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 187-201, 2004‏
542004
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‏
532005
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‏
522004
Refinement operators and information flow security‏
A Bossi, R Focardi, C Piazza, S Rossi‏
First International Conference onSoftware Engineering and Formal Methods …, 2003‏
412003
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‏
372008
Symbolic graphs: linear solutions to connectivity related problems‏
R Gentilini, C Piazza, A Policriti‏
Algorithmica 50, 120-158, 2008‏
372008
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‏
372003
Contextual lumpability‏
J Hillston, C Piazza, A Marin, S Rossi‏
ValueTools 2013--7th International Conference on Performance Evaluation …, 2013‏
352013
Compositional information flow security for concurrent programs‏
A Bossi, C Piazza, S Rossi‏
Journal of Computer Security 15 (3), 373-416, 2007‏
332007
Ackermann encoding, bisimulations and OBDDs‏
C Piazza, A Policriti‏
Theory and Practice of Logic Programming 4 (5-6), 695-718, 2004‏
332004
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‏
322009
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20