Rossi, Gianfranco

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. Automated Proof of Bell-LaPadula Security Properties
   2020/01/28 by Cristia, Maximiliano, Rossi, Gianfranco · 2 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)
3. Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra
   2021/01/19 by Cristiá, Maximiliano, Katz, Ricardo D., Rossi, Gianfranco · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. Integrating Cardinality Constraints into Constraint Logic Programming\n with Sets
   2021/02/10 by Maximiliano Cristiá, Gianfranco Rossi, Cristiá, Maximiliano +1 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
5. A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
   2021/05/06 by Maximiliano Cristiá, Cristiá, Maximiliano, Gianfranco Rossi +1 · 2 citations
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Software Engineering (cs.SE)
6. An Automatically Verified Prototype of a Landing Gear System
   2021/12/30 by Maximiliano Cristiá, Cristiá, Maximiliano, Gianfranco Rossi +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies #Software Engineering (cs.SE)