Concepedia

Zhenyu Qian

ZQ

5

Publications

414

Citations

5

H-Index

1994

Active since

Affiliations

Kestrel Institute(Current)

Zhenyu Qian is an author at Kestrel Institute specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationSystem SoftwareProgram AnalysisSoftware AnalysisComputer EngineeringSoftware Design

Publications per year

1994–2020

5

Publications

5

Short Text Topic Modeling Techniques, Applications, and Performance: A Survey

Jipeng Qiang, Zhenyu Qian, Yun Li et al. · IEEE Transactions on Knowledge and Data Engineering · 2020 · 296 citations

Short Texts, Engineering, Corpus Linguistics +22

Standard fixpoint iteration for Java bytecode verification

Zhenyu Qian · ACM Transactions on Programming Languages and Systems · 2000 · 41 citations · Full text

Java Bytecode Verification, Engineering, Verification +18

A formal specification of Java class loading

Zhenyu Qian, Allen Goldberg, Alessandro Coglio · 2000 · 40 citations

Engineering, Loading Mechanism, Verification +21

Toward a provably-correct implementation of the JVM bytecode verifier

Alessandro Coglio, Allen Goldberg, Zhenyu Qian · 2002 · 27 citations

Engineering, Bytecode Verifier, Verification +20

Higher-order equational logic programming

Zhenyu Qian · 1994 · 10 citations

Mathematical Programming, Computational Logic, Engineering +11

Rows per page

1–5 of 5