Concepedia

Author

Ruggero Lanotte

Also Known As

LANOTTE, RUGGERO, Lanotte, Ruggero, R. Lanotte, Ruggero Lanotte

99

Publications

791

Citations

16

H-Index

38

Concepts

All Affiliations

RL

About

Ruggero Lanotte is an author at University of Insubria specializing in formal verification, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

12

15

304

2

Computer Science

12

14

292

3

Systems Engineering

8

8

171

4

Communication

1

1

15

5

Computer Engineering

1

1

52

Ruggero Lanotte

×

17

Publications

390

Citations

13

H-Index

YearCitations

2006

72

2020

52

2018

38

2009

25

2008

25

2003

23

2002

17

2000

16

2010

16

2009

15

Page 1