| 2016 | ILP | Sampling Random Bioinformatics Puzzles using Adaptive Probability Distributions. | Christian Theil Have, Emil Vincent Appel, Jette Bork-Jensen, Ole Torp Lassen |
| 2015 | ISMIS | Tracing Shifts in Emotions in Streaming Social Network Data. | Troels Andreasen, Henning Christiansen, Christian Theil Have |
| 2013 | FQAS | Querying Sentiment Development over Time. | Troels Andreasen, Henning Christiansen, Christian Theil Have |
| 2012 | LOPSTR | A Declarative Pipeline Language for Complex Data Analysis. | Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit |
| 2012 | PADL | Efficient Tabling of Structured Data Using Indexing and Program Transformation. | Christian Theil Have, Henning Christiansen |
| 2011 | ICLP | Bayesian Annotation Networks for Complex Sequence Analysis. | Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit |
| 2009 | ICLP | Logic-Statistic Models with Constraints for Biological Sequence Analysis. | Christian Theil Have |
| 2009 | RANLP | Stochastic Definite Clause Grammars. | Christian Theil Have |