Concepedia

Author

Simona Ronchi Della Rocca

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

1K

Citations

18

H-Index

22

Concepts

All Affiliations

SR

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

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

×

20

Publications

482

Citations

14

H-Index

YearCitations

1992

66

1988

60

1999

41

2008

34

1997

32

2010

30

2007

26

1993

23

1997

20

2003

18

Page 1