Ching Hoo Tang

According to our database, Ching Hoo Tang authored at least 7 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Logics for rule-based configuration systems.

Ching Hoo Tang

PhD thesis, 2017

2016

A Dynamic Logic for Configuration.

Ching Hoo Tang, Christoph Weidenbach

Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., 2016

2015

Optimising Spatial and Tonal Data for PDE-based Inpainting.

Laurent Hoeltgen, Markus Mainberger, Sebastian Hoffmann, Joachim Weickert, Ching Hoo Tang, Simon Setzer, Daniel Johannsen, Frank Neumann, Benjamin Doerr

CoRR, 2015

2013

Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material).

Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski

CoRR, 2013

Automated verification of interactive rule-based configuration systems.

Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2011

Optimising Spatial and Tonal Data for Homogeneous Diffusion Inpainting.

Markus Mainberger, Sebastian Hoffmann, Joachim Weickert, Ching Hoo Tang, Daniel Johannsen, Frank Neumann, Benjamin Doerr

Proceedings of the Scale Space and Variational Methods in Computer Vision, 2011

2008

How Single Ant ACO Systems Optimize Pseudo-Boolean Functions.

Benjamin Doerr, Daniel Johannsen, Ching Hoo Tang

Proceedings of the Parallel Problem Solving from Nature, 2008