Carla Piazza - RankMe

128 papers A* 3A 3B 11C 9Journal 43Unranked 54

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Advanced Research on Machine Learning Algorithms in Bioinformatics. Algorithms Roberto Pagliarini, Carla Piazza
2025	J	`jnl`	CNOT Minimal Circuit Synthesis: A Reinforcement Learning Approach. CoRR Riccardo Romanello, Daniele Lizzio Bosco, Jacopo Cossio, Dusan Sutulovic, Giuseppe Serra, Carla Piazza, Paolo Burelli
2025	J	`jnl`	Exact Persistent Stochastic Non-Interference. CoRR Carla Piazza, Riccardo Romanello, Sabina Rossi
2025	C	`conf`	Modeling Reentrancy in Smart Contracts through Noninterference. DLT Lorenzo Benetollo, Semia Guesmi, Carla Piazza, Dalila Ressi, Sabina Rossi, Alvise Spanò
2024	J	`jnl`	AI-enhanced blockchain technology: A review of advancements and opportunities. J. Netw. Comput. Appl. Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi
2024	J	`jnl`	Classical computation over quantum architectures. J. Log. Comput. Alex Della Schiava, Carla Piazza, Riccardo Romanello
2024	J	`jnl`	Compressing neural networks via formal methods. Neural Networks Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza
2024	B	`conf`	Cosmos discovery: Quantitative assessment of Cosmos blockchain. MASCOTS Daria Smuseva, Carla Piazza, Ivan Malakhov, Andrea Marin, Sabina Rossi
2024	J	`jnl`	Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains. Algorithms Carla Piazza, Sabina Rossi, Daria Smuseva
2024	—	`conf`	Generalized Proportional Lumpability. VALUETOOLS Carla Piazza, Sabina Rossi
2024	J	`jnl`	Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE. IEEE ACM Trans. Comput. Biol. Bioinform. Nicolò Rossi, Nicola Gigante, Nicola Vitacolonna, Carla Piazza
2024	C	`conf`	Noninterference Analysis for Smart Contracts: Would you Bet on it? DLT Samia Guesmi, Carla Piazza, Sabina Rossi
2024	J	`jnl`	Quantum encoding of dynamic directed graphs. J. Log. Algebraic Methods Program. Davide Della Giustina, C. Londero, Carla Piazza, Brian Riccardi, Riccardo Romanello
2024	—	`conf`	Speeding up Answer Set Programming by Quantum Computing. QUASAR@HPDC Riccardo Romanello, Davide Della Giustina, Stefano Pessotto, Carla Piazza
2024	—	`conf`	Towards a Computational Approach to Quantification of Allele Specific Expression at Population Level. IWBBIO (2) Roberto Pagliarini, Fabio Marroni, Carla Piazza, Giovanni Gabelli, Gabriele Magris, Gabriele Di Gaspero, Michele Morgante, Alberto Policriti
2024	—	`conf`	Under the Space Threat: Quantitative Analysis of Cosmos Blockchain. EPEW Daria Smuseva, Ivan Malakhov, Andrea Marin, Carla Piazza, Sabina Rossi
2024	J	`jnl`	Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis. CoRR Dalila Ressi, Alvise Spanò, Lorenzo Benetollo, Carla Piazza, Michele Bugliesi, Sabina Rossi
2023	—	`conf`	Adaptive Directions for Bernstein-Based Polynomial Set Evolution. RP Alberto Casagrande, Carla Piazza
2023	—	`conf`	An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits. CILC Carla Piazza, Riccardo Romanello, Robert Wille
2023	—	`conf`	Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto. CILC Alex Della Schiava, Carla Piazza, Riccardo Romanello
2023	—	`conf`	Set-Based Invariants over Polynomial Systems. CILC Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta
2023	—	`conf`	Synthesis of CNOT minimal quantum circuits with topological constraints through ASP. AIQxQIA@AI*IA Carla Piazza, Riccardo Romanello
2022	C	`conf`	Directed Graph Encoding in Quantum Computing Supporting Edge-Failures. RC Davide Della Giustina, Carla Piazza, Brian Riccardi, Riccardo Romanello
2022	—	`conf`	Mirrors and Memory in Quantum Automata. QEST Carla Piazza, Riccardo Romanello
2022	—	`conf`	Neural Networks Reduction via Lumping. AI*IA Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi
2022	J	`jnl`	Neural Networks Reduction via Lumping. CoRR Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza
2022	J	`jnl`	Parameter synthesis of polynomial dynamical systems. Inf. Comput. Alberto Casagrande, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia
2022	J	`jnl`	Proportional lumpability and proportional bisimilarity. Acta Informatica Andrea Marin, Carla Piazza, Sabina Rossi
2022	J	`jnl`	WGA-LP: a pipeline for whole genome assembly of contaminated reads. Bioinform. Nicolò Rossi, Andrea Colautti, L. Iacumin, Carla Piazza
2021	J	`jnl`	Persistent Stochastic Non-Interference. Fundam. Informaticae Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
2021	—	`conf`	Reasoning About Proportional Lumpability. QEST Carla Piazza, Sabina Rossi
2019	—	`conf`	A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. CILC Andrea Marin, Carla Piazza, Sabina Rossi
2019	—	`conf`	A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. QEST Andrea Marin, Carla Piazza, Sabina Rossi
2019	—	`conf`	Delimited Persistent Stochastic Non-Interference. VALUETOOLS Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
2019	—	`conf`	Proportional Lumpability. FORMATS Andrea Marin, Carla Piazza, Sabina Rossi
2019	—	`ch.`	Set-Based Analysis for Biological Modeling. Automated Reasoning for Systems Biology and Medicine Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca
2018	—	`conf`	Information Flow Security for Stochastic Processes. EPEW Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
2018	J	`jnl`	Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses. Inf. Comput. Giacomo Alzetta, Andrea Marin, Carla Piazza, Sabina Rossi
2018	—	`conf`	Persistent Stochastic Non-Interference. EXPRESS/SOS Jane Hillston, Carla Piazza, Sabina Rossi
2017	—	`conf`	Efficient Computation of Renaming Functions for ρ-reversible Discrete and Continuous Time Markov Chains. VALUETOOLS Matteo Sottana, Carla Piazza, Andrea Albarelli
2017	J	`jnl`	Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface. Inf. Comput. Adriano Peron, Carla Piazza
2017	J	`jnl`	Reachability computation for polynomial dynamical systems. Formal Methods Syst. Des. Tommaso Dreossi, Thao Dang, Carla Piazza
2017	J	`jnl`	Verifying Quantum Programs: From Quipper to QPMC. CoRR Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani
2017	—	`conf`	\mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains. InfQ@VALUETOOLS Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani
2016	—	`conf`	Parallelotope Bundles for Polynomial Reachability. HSCC Tommaso Dreossi, Thao Dang, Carla Piazza
2016	C	`conf`	Towards Quantum Programs Verification: From Quipper Circuits to QPMC. RC Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani
2015	—	`ed.`	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 HSB Oded Maler, Ádám M. Halász, Thao Dang, Carla Piazza
2015	—	`conf`	Is Hyper-extensionality Preservable Under Deletions of Graph Elements? ICTCS Alberto Casagrande, Carla Piazza, Alberto Policriti
2015	B	`conf`	Parameter Synthesis Through Temporal Logic Specifications. FM Thao Dang, Tommaso Dreossi, Carla Piazza
2015	J	`jnl`	Rank and simulation: the well-founded case. J. Log. Comput. Raffaella Gentilini, Carla Piazza, Alberto Policriti
2015	J	`jnl`	Unwinding biological systems. Theor. Comput. Sci. Alberto Casagrande, Carla Piazza
2014	—	`conf`	External Interactions on Hybrid Models of Biological Systems. FMMB Alberto Casagrande, Carla Piazza
2014	—	`ed.`	Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings FMMB François Fages, Carla Piazza
2014	—	`conf`	Hyper-Extensionality and One-Node Elimination on Membership Graphs. CILC Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu
2014	—	`conf`	Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. HSB Thao Dang, Tommaso Dreossi, Carla Piazza
2014	—	`ed.`	Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014. GandALF Adriano Peron, Carla Piazza
2014	J	`jnl`	ϵ-Semantics computations on biological systems. Inf. Comput. Alberto Casagrande, Tommaso Dreossi, Jana Fabriková, Carla Piazza
2013	J	`jnl`	A graph-theoretic approach to map conceptual designs to XML schemas. ACM Trans. Database Syst. Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza
2013	—	`conf`	Approximated Symbolic Computations over Hybrid Automata. HAS Alberto Casagrande, Tommaso Dreossi, Carla Piazza
2013	—	`conf`	Contextual lumpability. VALUETOOLS Jane Hillston, Andrea Marin, Sabina Rossi, Carla Piazza
2013	—	`ed.`	Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013. HSB Thao Dang, Carla Piazza
2012	—	`conf`	Hybrid Automata and ε-Analysis on a Neural Oscillator HSB Alberto Casagrande, Tommaso Dreossi, Carla Piazza
2012	C	`conf`	Model Checking on Hybrid Automata. DSD Alberto Casagrande, Carla Piazza
2012	—	`conf`	Rank-Based Simulation on Acyclic Graphs. CILC Raffaella Gentilini, Carla Piazza, Alberto Policriti
2010	—	`conf`	From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). SEBD Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza
2010	J	`jnl`	Hybrid automata, reachability, and Systems Biology. Theor. Comput. Sci. Dario Campagna, Carla Piazza
2010	J	`jnl`	Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). Fundam. Informaticae Dario Campagna, Christian De Rosa, Agostino Dovier, Angelo Montanari, Carla Piazza
2009	J	`jnl`	Discrete Semantics for Hybrid Automata. Discret. Event Dyn. Syst. Alberto Casagrande, Carla Piazza, Alberto Policriti
2009	—	`conf`	From Entity Relationship to XML Schema: A Graph-Theoretic Approach. XSym Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza
2008	J	`jnl`	A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. ACM Trans. Comput. Log. Agostino Dovier, Carla Piazza, Gianfranco Rossi
2008	B	`conf`	Decidable Compositions of O-Minimal Automata. ATVA Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
2008	—	`conf`	External Control in Process Algebra for Systems Biology. MeCBIC Filippo Del Tedesco, Carla Piazza
2008	—	`conf`	Hybrid Automata in Systems Biology: How Far Can We Go? FBTC@ICALP Dario Campagna, Carla Piazza
2008	J	`jnl`	Inclusion dynamics hybrid automata. Inf. Comput. Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra
2008	—	`conf`	PicNIc - Pi-calculus non-interference checker. ACSD Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi
2008	J	`jnl`	Symbolic Graphs: Linear Solutions to Connectivity Related Problems. Algorithmica Raffaella Gentilini, Carla Piazza, Alberto Policriti
2008	B	`conf`	Systems Biology: Models and Logics. ICLP Carla Piazza, Alberto Policriti
2007	C	`conf`	Action Refinement in Process Algebra and Security Issues. LOPSTR Annalisa Bossi, Carla Piazza, Sabina Rossi
2007	—	`conf`	Composing Semi-algebraic O-Minimal Automata. HSCC Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
2007	J	`jnl`	Compositional information flow security for concurrent programs. J. Comput. Secur. Annalisa Bossi, Carla Piazza, Sabina Rossi
2007	—	`conf`	Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction. AB Alberto Casagrande, Kevin Casey, Rachele Falchi, Carla Piazza, Benedetto Ruperti, Giannina Vizzotto, Bud Mishra
2005	A*	`conf`	Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. CAV Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
2005	B	`conf`	Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. ATVA Venkatesh Mysore, Carla Piazza, Bud Mishra
2005	J	`jnl`	Information flow in secure contexts. J. Comput. Secur. Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
2005	—	`conf`	Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. CDC/ECC Alberto Casagrande, Carla Piazza, Bud Mishra
2004	J	`jnl`	Ackermann Encoding, Bisimulations, and OBDDs. Theory Pract. Log. Program. Carla Piazza, Alberto Policriti
2004	J	`jnl`	An efficient algorithm for computing bisimulation equivalence. Theor. Comput. Sci. Agostino Dovier, Carla Piazza, Alberto Policriti
2004	A	`conf`	CoPS - Checker of Persistent Security. TACAS Carla Piazza, Enrico Pivato, Sabina Rossi
2004	J	`jnl`	Disunification in Constraints An Int. J. Agostino Dovier, Carla Piazza, Enrico Pontelli
2004	—	`conf`	Modelling Downgrading in Information Flow Security. CSFW Annalisa Bossi, Carla Piazza, Sabina Rossi
2004	J	`jnl`	Nesting analysis of mobile ambients. Comput. Lang. Syst. Struct. Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2004	J	`jnl`	Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theor. Comput. Sci. Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra
2004	C	`conf`	Unwinding Conditions for Security in Imperative Languages. LOPSTR Annalisa Bossi, Carla Piazza, Sabina Rossi
2004	J	`jnl`	Verifying persistent security properties. Comput. Lang. Syst. Struct. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2003	J	`jnl`	A uniform approach to constraint-solving for lists, multisets, compact lists, and sets CoRR Agostino Dovier, Carla Piazza, Gianfranco Rossi
2003	J	`jnl`	Ackermann Encoding, Bisimulations, and OBDDs CoRR Carla Piazza, Alberto Policriti
2003	A	`conf`	BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2003	—	`conf`	Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. MEFISTO Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2003	B	`conf`	Bisimulation and Unwinding for Verifying Possibilistic Security Properties. VMCAI Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2003	—	`conf`	Checking Integrity via CoPS and Banana: the E-Commerce Case Study . MEFISTO Chiara Braghin, Carla Piazza
2003	B	`conf`	Complexity of Nesting Analysis in Mobile Ambients. VMCAI Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2003	A*	`conf`	Computing strongly connected components in a linear number of symbolic steps. SODA Raffaella Gentilini, Carla Piazza, Alberto Policriti
2003	J	`jnl`	From Bisimulation to Simulation: Coarsest Partition Problems. J. Autom. Reason. Raffaella Gentilini, Carla Piazza, Alberto Policriti
2003	—	`conf`	Information Flow Security and Recursive Systems. ICTCS Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
2003	—	`conf`	Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. CMSB Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni
2003	B	`conf`	Refinement Operators and Information Flow Security. SEFM Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2003	—	`conf`	Secure Contexts for Confidential Data. CSFW Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
2003	J	`jnl`	Simulating polyadic modal logics by monadic ones. J. Symb. Log. George Goguadze, Carla Piazza, Yde Venema
2003	J	`jnl`	The Subgraph Bisimulation Problem. IEEE Trans. Knowl. Data Eng. Agostino Dovier, Carla Piazza
2003	—	`conf`	Unwinding in Information Flow Security. MEFISTO Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi
2002	C	`conf`	A Proof System for Information Flow Security. LOPSTR Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2002	B	`conf`	Proofs Methods for Bisimulation Based Information Flow Security. VMCAI Riccardo Focardi, Carla Piazza, Sabina Rossi
2002	C	`conf`	Rank-Based Symbolic Bisimulation (and Model Checking). WoLLIC Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti
2002	—	`conf`	Simulation Reduction as Constraint. WFLP Raffaella Gentilini, Carla Piazza, Alberto Policriti
2002	A	`conf`	Simulation as Coarsest Partition Problem. TACAS Raffaella Gentilini, Carla Piazza, Alberto Policriti
2002	—	`conf`	Transforming Processes to Check and Ensure Information Flow Security. AMAST Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2001	A*	`conf`	A Fast Bisimulation Algorithm. CAV Agostino Dovier, Carla Piazza, Alberto Policriti
2001	—	`conf`	Deciding modal logics using tableaux and set theory. APPIA-GULP-PRODE Carla Piazza, Alberto Policriti
2001	—	`conf`	Multiset constraints and P systems. APPIA-GULP-PRODE Agostino Dovier, Carla Piazza, Gianfranco Rossi
2000	—	`conf`	Comparing Expressiveness of Set Constructor Symbols. FroCoS Agostino Dovier, Carla Piazza, Alberto Policriti
2000	—	`conf`	Multiset Constraints and P Systems. WMP Agostino Dovier, Carla Piazza, Gianfranco Rossi
2000	J	`jnl`	Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
2000	B	`conf`	Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory. TABLEAUX Carla Piazza, Alberto Policriti
1999	B	`conf`	ACI1 Constraints. ICLP Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
1999	—	`conf`	ACI1 constraints. APPIA-GULP-PRODE Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
1999	—	`conf`	Comparing expressiveness of set constructor symbols. APPIA-GULP-PRODE Agostino Dovier, Carla Piazza, Alberto Policriti
1998	—	`conf`	Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. APPIA-GULP-PRODE Agostino Dovier, Carla Piazza, Gianfranco Rossi
1998	—	`conf`	On the Representation and Management of Finite Sets in CLP Languages. IJCSLP Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli