Carla Piazza

Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza: A graph-theoretic approach to map conceptual designs to XML schemas. ACM Trans. Database Syst. 38(1): 6 (2013)

Raffaella Gentilini, Carla Piazza, Alberto Policriti: Rank-Based Simulation on Acyclic Graphs. CILC 2012: 149-160

Alberto Casagrande, Carla Piazza: Model Checking on Hybrid Automata. DSD 2012: 493-500

Alberto Casagrande, Tommaso Dreossi, Carla Piazza: Hybrid Automata and ε-Analysis on a Neural Oscillator. HSB 2012: 58-72

Dario Campagna, Christian De Rosa, Agostino Dovier, Angelo Montanari, Carla Piazza: Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). Fundam. Inform. 105(1-2): 105-133 (2010)

Dario Campagna, Carla Piazza: Hybrid automata, reachability, and Systems Biology. Theor. Comput. Sci. 411(20): 2037-2051 (2010)

Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza: From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). SEBD 2010: 382-389

Alberto Casagrande, Carla Piazza, Alberto Policriti: Discrete Semantics for Hybrid Automata. Discrete Event Dynamic Systems 19(4): 471-493 (2009)

Filippo Del Tedesco, Carla Piazza: External Control in Process Algebra for Systems Biology. Electr. Notes Theor. Comput. Sci. 227: 161-177 (2009)

Dario Campagna, Carla Piazza: Hybrid Automata in Systems Biology: How Far Can We Go? Electr. Notes Theor. Comput. Sci. 229(1): 93-108 (2009)

Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza: From Entity Relationship to XML Schema: A Graph-Theoretic Approach. XSym 2009: 165-179

Raffaella Gentilini, Carla Piazza, Alberto Policriti: Symbolic Graphs: Linear Solutions to Connectivity Related Problems. Algorithmica 50(1): 120-158 (2008)

Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra: Inclusion dynamics hybrid automata. Inf. Comput. 206(12): 1394-1424 (2008)

Agostino Dovier, Carla Piazza, Gianfranco Rossi: A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. ACM Trans. Comput. Log. 9(3) (2008)

Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi: PicNIc - Pi-calculus non-interference checker. ACSD 2008: 33-38

Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra: Decidable Compositions of O-Minimal Automata. ATVA 2008: 274-288

Carla Piazza, Alberto Policriti: Systems Biology: Models and Logics. ICLP 2008: 14

Annalisa Bossi, Carla Piazza, Sabina Rossi: Compositional information flow security for concurrent programs. Journal of Computer Security 15(3): 373-416 (2007)

Alberto Casagrande, Kevin Casey, Rachele Falchi, Carla Piazza, Benedetto Ruperti, Giannina Vizzotto, Bud Mishra: Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction. AB 2007: 51-65

Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra: Composing Semi-algebraic O-Minimal Automata. HSCC 2007: 668-671

Annalisa Bossi, Carla Piazza, Sabina Rossi: Action Refinement in Process Algebra and Security Issues. LOPSTR 2007: 201-217

Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Information flow in secure contexts. Journal of Computer Security 13(3): 391-422 (2005)

Venkatesh Mysore, Carla Piazza, Bud Mishra: Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. ATVA 2005: 217-233

Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra: Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. CAV 2005: 5-19

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Nesting analysis of mobile ambients. Computer Languages, Systems & Structures 30(3-4): 207-230 (2004)

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Verifying persistent security properties. Computer Languages, Systems & Structures 30(3-4): 231-258 (2004)

Agostino Dovier, Carla Piazza, Enrico Pontelli: Disunification in ACI1 Theories. Constraints 9(1): 35-91 (2004)

Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Unwinding in Information Flow Security. Electr. Notes Theor. Comput. Sci. 99: 127-154 (2004)

Chiara Braghin, Carla Piazza: Checking Integrity via CoPS and Banana: the E-Commerce Case Study . Electr. Notes Theor. Comput. Sci. 99: 295-317 (2004)

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. Electr. Notes Theor. Comput. Sci. 99: 319-337 (2004)

