Concepedia

Francesca Scozzari

FS

8

Publications

436

Citations

8

H-Index

1998

Active since

Affiliations

University of Chieti-Pescara(Current)

University of Pisa

University of Padua

University of Verona

Francesca Scozzari is an author at University of Chieti-Pescara specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSemanticsVerificationLogic ProgrammingSoftware Analysis

Publications per year

1998–2020

8

Publications

8

Making abstract interpretations complete

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari · Journal of the ACM · 2000 · 249 citations · Full text

Underlying Abstract Domains, Engineering, Well-founded Semantics +18

Using text mining and sentiment analysis to analyse YouTube Italian videos concerning vaccination

Annamaria Porreca, Francesca Scozzari, Marta Di Nicola · BMC Public Health · 2020 · 54 citations · Full text

A logical model for relational abstract domains

Roberto Giacobazzi, Francesca Scozzari · ACM Transactions on Programming Languages and Systems · 1998 · 51 citations · Full text

Logical Model, Engineering, Well-founded Semantics +17

Making abstract domains condensing

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari · ACM Transactions on Computational Logic · 2005 · 22 citations · Full text

Abstract Domain, Engineering, Domain Theory +14

The Abstract Domain of Parallelotopes

Gianluca Amato, Francesca Scozzari · Electronic Notes in Theoretical Computer Science · 2012 · 20 citations · Full text

Rows per page

1–5 of 8