Francesca Scozzari
University of Chieti-Pescara(IT)Azienda USL di Pescara(IT)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Parallel Computing and Optimization Techniques, Software Testing and Debugging Techniques
Most-Cited Works
- → Making abstract interpretations complete(2000)249 cited
- → Using text mining and sentiment analysis to analyse YouTube Italian videos concerning vaccination(2020)56 cited
- → A logical model for relational abstract domains(1998)51 cited
- → Localizing Widening and Narrowing(2013)25 cited
- → Making abstract domains condensing(2005)22 cited
- → Complete abstract interpretations made constructive(1998)21 cited
- → The Abstract Domain of Parallelotopes(2012)20 cited