Agostino Dovier, Carla Piazza, Alberto Policriti: An efficient algorithm for computing bisimulation equivalence. Theor. Comput. Sci. 311(1-3): 221-256 (2004)

Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra: Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theor. Comput. Sci. 325(1): 45-67 (2004)

Carla Piazza, Alberto Policriti: Ackermann Encoding, Bisimulations, and OBDDs. TPLP 4(5-6): 695-718 (2004)

Annalisa Bossi, Carla Piazza, Sabina Rossi: Modelling Downgrading in Information Flow Security. CSFW 2004: 187-

Annalisa Bossi, Carla Piazza, Sabina Rossi: Unwinding Conditions for Security in Imperative Languages. LOPSTR 2004: 85-100

Carla Piazza, Enrico Pivato, Sabina Rossi: CoPS - Checker of Persistent Security. TACAS 2004: 144-152

Raffaella Gentilini, Carla Piazza, Alberto Policriti: From Bisimulation to Simulation: Coarsest Partition Problems. J. Autom. Reasoning 31(1): 73-103 (2003)

George Goguadze, Carla Piazza, Yde Venema: Simulating polyadic modal logics by monadic ones. J. Symb. Log. 68(2): 419-462 (2003)

Agostino Dovier, Carla Piazza: The Subgraph Bisimulation Problem. IEEE Trans. Knowl. Data Eng. 15(4): 1055-1056 (2003)

Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni: Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. CMSB 2003: 57-74

Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Secure Contexts for Confidential Data. CSFW 2003: 14-28

Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Information Flow Security and Recursive Systems. ICTCS 2003: 369-382

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Refinement Operators and Information Flow Security. SEFM 2003: 44-53

Raffaella Gentilini, Carla Piazza, Alberto Policriti: Computing strongly connected components in a linear number of symbolic steps. SODA 2003: 573-582

Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS 2003: 437-441

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Complexity of Nesting Analysis in Mobile Ambients. VMCAI 2003: 86-101

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Bisimulation and Unwinding for Verifying Possibilistic Security Properties. VMCAI 2003: 223-237

Carla Piazza, Alberto Policriti: Ackermann Encoding, Bisimulations, and OBDDs. CoRR cs.LO/0311018 (2003)

Agostino Dovier, Carla Piazza, Gianfranco Rossi: A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. CoRR cs.PL/0309045 (2003)

Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti: Rank-Based Symbolic Bisimulation (and Model Checking). Electr. Notes Theor. Comput. Sci. 67: 166-183 (2002)

Raffaella Gentilini, Carla Piazza, Alberto Policriti: Simulation Reduction as Constraint. Electr. Notes Theor. Comput. Sci. 76: 145-161 (2002)

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Transforming Processes to Check and Ensure Information Flow Security. AMAST 2002: 271-286

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: A Proof System for Information Flow Security. LOPSTR 2002: 199-218

Raffaella Gentilini, Carla Piazza, Alberto Policriti: Simulation as Coarsest Partition Problem. TACAS 2002: 415-430

Riccardo Focardi, Carla Piazza, Sabina Rossi: Proofs Methods for Bisimulation Based Information Flow Security. VMCAI 2002: 16-31

Agostino Dovier, Carla Piazza, Alberto Policriti: A Fast Bisimulation Algorithm. CAV 2001: 79-90

Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000)

Agostino Dovier, Carla Piazza, Alberto Policriti: Comparing Expressiveness of Set Constructor Symbols. FroCoS 2000: 275-289

Carla Piazza, Alberto Policriti: Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory. TABLEAUX 2000: 368-382

Agostino Dovier, Carla Piazza, Gianfranco Rossi: Multiset Constraints and P Systems. WMP 2000: 103-122

Agostino Dovier, Carla Piazza, Alberto Policriti: Comparing expressiveness of set constructor symbols. APPIA-GULP-PRODE 1999: 151-166

Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: ACI1 constraints. APPIA-GULP-PRODE 1999: 305-320

Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: ACI1 Constraints. ICLP 1999: 573-587

Agostino Dovier, Carla Piazza, Gianfranco Rossi: Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. APPIA-GULP-PRODE 1998: 43-56

Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli: On the Representation and Management of Finite Sets in CLP Languages. IJCSLP 1998: 40-54