Concepedia

Author

Ruyi Ji

Peking UniversityORCID

Also Known As

Ji Ruyi, Ji, Ruyi, Ruyi Ji

28

Publications

157

Citations

5

H-Index

25

Concepts

All Affiliations

Peking University
RJ

About

Ruyi Ji is an author at Peking University specializing in formal methods, program analysis, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

117

2

Computer Science

4

4

117

3

Computer Engineering

1

1

54

4

Compilers

1

1

54

5

Computational Linguistics

1

1

32

Ruyi Ji

×

5

Publications

130

Citations

5

H-Index

YearCitations

Page 1