Piazza, Carla

1. A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
   2003/09/24 by Agostino Dovier, Dovier, Agostino, Carla Piazza +3 · 1 citation
   Computer Science · #Advanced Algebra and Logic #D.3.3 #F.2.2 #F.4.1 #FOS: Computer and information sciences #I.1.2 #I.2.3 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Symbolic Computation (cs.SC) #cs.LO #cs.PL #cs.SC #semigroups and automata theory
2. Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis
   2024/07/26 by Ressi, Dalila, Spanò, Alvise, Benetollo, Lorenzo +3 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG)