How Single Ant ACO Systems Optimize Pseudo-Boolean Functions. - Benjamin Doerr; Daniel Johannsen; Ching Hoo Tang (PPSN, 2008)

Optimising Spatial and Tonal Data for Homogeneous Diffusion Inpainting. - Markus Mainberger; Sebastian Hoffmann 001; Joachim Weickert; Ching Hoo Tang; Daniel Johannsen; Frank Neumann 001; Benjamin Doerr (SSVM, 2011)

Automated verification of interactive rule-based configuration systems. - Deepak Dhungana; Ching Hoo Tang; Christoph Weidenbach; Patrick Wischnewski (ASE, 2013)

Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material). - Deepak Dhungana; Ching Hoo Tang; Christoph Weidenbach; Patrick Wischnewski (CoRR, 2013)

Optimising Spatial and Tonal Data for PDE-based Inpainting. - Laurent Hoeltgen; Markus Mainberger; Sebastian Hoffmann 001; Joachim Weickert; Ching Hoo Tang; Simon Setzer; Daniel Johannsen; Frank Neumann 001; Benjamin Doerr (CoRR, 2015)

A Dynamic Logic for Configuration. - Ching Hoo Tang; Christoph Weidenbach (ARQNL@IJCAR, 2016)

Logics for rule-based configuration systems. - Ching Hoo Tang (2017)