Grounding Formulas with Complex Terms. - Amir Aavani; Xiongnan (Newman) Wu; Eugenia Ternovska; David G. Mitchell (Canadian AI, 2011)

Solving Modular Model Expansion: Case Studies. - Shahab Tasharrofi; Xiongnan (Newman) Wu; Eugenia Ternovska (INAP/WLP, 2011)

Solving Modular Model Expansion Tasks - Shahab Tasharrofi; Xiongnan (Newman) Wu; Eugenia Ternovska (CoRR, 2011)

Enfragmo: A System for Modelling and Solving Search Problems with Logic. - Amir Aavani; Xiongnan (Newman) Wu; Shahab Tasharrofi; Eugenia Ternovska; David G. Mitchell (LPAR, 2012)

Deep Specifications and Certified Abstraction Layers. - Ronghui Gu; Jérémie Koenig; Tahina Ramananandro; Zhong Shao 001; Xiongnan (Newman) Wu; Shu-Chun Weng; Haozhong Zhang; Yu Guo (POPL, 2015)

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. - Ronghui Gu; Zhong Shao 001; Hao Chen 023; Xiongnan (Newman) Wu; Jieung Kim; Vilhelm Sjöberg; David Costanzo (OSDI, 2016)

Certified concurrent abstraction layers. - Ronghui Gu; Zhong Shao 001; Jieung Kim; Xiongnan (Newman) Wu; Jérémie Koenig; Vilhelm Sjöberg; Hao Chen 023; David Costanzo; Tahina Ramananandro (PLDI, 2018)

Toward Compositional Verification of Interruptible OS Kernels and Device Drivers. - Hao Chen 023; Xiongnan (Newman) Wu; Zhong Shao 001; Joshua Lockerman; Ronghui Gu (J. Autom. Reason., 2018)

Building certified concurrent OS kernels. - Ronghui Gu; Zhong Shao 001; Hao Chen 023; Jieung Kim; Jérémie Koenig; Xiongnan (Newman) Wu; Vilhelm Sjöberg; David Costanzo (Commun. ACM, 2019)