Logic-Statistic Models with Constraints for Biological Sequence Analysis. - Christian Theil Have (ICLP, 2009)

Stochastic Definite Clause Grammars. - Christian Theil Have (RANLP, 2009)

Inference with constrained hidden Markov models in PRISM. - Henning Christiansen 001; Christian Theil Have; Ole Torp Lassen; Matthieu Petit (Theory Pract. Log. Program., 2010)

Taming the Zoo of Discrete HMM Subspecies & Some of their Relatives. - Henning Christiansen 001; Christian Theil Have; Ole Torp Lassen; Matthieu Petit (Biology, Computation and Linguistics, 2011)

Modeling Repeats in DNA Using Probabilistic Extended Regular Expressions. - Christian Theil Have; Henning Christiansen 001 (Biology, Computation and Linguistics, 2011)

Bayesian Annotation Networks for Complex Sequence Analysis. - Henning Christiansen 001; Christian Theil Have; Ole Torp Lassen; Matthieu Petit (ICLP (Technical Communications), 2011)

A Declarative Pipeline Language for Complex Data Analysis. - Henning Christiansen 001; Christian Theil Have; Ole Torp Lassen; Matthieu Petit (LOPSTR, 2012)

Efficient Tabling of Structured Data Using Indexing and Program Transformation. - Christian Theil Have; Henning Christiansen 001 (PADL, 2012)

Efficient tabling of structured data with enhanced hash-consing. - Neng-Fa Zhou; Christian Theil Have (Theory Pract. Log. Program., 2012)

Querying Sentiment Development over Time. - Troels Andreasen; Henning Christiansen 001; Christian Theil Have (FQAS, 2013)

Are graph databases ready for bioinformatics? - Christian Theil Have; Lars Juhl Jensen (Bioinform., 2013)

Effects of using coding potential, sequence conservation and mRNA structure conservation for predicting pyrroly-sine containing genes. - Christian Theil Have; Sine Zambach; Henning Christiansen 001 (BMC Bioinform., 2013)

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems. - Ricardo Rocha 001; Christian Theil Have (CoRR, 2013)

A Probabilistic Genome-Wide Gene Reading Frame Sequence Model. - Christian Theil Have; Søren Mørk (IWBBIO, 2014)

Tracing Shifts in Emotions in Streaming Social Network Data. - Troels Andreasen; Henning Christiansen 001; Christian Theil Have (ISMIS, 2015)

Sampling Random Bioinformatics Puzzles using Adaptive Probability Distributions. - Christian Theil Have; Emil Vincent Appel; Jette Bork-Jensen; Ole Torp Lassen (PLP@ILP, 2016)

Sequencing and de novo assembly of 150 genomes from Denmark as a population reference. - Lasse Maretty; Jacob Malte Jensen; Bent Petersen; Jonas Andreas Sibbesen; Siyang Liu 007; Palle Villesen; Laurits Skov; Kirstine Belling; Christian Theil Have; José M. G. Izarzugaza; Marie Grosjean; Jette Bork-Jensen; et al. (Nat., 2017)

Benchmarking the HLA typing performance of Polysolver and Optitype in 50 Danish parental trios. - Maria Luisa Matey-Hernandez; Lasse Maretty; Jacob Malte Jensen; Bent Petersen; Jonas Andreas Sibbesen; Siyang Liu 007; Palle Villesen; Laurits Skov; Kirstine Belling; Christian Theil Have; José M. G. Izarzugaza; Marie Grosjean; et al. (BMC Bioinform., 2018)

Probabilistic Logic Programming (PLP 2017). - Christian Theil Have; Riccardo Zese (Int. J. Approx. Reason., 2019)