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

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

Comparing expressiveness of set constructor symbols. - Agostino Dovier; Carla Piazza; Alberto Policriti (APPIA-GULP-PRODE, 1999)

ACI1 Constraints. - Agostino Dovier; Carla Piazza; Enrico Pontelli; Gianfranco Rossi (ICLP, 1999)

Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory. - Carla Piazza; Alberto Policriti (TABLEAUX, 2000)

Multiset Constraints and P Systems. - Agostino Dovier; Carla Piazza; Gianfranco Rossi (WMP, 2000)

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

Deciding modal logics using tableaux and set theory. - Carla Piazza; Alberto Policriti (APPIA-GULP-PRODE, 2001)

A Fast Bisimulation Algorithm. - Agostino Dovier; Carla Piazza; Alberto Policriti (CAV, 2001)

Transforming Processes to Check and Ensure Information Flow Security. - Annalisa Bossi; Riccardo Focardi; Carla Piazza; Sabina Rossi (AMAST, 2002)

A Proof System for Information Flow Security. - Annalisa Bossi; Riccardo Focardi; Carla Piazza; Sabina Rossi (LOPSTR, 2002)

Simulation as Coarsest Partition Problem. - Raffaella Gentilini; Carla Piazza; Alberto Policriti (TACAS, 2002)

Proofs Methods for Bisimulation Based Information Flow Security. - Riccardo Focardi; Carla Piazza; Sabina Rossi (VMCAI, 2002)

Rank-Based Symbolic Bisimulation (and Model Checking). - Agostino Dovier; Raffaella Gentilini; Carla Piazza; Alberto Policriti (WoLLIC, 2002)

Simulation Reduction as Constraint. - Raffaella Gentilini; Carla Piazza; Alberto Policriti (WFLP, 2002)

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

Secure Contexts for Confidential Data. - Annalisa Bossi; Damiano Macedonio; Carla Piazza; Sabina Rossi (CSFW, 2003)

Information Flow Security and Recursive Systems. - Annalisa Bossi; Damiano Macedonio; Carla Piazza; Sabina Rossi (ICTCS, 2003)

Refinement Operators and Information Flow Security. - Annalisa Bossi; Riccardo Focardi; Carla Piazza; Sabina Rossi (SEFM, 2003)

Computing strongly connected components in a linear number of symbolic steps. - Raffaella Gentilini; Carla Piazza; Alberto Policriti (SODA, 2003)

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

Bisimulation and Unwinding for Verifying Possibilistic Security Properties. - Annalisa Bossi; Riccardo Focardi; Carla Piazza; Sabina Rossi (VMCAI, 2003)

Complexity of Nesting Analysis in Mobile Ambients. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi; Flaminia L. Luccio; Carla Piazza (VMCAI, 2003)

Unwinding in Information Flow Security. - Annalisa Bossi; Riccardo Focardi; Damiano Macedonio; Carla Piazza; Sabina Rossi (MEFISTO, 2003)

Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi; Flaminia L. Luccio; Carla Piazza (MEFISTO, 2003)

Checking Integrity via CoPS and Banana: the E-Commerce Case Study . - Chiara Braghin; Carla Piazza (MEFISTO, 2003)

From Bisimulation to Simulation: Coarsest Partition Problems. - Raffaella Gentilini; Carla Piazza; Alberto Policriti (J. Autom. Reason., 2003)

Simulating polyadic modal logics by monadic ones. - George Goguadze; Carla Piazza; Yde Venema (J. Symb. Log., 2003)

The Subgraph Bisimulation Problem. - Agostino Dovier; Carla Piazza (IEEE Trans. Knowl. Data Eng., 2003)

Modelling Downgrading in Information Flow Security. - Annalisa Bossi; Carla Piazza; Sabina Rossi (CSFW, 2004)

Unwinding Conditions for Security in Imperative Languages. - Annalisa Bossi; Carla Piazza; Sabina Rossi (LOPSTR, 2004)

CoPS - Checker of Persistent Security. - Carla Piazza; Enrico Pivato; Sabina Rossi (TACAS, 2004)

Verifying persistent security properties. - Annalisa Bossi; Riccardo Focardi; Carla Piazza; Sabina Rossi (Comput. Lang. Syst. Struct., 2004)

Nesting analysis of mobile ambients. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi; Flaminia L. Luccio; Carla Piazza (Comput. Lang. Syst. Struct., 2004)

Disunification in ACI1 Theories. - Agostino Dovier; Carla Piazza; Enrico Pontelli (Constraints An Int. J., 2004)

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

An efficient algorithm for computing bisimulation equivalence. - Agostino Dovier; Carla Piazza; Alberto Policriti (Theor. Comput. Sci., 2004)

Ackermann Encoding, Bisimulations, and OBDDs. - Carla Piazza; Alberto Policriti (Theory Pract. Log. Program., 2004)

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

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

Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. - Alberto Casagrande; Carla Piazza; Bud Mishra (CDC/ECC, 2005)

Information flow in secure contexts. - Annalisa Bossi; Damiano Macedonio; Carla Piazza; Sabina Rossi (J. Comput. Secur., 2005)

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

