default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCarla Piazza
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j36]Carla Piazza
, Sabina Rossi, Daria Smuseva:
Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains. Algorithms 17(4): 159 (2024)- [j35]Davide Della Giustina, C. Londero, Carla Piazza, Brian Riccardi, Riccardo Romanello:
Quantum encoding of dynamic directed graphs. J. Log. Algebraic Methods Program. 136: 100925 (2024) - [j34]Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi:
AI-enhanced blockchain technology: A review of advancements and opportunities. J. Netw. Comput. Appl. 225: 103858 (2024) - [j33]Alex Della Schiava, Carla Piazza, Riccardo Romanello:
Classical computation over quantum architectures. J. Log. Comput. 34(8): 1526-1555 (2024) - [j32]Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza:
Compressing neural networks via formal methods. Neural Networks 178: 106411 (2024) - [j31]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): 106-119 (2024) - [c77]Samia Guesmi, Carla Piazza, Sabina Rossi:
Noninterference Analysis for Smart Contracts: Would you Bet on it? DLT 2024 - [c76]Roberto Pagliarini, Fabio Marroni, Carla Piazza, Giovanni Gabelli, Gabriele Magris, Gabriele Di Gaspero, Michele Morgante, Alberto Policriti:
Towards a Computational Approach to Quantification of Allele Specific Expression at Population Level. IWBBIO (2) 2024: 127-139 - [c75]Daria Smuseva, Carla Piazza, Ivan Malakhov, Andrea Marin, Sabina Rossi:
Cosmos discovery: Quantitative assessment of Cosmos blockchain. MASCOTS 2024: 1-8 - [c74]Riccardo Romanello, Davide Della Giustina, Stefano Pessotto, Carla Piazza:
Speeding up Answer Set Programming by Quantum Computing. QUASAR@HPDC 2024: 1-8 - [i5]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 abs/2407.18639 (2024) - 2023
- [c73]Carla Piazza, Riccardo Romanello:
Synthesis of CNOT minimal quantum circuits with topological constraints through ASP. AIQxQIA@AI*IA 2023 - [c72]Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta:
Set-Based Invariants over Polynomial Systems. CILC 2023 - [c71]Carla Piazza, Riccardo Romanello, Robert Wille:
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits. CILC 2023 - [c70]Alex Della Schiava, Carla Piazza, Riccardo Romanello:
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto. CILC 2023 - [c69]Alberto Casagrande, Carla Piazza:
Adaptive Directions for Bernstein-Based Polynomial Set Evolution. RP 2023: 113-126 - 2022
- [j30]Andrea Marin, Carla Piazza, Sabina Rossi:
Proportional lumpability and proportional bisimilarity. Acta Informatica 59(2-3): 211-244 (2022) - [j29]Nicolò Rossi, Andrea Colautti, L. Iacumin, Carla Piazza:
WGA-LP: a pipeline for whole genome assembly of contaminated reads. Bioinform. 38(3): 846-848 (2022) - [j28]Alberto Casagrande, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia:
Parameter synthesis of polynomial dynamical systems. Inf. Comput. 289(Part): 104941 (2022) - [c68]Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi:
Neural Networks Reduction via Lumping. AI*IA 2022: 75-90 - [c67]Carla Piazza, Riccardo Romanello:
Mirrors and Memory in Quantum Automata. QEST 2022: 359-380 - [c66]Davide Della Giustina, Carla Piazza, Brian Riccardi, Riccardo Romanello:
Directed Graph Encoding in Quantum Computing Supporting Edge-Failures. RC 2022: 75-92 - [i4]Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza:
Neural Networks Reduction via Lumping. CoRR abs/2209.07475 (2022) - 2021
- [j27]Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi:
Persistent Stochastic Non-Interference. Fundam. Informaticae 181(1): 1-35 (2021) - [j26]Andrea Marin, Carla Piazza, Sabina Rossi:
D_PSNI: Delimited persistent stochastic non-interference. Theor. Comput. Sci. 884: 116-135 (2021) - [c65]Carla Piazza, Sabina Rossi:
Reasoning About Proportional Lumpability. QEST 2021: 372-390
2010 – 2019
- 2019
- [c64]Andrea Marin, Carla Piazza, Sabina Rossi:
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. CILC 2019 - [c63]Andrea Marin, Carla Piazza, Sabina Rossi:
Proportional Lumpability. FORMATS 2019: 265-281 - [c62]Andrea Marin, Carla Piazza, Sabina Rossi:
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. QEST 2019: 222-238 - [c61]Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi:
Delimited Persistent Stochastic Non-Interference. VALUETOOLS 2019: 135-142 - [p1]Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca:
Set-Based Analysis for Biological Modeling. Automated Reasoning for Systems Biology and Medicine 2019: 157-189 - 2018
- [j25]Giacomo Alzetta, Andrea Marin, Carla Piazza, Sabina Rossi:
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses. Inf. Comput. 260: 99-125 (2018) - [c60]Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi:
Information Flow Security for Stochastic Processes. EPEW 2018: 142-156 - [c59]Jane Hillston, Carla Piazza, Sabina Rossi:
Persistent Stochastic Non-Interference. EXPRESS/SOS 2018: 53-68 - 2017
- [j24]Tommaso Dreossi, Thao Dang, Carla Piazza:
Reachability computation for polynomial dynamical systems. Formal Methods Syst. Des. 50(1): 1-38 (2017) - [j23]Adriano Peron, Carla Piazza:
Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface. Inf. Comput. 253: 179-180 (2017) - [c58]Matteo Sottana, Carla Piazza, Andrea Albarelli:
Efficient Computation of Renaming Functions for ρ-reversible Discrete and Continuous Time Markov Chains. VALUETOOLS 2017: 52-59 - [c57]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: 113-126 - [i3]Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani:
Verifying Quantum Programs: From Quipper to QPMC. CoRR abs/1708.06312 (2017) - 2016
- [c56]Tommaso Dreossi, Thao Dang, Carla Piazza:
Parallelotope Bundles for Polynomial Reachability. HSCC 2016: 297-306 - [c55]Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani:
Towards Quantum Programs Verification: From Quipper Circuits to QPMC. RC 2016: 213-219 - 2015
- [j22]Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Rank and simulation: the well-founded case. J. Log. Comput. 25(6): 1331-1349 (2015) - [j21]Alberto Casagrande, Carla Piazza:
Unwinding biological systems. Theor. Comput. Sci. 587: 26-48 (2015) - [c54]Thao Dang, Tommaso Dreossi, Carla Piazza:
Parameter Synthesis Through Temporal Logic Specifications. FM 2015: 213-230 - [c53]Alberto Casagrande, Carla Piazza, Alberto Policriti:
Is Hyper-extensionality Preservable Under Deletions of Graph Elements? ICTCS 2015: 103-118 - [e4]Oded Maler, Ádám M. Halász, Thao Dang, Carla Piazza:
Hybrid Systems Biology - Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers. Lecture Notes in Computer Science 7699, Springer 2015, ISBN 978-3-319-27655-7 [contents] - 2014
- [j20]Alberto Casagrande, Tommaso Dreossi, Jana Fabriková, Carla Piazza:
ϵ-Semantics computations on biological systems. Inf. Comput. 236: 35-51 (2014) - [c52]Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu:
Hyper-Extensionality and One-Node Elimination on Membership Graphs. CILC 2014: 341-346 - [c51]Alberto Casagrande, Carla Piazza:
External Interactions on Hybrid Models of Biological Systems. FMMB 2014: 63-81 - [c50]Thao Dang, Tommaso Dreossi, Carla Piazza:
Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. HSB 2014: 67-82 - [e3]François Fages, Carla Piazza:
Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings. Lecture Notes in Computer Science 8738, Springer 2014, ISBN 978-3-319-10397-6 [contents] - [e2]Adriano Peron, Carla Piazza:
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014. EPTCS 161, 2014 [contents] - 2013
- [j19]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) - [c49]Jane Hillston, Andrea Marin, Sabina Rossi, Carla Piazza:
Contextual lumpability. VALUETOOLS 2013: 194-203 - [c48]Alberto Casagrande, Tommaso Dreossi, Carla Piazza:
Approximated Symbolic Computations over Hybrid Automata. HAS 2013: 43-57 - [e1]Thao Dang, Carla Piazza:
Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013. EPTCS 125, 2013 [contents] - 2012
- [c47]Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Rank-Based Simulation on Acyclic Graphs. CILC 2012: 149-160 - [c46]Alberto Casagrande, Carla Piazza:
Model Checking on Hybrid Automata. DSD 2012: 493-500 - [c45]Alberto Casagrande, Tommaso Dreossi, Carla Piazza:
Hybrid Automata and ε-Analysis on a Neural Oscillator. HSB 2012: 58-72 - 2010
- [j18]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): 105-133 (2010) - [j17]Dario Campagna, Carla Piazza:
Hybrid automata, reachability, and Systems Biology. Theor. Comput. Sci. 411(20): 2037-2051 (2010) - [c44]Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza:
From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). SEBD 2010: 382-389
2000 – 2009
- 2009
- [j16]Alberto Casagrande, Carla Piazza, Alberto Policriti:
Discrete Semantics for Hybrid Automata. Discret. Event Dyn. Syst. 19(4): 471-493 (2009) - [c43]Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza:
From Entity Relationship to XML Schema: A Graph-Theoretic Approach. XSym 2009: 165-179 - 2008
- [j15]Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Symbolic Graphs: Linear Solutions to Connectivity Related Problems. Algorithmica 50(1): 120-158 (2008) - [j14]Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra:
Inclusion dynamics hybrid automata. Inf. Comput. 206(12): 1394-1424 (2008) - [j13]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): 15:1-15:30 (2008) - [c42]Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi:
PicNIc - Pi-calculus non-interference checker. ACSD 2008: 33-38 - [c41]Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra:
Decidable Compositions of O-Minimal Automata. ATVA 2008: 274-288 - [c40]Carla Piazza, Alberto Policriti:
Systems Biology: Models and Logics. ICLP 2008: 14 - [c39]Dario Campagna, Carla Piazza:
Hybrid Automata in Systems Biology: How Far Can We Go? FBTC@ICALP 2008: 93-108 - [c38]Filippo Del Tedesco, Carla Piazza:
External Control in Process Algebra for Systems Biology. MeCBIC 2008: 161-177 - 2007
- [j12]Annalisa Bossi, Carla Piazza, Sabina Rossi:
Compositional information flow security for concurrent programs. J. Comput. Secur. 15(3): 373-416 (2007) - [c37]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 - [c36]Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra:
Composing Semi-algebraic O-Minimal Automata. HSCC 2007: 668-671 - [c35]Annalisa Bossi, Carla Piazza, Sabina Rossi:
Action Refinement in Process Algebra and Security Issues. LOPSTR 2007: 201-217 - 2005
- [j11]Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi:
Information flow in secure contexts. J. Comput. Secur. 13(3): 391-422 (2005) - [c34]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 - [c33]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 - [c32]Alberto Casagrande, Carla Piazza, Bud Mishra:
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. CDC/ECC 2005: 678-683 - 2004
- [j10]Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
Nesting analysis of mobile ambients. Comput. Lang. Syst. Struct. 30(3-4): 207-230 (2004) - [j9]Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi:
Verifying persistent security properties. Comput. Lang. Syst. Struct. 30(3-4): 231-258 (2004) - [j8]Agostino Dovier, Carla Piazza, Enrico Pontelli:
Disunification in ACI1 Theories. Constraints An Int. J. 9(1): 35-91 (2004) - [j7]Agostino Dovier, Carla Piazza, Alberto Policriti:
An efficient algorithm for computing bisimulation equivalence. Theor. Comput. Sci. 311(1-3): 221-256 (2004) - [j6]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) - [j5]Carla Piazza, Alberto Policriti:
Ackermann Encoding, Bisimulations, and OBDDs. Theory Pract. Log. Program. 4(5-6): 695-718 (2004) - [c31]Annalisa Bossi, Carla Piazza, Sabina Rossi:
Modelling Downgrading in Information Flow Security. CSFW 2004: 187- - [c30]Annalisa Bossi, Carla Piazza, Sabina Rossi:
Unwinding Conditions for Security in Imperative Languages. LOPSTR 2004: 85-100 - [c29]Carla Piazza, Enrico Pivato, Sabina Rossi:
CoPS - Checker of Persistent Security. TACAS 2004: 144-152 - 2003
- [j4]Raffaella Gentilini, Carla Piazza, Alberto Policriti:
From Bisimulation to Simulation: Coarsest Partition Problems. J. Autom. Reason. 31(1): 73-103 (2003) - [j3]George Goguadze, Carla Piazza, Yde Venema:
Simulating polyadic modal logics by monadic ones. J. Symb. Log. 68(2): 419-462 (2003) - [j2]Agostino Dovier, Carla Piazza:
The Subgraph Bisimulation Problem. IEEE Trans. Knowl. Data Eng. 15(4): 1055-1056 (2003) - [c28]Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni:
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. CMSB 2003: 57-74 - [c27]Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi:
Secure Contexts for Confidential Data. CSFW 2003: 14-28 - [c26]Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi:
Information Flow Security and Recursive Systems. ICTCS 2003: 369-382 - [c25]Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi:
Refinement Operators and Information Flow Security. SEFM 2003: 44-53 - [c24]Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Computing strongly connected components in a linear number of symbolic steps. SODA 2003: 573-582 - [c23]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 - [c22]Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza:
Complexity of Nesting Analysis in Mobile Ambients. VMCAI 2003: 86-101 - [c21]Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi:
Bisimulation and Unwinding for Verifying Possibilistic Security Properties. VMCAI 2003: 223-237 - [c20]Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi:
Unwinding in Information Flow Security. MEFISTO 2003: 127-154 - [c19]Chiara Braghin, Carla Piazza:
Checking Integrity via CoPS and Banana: the E-Commerce Case Study . MEFISTO 2003: 295-317 - [c18]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. MEFISTO 2003: 319-337 - [i2]Carla Piazza, Alberto Policriti:
Ackermann Encoding, Bisimulations, and OBDDs. CoRR cs.LO/0311018 (2003) - [i1]Agostino Dovier, Carla Piazza, Gianfranco Rossi:
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. CoRR cs.PL/0309045 (2003) - 2002
- [c17]Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi:
Transforming Processes to Check and Ensure Information Flow Security. AMAST 2002: 271-286 - [c16]Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi:
A Proof System for Information Flow Security. LOPSTR 2002: 199-218 - [c15]Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Simulation as Coarsest Partition Problem. TACAS 2002: 415-430 - [c14]Riccardo Focardi, Carla Piazza, Sabina Rossi:
Proofs Methods for Bisimulation Based Information Flow Security. VMCAI 2002: 16-31 - [c13]Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Simulation Reduction as Constraint. WFLP 2002: 145-161 - [c12]Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Rank-Based Symbolic Bisimulation (and Model Checking). WoLLIC 2002: 166-183 - 2001
- [c11]Agostino Dovier, Carla Piazza, Gianfranco Rossi:
Multiset constraints and P systems. APPIA-GULP-PRODE 2001: 97-112 - [c10]Carla Piazza, Alberto Policriti:
Deciding modal logics using tableaux and set theory. APPIA-GULP-PRODE 2001: 261-276 - [c9]Agostino Dovier, Carla Piazza, Alberto Policriti:
A Fast Bisimulation Algorithm. CAV 2001: 79-90 - 2000
- [j1]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi:
Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000) - [c8]Agostino Dovier, Carla Piazza, Alberto Policriti:
Comparing Expressiveness of Set Constructor Symbols. FroCoS 2000: 275-289 - [c7]