Concepedia

Author

Juan Chen

Also Known As

Chen Juan, JUAN CHEN, Juan CHEN, Juan Chen

45

Publications

836

Citations

14

H-Index

43

Concepts

All Affiliations

JC

About

Juan Chen is an author at Microsoft (United States) specializing in formal verification, formal methods, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

12

13

676

2

Computer Science

12

13

676

3

Computer Engineering

8

8

237

4

Education

1

1

14

5

Language Studies

1

1

14

Juan Chen

×

15

Publications

704

Citations

13

H-Index

YearCitations

2011

150

2011

135

2013

85

2014

59

2013

59

2003

40

2010

36

2003

24

2012

23

2008

20

Page 1