Composing Semi-algebraic O-Minimal Automata. - Alberto Casagrande; Pietro Corvaja; Carla Piazza; Bud Mishra (HSCC, 2007)

Action Refinement in Process Algebra and Security Issues. - Annalisa Bossi; Carla Piazza; Sabina Rossi (LOPSTR, 2007)

Compositional information flow security for concurrent programs. - Annalisa Bossi; Carla Piazza; Sabina Rossi (J. Comput. Secur., 2007)

PicNIc - Pi-calculus non-interference checker. - Silvia Crafa; Matteo Mio; Marino Miculan; Carla Piazza; Sabina Rossi (ACSD, 2008)

Decidable Compositions of O-Minimal Automata. - Alberto Casagrande; Pietro Corvaja; Carla Piazza; Bud Mishra (ATVA, 2008)

Systems Biology: Models and Logics. - Carla Piazza; Alberto Policriti (ICLP, 2008)

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

Hybrid Automata in Systems Biology: How Far Can We Go? - Dario Campagna; Carla Piazza (FBTC@ICALP, 2008)

External Control in Process Algebra for Systems Biology. - Filippo Del Tedesco; Carla Piazza (MeCBIC, 2008)

Inclusion dynamics hybrid automata. - Alberto Casagrande; Carla Piazza; Alberto Policriti; Bud Mishra (Inf. Comput., 2008)

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

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

Discrete Semantics for Hybrid Automata. - Alberto Casagrande; Carla Piazza; Alberto Policriti (Discret. Event Dyn. Syst., 2009)

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

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

Hybrid automata, reachability, and Systems Biology. - Dario Campagna; Carla Piazza (Theor. Comput. Sci., 2010)

Rank-Based Simulation on Acyclic Graphs. - Raffaella Gentilini; Carla Piazza; Alberto Policriti (CILC, 2012)

Model Checking on Hybrid Automata. - Alberto Casagrande; Carla Piazza (DSD, 2012)

Hybrid Automata and ε-Analysis on a Neural Oscillator - Alberto Casagrande; Tommaso Dreossi; Carla Piazza (HSB, 2012)

Contextual lumpability. - Jane Hillston; Andrea Marin; Sabina Rossi; Carla Piazza (VALUETOOLS, 2013)

Approximated Symbolic Computations over Hybrid Automata. - Alberto Casagrande; Tommaso Dreossi; Carla Piazza (HAS, 2013)

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

Hyper-Extensionality and One-Node Elimination on Membership Graphs. - Eugenio G. Omodeo; Carla Piazza; Alberto Policriti; Alexandru I. Tomescu (CILC, 2014)

External Interactions on Hybrid Models of Biological Systems. - Alberto Casagrande; Carla Piazza (FMMB, 2014)

Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. - Thao Dang 001; Tommaso Dreossi; Carla Piazza (HSB, 2014)

ϵ-Semantics computations on biological systems. - Alberto Casagrande; Tommaso Dreossi; Jana Fabriková; Carla Piazza (Inf. Comput., 2014)

Parameter Synthesis Through Temporal Logic Specifications. - Thao Dang 001; Tommaso Dreossi; Carla Piazza (FM, 2015)

Is Hyper-extensionality Preservable Under Deletions of Graph Elements? - Alberto Casagrande; Carla Piazza; Alberto Policriti (ICTCS, 2015)

Rank and simulation: the well-founded case. - Raffaella Gentilini; Carla Piazza; Alberto Policriti (J. Log. Comput., 2015)

Unwinding biological systems. - Alberto Casagrande; Carla Piazza (Theor. Comput. Sci., 2015)

Parallelotope Bundles for Polynomial Reachability. - Tommaso Dreossi; Thao Dang 001; Carla Piazza (HSCC, 2016)

Towards Quantum Programs Verification: From Quipper Circuits to QPMC. - Linda Anticoli; Carla Piazza; Leonardo Taglialegne; Paolo Zuliani (RC, 2016)

mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains. - Linda Anticoli; Carla Piazza; Leonardo Taglialegne; Paolo Zuliani (InfQ@VALUETOOLS, 2017)

Efficient Computation of Renaming Functions for ρ-reversible Discrete and Continuous Time Markov Chains. - Matteo Sottana; Carla Piazza; Andrea Albarelli (VALUETOOLS, 2017)

Verifying Quantum Programs: From Quipper to QPMC. - Linda Anticoli; Carla Piazza; Leonardo Taglialegne; Paolo Zuliani (CoRR, 2017)

Reachability computation for polynomial dynamical systems. - Tommaso Dreossi; Thao Dang 001; Carla Piazza (Formal Methods Syst. Des., 2017)

Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface. - Adriano Peron; Carla Piazza (Inf. Comput., 2017)

Information Flow Security for Stochastic Processes. - Jane Hillston; Andrea Marin; Carla Piazza; Sabina Rossi (EPEW, 2018)

Persistent Stochastic Non-Interference. - Jane Hillston; Carla Piazza; Sabina Rossi (EXPRESS/SOS, 2018)

Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses. - Giacomo Alzetta; Andrea Marin; Carla Piazza; Sabina Rossi (Inf. Comput., 2018)

