Ching Hoo Tang

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Product Configuration

Automated Verification

Rule Based Systems

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Ching Hoo Tang, Christoph Weidenbach
A Dynamic Logic for Configuration. ARQNL@IJCAR (2016)
Laurent Hoeltgen, Markus Mainberger, Sebastian Hoffmann, Joachim Weickert, Ching Hoo Tang, Simon Setzer, Daniel Johannsen, Frank Neumann, Benjamin Doerr
Optimising Spatial and Tonal Data for PDE-based Inpainting. CoRR (2015)
Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski
Automated verification of interactive rule-based configuration systems. ASE (2013)
Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski
Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material). CoRR (2013)
Markus Mainberger, Sebastian Hoffmann, Joachim Weickert, Ching Hoo Tang, Daniel Johannsen, Frank Neumann, Benjamin Doerr
Optimising Spatial and Tonal Data for Homogeneous Diffusion Inpainting. SSVM (2011)
Benjamin Doerr, Daniel Johannsen, Ching Hoo Tang
How Single Ant ACO Systems Optimize Pseudo-Boolean Functions. PPSN (2008)