Concepedia

Author

Stavros Tripakis

University of California, BerkeleyORCID

Also Known As

DI NATALE, Marco, Dragomir, Iulia, S. Tripakis, STAVROS TRIPAKIS, Stavros Tripakis, Tripakis, Stavros

271

Publications

6.9K

Citations

47

H-Index

109

Concepts

All Affiliations

University of California, BerkeleyVerimagAalto UniversityCadence Design Systems (United States)Centre National de la Recherche Scientifique
ST

About

Stavros Tripakis is an author at University of California, Berkeley specializing in engineering, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

35

73

3.4K

2

Management

5

5

114

3

Social Sciences

5

5

233

4

Language Studies

1

1

42

5

Cognitive Science

1

1

17

Stavros Tripakis

×

79

Publications

3.9K

Citations

39

H-Index

YearCitations

Page 1