Concepedia

Paola Giannini

PG

22

Publications

463

Citations

14

H-Index

1984

Active since

Affiliations

University of Turin(Current)

Università degli Studi del Piemonte Orientale “Amedeo Avogadro”

University of Genoa

Institut national de recherche en sciences et technologies du numérique

Imperial College London

Paola Giannini is an author at University of Turin specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisVerificationSystems EngineeringParallel Programming

Publications per year

1984–2023

22

Publications

22

More dynamic object reclassification

Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini et al. · ACM Transactions on Programming Languages and Systems · 2002 · 78 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +21

Characterization of typings in polymorphic type discipline

Paola Giannini, S. Ronchi Della Rocca · 2003 · 58 citations

Polymorphic Type Discipline, Engineering, Automated Reasoning +11

Type Checking for JavaScript

Christopher Anderson, Paola Giannini · Electronic Notes in Theoretical Computer Science · 2005 · 36 citations · Full text

Engineering, Generic Programming, Program Analysis +13

Type Inference: Some Results, Some Problems1

Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca · Fundamenta Informaticae · 1993 · 23 citations

Engineering, Automated Reasoning, Type Theory +11

Effectively given domains and lambda-calculus models

Paola Giannini, G. Longo · Information and Control · 1984 · 22 citations

Engineering, Domain Theory, Automated Reasoning +4

Rows per page

1–5 of 22