Seguir
Carla Piazza
Carla Piazza
Professor of Computer Science, University of Udine
Dirección de correo verificada de uniud.it
Título
Citado por
Citado por
Año
An efficient algorithm for computing bisimulation equivalence
A Dovier, C Piazza, A Policriti
Theoretical Computer Science 311 (1-3), 221-256, 2004
2142004
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
1482000
From bisimulation to simulation: Coarsest partition problems
R Gentilini, C Piazza, A Policriti
Journal of Automated Reasoning 31, 73-103, 2003
1362003
Computing strongly connected components in a linear number of symbolic steps.
R Gentilini, C Piazza, A Policriti
SODA 3, 573-582, 2003
1112003
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
972005
A fast bisimulation algorithm
A Dovier, C Piazza, A Policriti
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
862001
Parallelotope bundles for polynomial reachability
T Dreossi, T Dang, C Piazza
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
592016
Verifying persistent security properties
A Bossi, R Focardi, C Piazza, S Rossi
Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004
582004
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
532004
Modelling downgrading in information flow security
A Bossi, C Piazza, S Rossi
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 187-201, 2004
532004
Refinement operators and information flow security
A Bossi, R Focardi, C Piazza, S Rossi
First International Conference onSoftware Engineering and Formal Methods …, 2003
402003
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
Symbolic graphs: Linear solutions to connectivity related problems
R Gentilini, C Piazza, A Policriti
Algorithmica 50, 120-158, 2008
352008
Contextual lumpability
J Hillston, C Piazza, A Marin, S Rossi
ValueTools 2013--7th International Conference on Performance Evaluation …, 2013
342013
CoPS–checker of persistent security
C Piazza, E Pivato, S Rossi
International Conference on Tools and Algorithms for the Construction and …, 2004
342004
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
332009
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
332008
Ackermann encoding, bisimulations and OBDDs
C Piazza, A Policriti
Theory and Practice of Logic Programming 4 (5-6), 695-718, 2004
332004
Compositional information flow security for concurrent programs
A Bossi, C Piazza, S Rossi
Journal of Computer Security 15 (3), 373-416, 2007
322007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20