Simona Ronchi Della Rocca

Author

Also Known As

Benedetti Simona, Della Rocca, Della Rocca, Simona Ronchi, International Conference on Typed Lambda Calculi and Applications 1995 Edinburgh, Kerinec, Axel, Ronchi Della Rocca, Simona, SIMONA RONCHI DELLA ROCCA, SIMONA RONCHI della ROCCA, Simona Ronchi Della Rocca, Simona Ronchi della Rocca

102

Publications

Citations

H-Index

Concepts

All Affiliations

University of Turin Université de Lorraine University of Bologna Laboratoire d'Informatique de Paris-Nord University of Udine

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	14	362
2	Computer Science	10	12	286
3	Language Studies	2	2	82
4	Linguistics	2	2	82
5	Compilers	2	2	79

Simona Ronchi Della Rocca

Publications

482

Citations

H-Index

Page 1

	Year	Citations
Operational, Denotational and Logical Descriptions: A Case Study1 Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca Fundamenta Informaticae Functional FragmentEngineeringWell-founded SemanticsSecd MachineSemantics	1992	66
Principal type scheme and unification for intersection type discipline Simona Ronchi Della Rocca Theoretical Computer Science EngineeringGeneric ProgrammingAutomated ReasoningType TheoryPrincipal Type Scheme	1988	60
Call-by-value Solvability Luca Paolini, Simona Ronchi Della Rocca RAIRO - Theoretical Informatics and Applications Decision ProcedureEngineeringAutomated ReasoningType TheoryLogical Characterization	1999	41
A logical account of pspace Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca Logical AccountEngineeringDomain TheoryAutomated ReasoningType Theory	2008	34
Lambda Calculus and Intuitionistic Linear Logic Simona Ronchi Della Rocca, Luca Roversi Studia Logica	1997	32
Linearity, Non-determinism and Solvability Michele Pagani, Simona Ronchi Della Rocca Fundamenta Informaticae	2010	30
A soft type assignment system for &lambda-calculus Marco Gaboardi, Simona Ronchi Della Rocca Computer Science Logic Mathematical ProgrammingEngineeringAutomated ReasoningProgram AnalysisType Theory	2007	26
Type Inference: Some Results, Some Problems1 Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca Fundamenta Informaticae EngineeringAutomated ReasoningType TheoryPrincipal Type SchemeDependently Typed Programming	1993	23
Comparing cubes of typed and type assignment systems Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Annals of Pure and Applied Logic EngineeringAutomated ReasoningProgram AnalysisType TheoryDependently Typed Programming	1997	20
Parametric parameter passing λ-calculus Luca Paolini, Simona Ronchi Della Rocca Information and Computation Parameterized AlgorithmParametric ParameterParameter IdentificationParametric Programming	2003	18

Page 1