Concepedia

Wei-Ngan Chin

WC

31

Publications

1.1K

Citations

18

H-Index

1992

Active since

Affiliations

National University of Singapore(Current)

Durham University

Singapore-MIT Alliance for Research and Technology

Teesside University

Shenzhen University

Wei-Ngan Chin is an author at National University of Singapore specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationAutomated ReasoningComputer EngineeringVerificationSoftware Engineering

Publications per year

1992–2017

31

Publications

31

Automated verification of shape, size and bag properties via user-defined predicates in separation logic

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen et al. · Science of Computer Programming · 2010 · 131 citations

Geometric Modeling, Computational Logic, Engineering +14

Towards an automated tupling strategy

Wei-Ngan Chin · 1993 · 91 citations

Artificial Intelligence, Engineering, Computer Graphic Technique +22

Calculating Sized Types

Wei-Ngan Chin, Siau‐Cheng Khoo · LISP and Symbolic Computation · 2001 · 67 citations

Safe fusion of functional expressions

Wei-Ngan Chin · 1992 · 63 citations · Full text

Engineering, Computer Architecture, Software Engineering +25

Enhancing modular OO verification with separation logic

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen et al. · 2008 · 62 citations

Program Checking, Engineering, Verification +20

Rows per page

1–5 of 31