Concepedia

Huu Hai Nguyen

HH

11

Publications

564

Citations

11

H-Index

2005

Active since

Affiliations

National University of Singapore(Current)

Durham University

Singapore-MIT Alliance for Research and Technology

Massachusetts Institute of Technology

Huu Hai Nguyen is an author at National University of Singapore specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationVerificationAutomated ReasoningComputer EngineeringSoftware Engineering

Publications per year

2005–2020

11

Publications

11

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

Deciding Boolean Algebra with Presburger Arithmetic

Viktor Kunčak, Huu Hai Nguyen, Martin Rinard · Journal of Automated Reasoning · 2006 · 74 citations · Full text

Circuit Complexity, Algebraic Logic, Engineering +4

Detecting and eliminating memory leaks using cyclic memory allocation

Huu Hai Nguyen, Martin Rinard · 2007 · 66 citations

Engineering, Computer Architecture, Software Engineering +16

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

Analysing memory resource bounds for low-level programs

Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea et al. · 2008 · 58 citations · Full text

Memory Adequacy, Engineering, Compiler Technology +23

Rows per page

1–5 of 11