Concepedia

Author

Stefano Baratella

University of TrentoORCID

Also Known As

Baratella, Stefano, S Baratella, S. Baratella, STEFANO BARATELLA, Stefano Baratella

46

Publications

130

Citations

6

H-Index

6

Concepts

All Affiliations

University of TrentoUniversity of Verona
SB

About

Stefano Baratella is an author at University of Trento specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

37

2

Automated Reasoning

2

2

37

3

Formal Methods

2

2

37

4

Formal Verification

1

1

17

5

Proof Complexity

1

1

20

Stefano Baratella

×

4

Publications

63

Citations

4

H-Index

YearCitations

Page 1