Carla Piazza

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 34

Top Venues

Publications

Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza
Compressing neural networks via formal methods. Neural Networks 178 (2024)
Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi
AI-enhanced blockchain technology: A review of advancements and opportunities. J. Netw. Comput. Appl. 225 (2024)
Davide Della Giustina, C. Londero, Carla Piazza, Brian Riccardi, Riccardo Romanello
Quantum encoding of dynamic directed graphs. J. Log. Algebraic Methods Program. 136 (2024)
Dalila Ressi, Alvise Spanò, Lorenzo Benetollo, Carla Piazza, Michele Bugliesi, Sabina Rossi
Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis. CoRR (2024)
Nicolò Rossi, Nicola Gigante, Nicola Vitacolonna, Carla Piazza
Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE. IEEE ACM Trans. Comput. Biol. Bioinform. 21 (1) (2024)
Carla Piazza, Sabina Rossi, Daria Smuseva
Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains. Algorithms 17 (4) (2024)
Carla Piazza, Riccardo Romanello, Robert Wille
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits. CILC (2023)
Alberto Casagrande, Carla Piazza
Adaptive Directions for Bernstein-Based Polynomial Set Evolution. RP (2023)
Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta
Set-Based Invariants over Polynomial Systems. CILC (2023)
Alex Della Schiava, Carla Piazza, Riccardo Romanello
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto. CILC (2023)
Carla Piazza, Riccardo Romanello
Synthesis of CNOT minimal quantum circuits with topological constraints through ASP. AIQxQIA@AI*IA (2023)
Andrea Marin, Carla Piazza, Sabina Rossi
Proportional lumpability and proportional bisimilarity. Acta Informatica 59 (2-3) (2022)
Carla Piazza, Riccardo Romanello
Mirrors and Memory in Quantum Automata. QEST (2022)
Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi
Neural Networks Reduction via Lumping. AI*IA (2022)
Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza
Neural Networks Reduction via Lumping. CoRR (2022)
Alberto Casagrande, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia
Parameter synthesis of polynomial dynamical systems. Inf. Comput. 289 (Part) (2022)
Carla Piazza, Sabina Rossi
Reasoning About Proportional Lumpability. QEST (2021)
Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
Persistent Stochastic Non-Interference. Fundam. Informaticae 181 (1) (2021)
Andrea Marin, Carla Piazza, Sabina Rossi
: Delimited persistent stochastic non-interference. Theor. Comput. Sci. 884 (2021)
Andrea Marin, Carla Piazza, Sabina Rossi
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. QEST (2019)
Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
Delimited Persistent Stochastic Non-Interference. VALUETOOLS (2019)
Andrea Marin, Carla Piazza, Sabina Rossi
Proportional Lumpability. FORMATS (2019)
Andrea Marin, Carla Piazza, Sabina Rossi
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. CILC (2019)
Jane Hillston, Carla Piazza, Sabina Rossi
Persistent Stochastic Non-Interference. EXPRESS/SOS (2018)
Giacomo Alzetta, Andrea Marin, Carla Piazza, Sabina Rossi
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses. Inf. Comput. 260 (2018)
Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
Information Flow Security for Stochastic Processes. EPEW (2018)
Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani
\mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains. InfQ@VALUETOOLS (2017)
Matteo Sottana, Carla Piazza, Andrea Albarelli
Efficient Computation of Renaming Functions for ρ-reversible Discrete and Continuous Time Markov Chains. VALUETOOLS (2017)
Adriano Peron, Carla Piazza
Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface. Inf. Comput. 253 (2017)
Tommaso Dreossi, Thao Dang, Carla Piazza
Reachability computation for polynomial dynamical systems. Formal Methods Syst. Des. 50 (1) (2017)
Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani
Verifying Quantum Programs: From Quipper to QPMC. CoRR (2017)
Alberto Casagrande, Carla Piazza, Alberto Policriti
Is Hyper-extensionality Preservable Under Deletions of Graph Elements? Electron. Notes Theor. Comput. Sci. 322 (2016)
Tommaso Dreossi, Thao Dang, Carla Piazza
Parallelotope Bundles for Polynomial Reachability. HSCC (2016)
Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani
Towards Quantum Programs Verification: From Quipper Circuits to QPMC. RC (2016)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Rank and simulation: the well-founded case. J. Log. Comput. 25 (6) (2015)
Alberto Casagrande, Carla Piazza
Unwinding biological systems. Theor. Comput. Sci. 587 (2015)
Thao Dang, Tommaso Dreossi, Carla Piazza
Parameter Synthesis Through Temporal Logic Specifications. FM (2015)
Thao Dang, Tommaso Dreossi, Carla Piazza
Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. HSB (2014)
Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu
Hyper-Extensionality and One-Node Elimination on Membership Graphs. CILC (2014)
Alberto Casagrande, Carla Piazza
External Interactions on Hybrid Models of Biological Systems. FMMB (2014)
Alberto Casagrande, Tommaso Dreossi, Jana Fabriková, Carla Piazza
ϵ-Semantics computations on biological systems. Inf. Comput. 236 (2014)
Alberto Casagrande, Tommaso Dreossi, Carla Piazza
Approximated Symbolic Computations over Hybrid Automata. HAS (2013)
Jane Hillston, Andrea Marin, Sabina Rossi, Carla Piazza
Contextual lumpability. VALUETOOLS (2013)
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) (2013)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Rank-Based Simulation on Acyclic Graphs. CILC (2012)
Alberto Casagrande, Carla Piazza
Model Checking on Hybrid Automata. DSD (2012)
Alberto Casagrande, Tommaso Dreossi, Carla Piazza
Hybrid Automata and ε-Analysis on a Neural Oscillator HSB (2012)
Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza
From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). SEBD (2010)
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. Informaticae 105 (1-2) (2010)
Dario Campagna, Carla Piazza
Hybrid automata, reachability, and Systems Biology. Theor. Comput. Sci. 411 (20) (2010)
Alberto Casagrande, Carla Piazza, Alberto Policriti
Discrete Semantics for Hybrid Automata. Discret. Event Dyn. Syst. 19 (4) (2009)
Filippo Del Tedesco, Carla Piazza
External Control in Process Algebra for Systems Biology. Electron. Notes Theor. Comput. Sci. 227 (2009)
Dario Campagna, Carla Piazza
Hybrid Automata in Systems Biology: How Far Can We Go? Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza
From Entity Relationship to XML Schema: A Graph-Theoretic Approach. XSym (2009)
Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
Decidable Compositions of O-Minimal Automata. ATVA (2008)
Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi
PicNIc - Pi-calculus non-interference checker. ACSD (2008)
Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra
Inclusion dynamics hybrid automata. Inf. Comput. 206 (12) (2008)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Symbolic Graphs: Linear Solutions to Connectivity Related Problems. Algorithmica 50 (1) (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)
Carla Piazza, Alberto Policriti
Systems Biology: Models and Logics. ICLP (2008)
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)
Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
Composing Semi-algebraic O-Minimal Automata. HSCC (2007)
Annalisa Bossi, Carla Piazza, Sabina Rossi
Action Refinement in Process Algebra and Security Issues. LOPSTR (2007)
Annalisa Bossi, Carla Piazza, Sabina Rossi
Compositional information flow security for concurrent programs. J. Comput. Secur. 15 (3) (2007)
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)
Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. CAV (2005)
Alberto Casagrande, Carla Piazza, Bud Mishra
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. CDC/ECC (2005)
Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Information flow in secure contexts. J. Comput. Secur. 13 (3) (2005)
Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Verifying persistent security properties. Comput. Lang. Syst. Struct. 30 (3-4) (2004)
Chiara Braghin, Carla Piazza
Checking Integrity via CoPS and Banana: the E-Commerce Case Study . Electron. Notes Theor. Comput. Sci. 99 (2004)
Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Unwinding in Information Flow Security. Electron. Notes Theor. Comput. Sci. 99 (2004)
Agostino Dovier, Carla Piazza, Enrico Pontelli
1 Theories. Constraints An Int. J. 9 (1) (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) (2004)
Carla Piazza, Enrico Pivato, Sabina Rossi
CoPS - Checker of Persistent Security. TACAS (2004)
Carla Piazza, Alberto Policriti
Ackermann Encoding, Bisimulations, and OBDDs. Theory Pract. Log. Program. 4 (5-6) (2004)
Agostino Dovier, Carla Piazza, Alberto Policriti
An efficient algorithm for computing bisimulation equivalence. Theor. Comput. Sci. 311 (1-3) (2004)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
Nesting analysis of mobile ambients. Comput. Lang. Syst. Struct. 30 (3-4) (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. Electron. Notes Theor. Comput. Sci. 99 (2004)
Annalisa Bossi, Carla Piazza, Sabina Rossi
Unwinding Conditions for Security in Imperative Languages. LOPSTR (2004)
Annalisa Bossi, Carla Piazza, Sabina Rossi
Modelling Downgrading in Information Flow Security. CSFW (2004)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
Complexity of Nesting Analysis in Mobile Ambients. VMCAI (2003)
Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Bisimulation and Unwinding for Verifying Possibilistic Security Properties. VMCAI (2003)
Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Secure Contexts for Confidential Data. CSFW (2003)
Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Refinement Operators and Information Flow Security. SEFM (2003)
George Goguadze, Carla Piazza, Yde Venema
Simulating polyadic modal logics by monadic ones. J. Symb. Log. 68 (2) (2003)
Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Information Flow Security and Recursive Systems. ICTCS (2003)
Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. CMSB (2003)
Carla Piazza, Alberto Policriti
Ackermann Encoding, Bisimulations, and OBDDs CoRR (2003)
Agostino Dovier, Carla Piazza, Gianfranco Rossi
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets CoRR (2003)
Agostino Dovier, Carla Piazza
The Subgraph Bisimulation Problem. IEEE Trans. Knowl. Data Eng. 15 (4) (2003)
Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS (2003)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Computing strongly connected components in a linear number of symbolic steps. SODA (2003)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
From Bisimulation to Simulation: Coarsest Partition Problems. J. Autom. Reason. 31 (1) (2003)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Simulation as Coarsest Partition Problem. TACAS (2002)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Simulation Reduction as Constraint. Electron. Notes Theor. Comput. Sci. 76 (2002)
Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Transforming Processes to Check and Ensure Information Flow Security. AMAST (2002)
Riccardo Focardi, Carla Piazza, Sabina Rossi
Proofs Methods for Bisimulation Based Information Flow Security. VMCAI (2002)
Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
A Proof System for Information Flow Security. LOPSTR (2002)
Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti
Rank-Based Symbolic Bisimulation (and Model Checking). Electron. Notes Theor. Comput. Sci. 67 (2002)
Agostino Dovier, Carla Piazza, Alberto Policriti
A Fast Bisimulation Algorithm. CAV (2001)

Carla Piazza.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carla Piazza