Concepedia

Simona Ronchi Della Rocca

SR

20

Publications

482

Citations

14

H-Index

1979

Active since

Affiliations

University of Turin(Current)

Université de Lorraine

University of Bologna

Laboratoire d'Informatique de Paris-Nord

University of Udine

Simona Ronchi Della Rocca is an author at University of Turin specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceMathematical FoundationsProgram AnalysisFormal VerificationProgramming LanguagesComputational ComplexityLanguage

Publications per year

1979–2019

20

Publications

20

Operational, Denotational and Logical Descriptions: A Case Study1

Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca · Fundamenta Informaticae · 1992 · 66 citations

Functional Fragment, Engineering, Well-founded Semantics +18

Principal type scheme and unification for intersection type discipline

Simona Ronchi Della Rocca · Theoretical Computer Science · 1988 · 60 citations

Engineering, Generic Programming, Automated Reasoning +4

Call-by-value Solvability

Luca Paolini, Simona Ronchi Della Rocca · RAIRO - Theoretical Informatics and Applications · 1999 · 41 citations · Full text

Decision Procedure, Engineering, Automated Reasoning +10

A logical account of pspace

Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca · 2008 · 34 citations

Logical Account, Engineering, Domain Theory +12

Lambda Calculus and Intuitionistic Linear Logic

Simona Ronchi Della Rocca, Luca Roversi · Studia Logica · 1997 · 32 citations

Rows per page

1–5 of 20