Seuraa
Carla Piazza
Carla Piazza
Professor of Computer Science, University of Udine
Vahvistettu sähköpostiosoite verkkotunnuksessa uniud.it
Nimike
Viittaukset
Viittaukset
Vuosi
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
Verifying persistent security properties
A Bossi, R Focardi, C Piazza, S Rossi
Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004
612004
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
592024
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20