Christian Theil Have

According to our database, Christian Theil Have authored at least 19 papers between 2009 and 2019.

Collaborative distances:

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

2019

Probabilistic Logic Programming (PLP 2017).

Christian Theil Have, Riccardo Zese

Int. J. Approx. Reason., 2019

2018

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, Palle Villesen, Laurits Skov, Kirstine Belling, Christian Theil Have, José M. G. Izarzugaza, Marie Grosjean, Jette Bork-Jensen, Jakob Grove, Thomas D. Als, Shujia Huang, Yuqi Chang, Ruiqi Xu, Weijian Ye, Junhua Rao, Xiaosen Guo, Jihua Sun, Hongzhi Cao, Chen Ye, John van Beusekom, Thomas Espeseth, Esben N. Flindt, Rune M. Friborg, Anders E. Halager, Stephanie Le Hellard, Christina M. Hultman, Francesco Lescai, Shengting Li, Ole Lund, Peter Løngreen, Thomas Mailund, Ole Mors, Christian N. S. Pedersen, Thomas Sicheritz-Pontén, Patrick F. Sullivan, Ali Syed, David Westergaard, Rachita Yadav, Ning Li, Xun Xu, Torben Hansen, Anders Krogh, Lars Bolund, Thorkild I. A. Sørensen, Oluf Pedersen, Ramneek Gupta, Simon Rasmussen, Søren Besenbacher, Anders D. Børglum, Jun Wang, Hans Eiberg, Karsten Kristiansen, Mikkel Heide Schierup, Søren Brunak

BMC Bioinform., 2018

2017

Sequencing and <i>de novo</i> assembly of 150 genomes from Denmark as a population reference.

Lasse Maretty, Jacob Malte Jensen, Bent Petersen, Jonas Andreas Sibbesen, Siyang Liu, Palle Villesen, Laurits Skov, Kirstine Belling, Christian Theil Have, José M. G. Izarzugaza, Marie Grosjean, Jette Bork-Jensen, Jakob Grove, Thomas D. Als, Shujia Huang, Yuqi Chang, Ruiqi Xu, Weijian Ye, Junhua Rao, Xiaosen Guo, Jihua Sun, Hongzhi Cao, Chen Ye, John van Beusekom, Thomas Espeseth, Esben N. Flindt, Rune M. Friborg, Anders E. Halager, Stephanie Le Hellard, Christina M. Hultman, Francesco Lescai, Shengting Li, Ole Lund, Peter Løngreen, Thomas Mailund, Maria Luisa Matey-Hernandez, Ole Mors, Christian N. S. Pedersen, Thomas Sicheritz-Pontén, Patrick F. Sullivan, Ali Syed, David Westergaard, Rachita Yadav, Ning Li, Xun Xu, Torben Hansen, Anders Krogh, Lars Bolund, Thorkild I. A. Sørensen, Oluf Pedersen, Ramneek Gupta, Simon Rasmussen, Søren Besenbacher, Anders D. Børglum, Jun Wang, Hans Eiberg, Karsten Kristiansen, Søren Brunak, Mikkel Heide Schierup

Nat., 2017

2016

Sampling Random Bioinformatics Puzzles using Adaptive Probability Distributions.

Christian Theil Have, Emil Vincent Appel, Jette Bork-Jensen, Ole Torp Lassen

Proceedings of the 3rd International Workshop on Probabilistic Logic Programming co-located with 26th International Conference on Inductive Logic Programming (ILP 2016), 2016

2015

Tracing Shifts in Emotions in Streaming Social Network Data.

Troels Andreasen, Henning Christiansen, Christian Theil Have

Proceedings of the Foundations of Intelligent Systems - 22nd International Symposium, 2015

2014

A Probabilistic Genome-Wide Gene Reading Frame Sequence Model.

Christian Theil Have, Søren Mørk

Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2014

2013

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems.

Ricardo Rocha, Christian Theil Have

CoRR, 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

BMC Bioinform., 2013

Are graph databases ready for bioinformatics?

Christian Theil Have, Lars Juhl Jensen

Bioinform., 2013

Querying Sentiment Development over Time.

Troels Andreasen, Henning Christiansen, Christian Theil Have

Proceedings of the Flexible Query Answering Systems - 10th International Conference, 2013

2012

Efficient tabling of structured data with enhanced hash-consing.

Neng-Fa Zhou, Christian Theil Have

Theory Pract. Log. Program., 2012

Efficient Tabling of Structured Data Using Indexing and Program Transformation.

Christian Theil Have, Henning Christiansen

Proceedings of the Practical Aspects of Declarative Languages, 2012

A Declarative Pipeline Language for Complex Data Analysis.

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

2011

Bayesian Annotation Networks for Complex Sequence Analysis.

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Modeling Repeats in DNA Using Probabilistic Extended Regular Expressions.

Christian Theil Have, Henning Christiansen

Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

Taming the Zoo of Discrete HMM Subspecies & Some of their Relatives.

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

2010

Inference with constrained hidden Markov models in PRISM.

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Theory Pract. Log. Program., 2010

2009

Stochastic Definite Clause Grammars.

Christian Theil Have

Proceedings of the Recent Advances in Natural Language Processing, 2009

Logic-Statistic Models with Constraints for Biological Sequence Analysis.

Christian Theil Have

Proceedings of the Logic Programming, 25th International Conference, 2009