Proportional Lumpability. - Andrea Marin; Carla Piazza; Sabina Rossi (FORMATS, 2019)

A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. - Andrea Marin; Carla Piazza; Sabina Rossi (QEST, 2019)

Delimited Persistent Stochastic Non-Interference. - Jane Hillston; Andrea Marin; Carla Piazza; Sabina Rossi (VALUETOOLS, 2019)

Set-Based Analysis for Biological Modeling. - Thao Dang 001; Tommaso Dreossi; Eric Fanchon; Oded Maler; Carla Piazza; Alexandre Rocca (Automated Reasoning for Systems Biology and Medicine, 2019)

Reasoning About Proportional Lumpability. - Carla Piazza; Sabina Rossi (QEST, 2021)

Persistent Stochastic Non-Interference. - Jane Hillston; Andrea Marin; Carla Piazza; Sabina Rossi (Fundam. Informaticae, 2021)

D_PSNI: Delimited persistent stochastic non-interference. - Andrea Marin; Carla Piazza; Sabina Rossi (Theor. Comput. Sci., 2021)

Neural Networks Reduction via Lumping. - Dalila Ressi; Riccardo Romanello; Carla Piazza; Sabina Rossi (AI*IA, 2022)

Mirrors and Memory in Quantum Automata. - Carla Piazza; Riccardo Romanello (QEST, 2022)

Directed Graph Encoding in Quantum Computing Supporting Edge-Failures. - Davide Della Giustina; Carla Piazza; Brian Riccardi; Riccardo Romanello (RC, 2022)

Proportional lumpability and proportional bisimilarity. - Andrea Marin; Carla Piazza; Sabina Rossi (Acta Informatica, 2022)

WGA-LP: a pipeline for whole genome assembly of contaminated reads. - Nicolò Rossi; Andrea Colautti; L. Iacumin; Carla Piazza (Bioinform., 2022)

Parameter synthesis of polynomial dynamical systems. - Alberto Casagrande; Thao Dang 001; Luca Dorigo; Tommaso Dreossi; Carla Piazza; Eleonora Pippia (Inf. Comput., 2022)

Synthesis of CNOT minimal quantum circuits with topological constraints through ASP. - Carla Piazza; Riccardo Romanello (AIQxQIA@AI*IA, 2023)

Set-Based Invariants over Polynomial Systems. - Alberto Casagrande; Alessandro Cimatti; Luca Dorigo; Carla Piazza; Stefano Tonetta (CILC, 2023)

An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits. - Carla Piazza; Riccardo Romanello; Robert Wille (CILC, 2023)

Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto. - Alex Della Schiava; Carla Piazza; Riccardo Romanello (CILC, 2023)

Adaptive Directions for Bernstein-Based Polynomial Set Evolution. - Alberto Casagrande; Carla Piazza (RP, 2023)

Noninterference Analysis for Smart Contracts: Would you Bet on it? - Samia Guesmi; Carla Piazza; Sabina Rossi (DLT, 2024)

Under the Space Threat: Quantitative Analysis of Cosmos Blockchain. - Daria Smuseva; Ivan Malakhov; Andrea Marin; Carla Piazza; Sabina Rossi (EPEW, 2024)

Towards a Computational Approach to Quantification of Allele Specific Expression at Population Level. - Roberto Pagliarini; Fabio Marroni; Carla Piazza; Giovanni Gabelli; Gabriele Magris; Gabriele Di Gaspero; Michele Morgante; Alberto Policriti (IWBBIO (2), 2024)

Cosmos discovery: Quantitative assessment of Cosmos blockchain. - Daria Smuseva; Carla Piazza; Ivan Malakhov; Andrea Marin; Sabina Rossi (MASCOTS, 2024)

Speeding up Answer Set Programming by Quantum Computing. - Riccardo Romanello; Davide Della Giustina; Stefano Pessotto; Carla Piazza (QUASAR@HPDC, 2024)

Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis. - Dalila Ressi; Alvise Spanò; Lorenzo Benetollo; Carla Piazza; Michele Bugliesi; Sabina Rossi (CoRR, 2024)

AI-enhanced blockchain technology: A review of advancements and opportunities. - Dalila Ressi; Riccardo Romanello; Carla Piazza; Sabina Rossi (J. Netw. Comput. Appl., 2024)

Classical computation over quantum architectures. - Alex Della Schiava; Carla Piazza; Riccardo Romanello (J. Log. Comput., 2024)

Compressing neural networks via formal methods. - Dalila Ressi; Riccardo Romanello; Sabina Rossi; Carla Piazza (Neural Networks, 2024)

Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE. - Nicolò Rossi; Nicola Gigante; Nicola Vitacolonna; Carla Piazza (IEEE ACM Trans. Comput. Biol. Bioinform., 2024)

Quantum encoding of dynamic directed graphs. - Davide Della Giustina; C. Londero; Carla Piazza; Brian Riccardi; Riccardo Romanello (J. Log. Algebraic Methods Program., 2024)

Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains. - Carla Piazza; Sabina Rossi; Daria Smuseva (Algorithms, 2024)