Concepedia

Jing Sun

JS

40

Publications

1K

Citations

19

H-Index

2001

Active since

Affiliations

University of Auckland(Current)

National University of Singapore

Tsinghua University

University of Manchester

Jing Sun is an author at University of Auckland specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationSoftware DesignFormal MethodsSystems EngineeringSoftware EngineeringVerificationSoftware AnalysisProgram Analysis

Publications per year

2001–2023

40

Publications

40

Formal semantics and verification for feature modeling

Jing Sun, Hongyu Zhang, Yuan Fang et al. · 2005 · 112 citations

Engineering, Verification, Software Engineering +21

Verifying feature models using OWL

Hai Wang, Yuan-Fang Li, Jing Sun et al. · Journal of Web Semantics · 2007 · 111 citations

Engineering, Automated Reasoning, Verification +9

A semantic web approach to feature modeling and verification

Hai Wang, Yuan-Fang Li, Jing Sun et al. · 2005 · 58 citations

Supplier risk management: An economic model of P-chart considered due-date and quality risks

Jing Sun, Masayuki Matsui, Yong Yin · International Journal of Production Economics · 2012 · 47 citations

Supplier Relationship, Quality Risks, Risk Management +13

Design and Application of Intelligent Classroom for English Language and Literature Based on Artificial Intelligence Technology

Xi Zhang, Jing Sun, Yiting Deng · Applied Artificial Intelligence · 2023 · 43 citations · Full text

Rows per page

1–5 of 40