[11] Henning Christiansen.
Christian Theil Have, Ole Torp Lassen,
Matthieu Petit.
A Constraint Model for Constrained Hidden Markov Models: a first Biological Application
WCB09, Workshop on
Constraint Based Methods for Bioinformatics,
Associated to CP 2009.
Lisbon, Portugal, September 20, 2009.

[10] Christian Theil Have.
Stochastic Definite Clause Grammars. International Conference: Recent Advances in Natural Language Processing 2009 (to appear).
RANLP 2009, Recent Advances in Natural Language Processing
Bulgaria, September 14-17, 2009.
Available as pdf.

[9] Henning Christiansen,
Ole Torp Lassen,
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis.
Logic Programming. 25th International Conference, ICLP 2009.
Pasadena, California, USA, July 14-17, 2009.
*Lecture Notes in Computer Science* 5649, pp. 70-83, Springer 2009.

[8] Henning Christiansen,
John P. Gallagher.
Non-discriminating Arguments and their Uses.
Logic Programming. 25th International Conference, ICLP 2009.
Pasadena, California, USA, July 14-17, 2009.
*Lecture Notes in Computer Science* 5649, pp. 55-69, Springer 2009.

(Appointed the best paper of the conference)

[7] Christian Theil Have,
Logic-Statistic Models with Constraints for Biological Sequence Analysis,
Logic Programming. 25th International Conference, ICLP 2009
(doctoral consortium).
Pasadena, California, USA, July 14-17, 2009.

[6] Matthieu Petit, Henning Christiansen.
Un calcul de Viterbi pour un Modèle de Markov Caché Contraint.
*5ème
Journées Francophone de Programmation par Contraintes, JFPC*,
Orléans, France. June 3-5, 2009.

See online proceedings

[5] Yuan Zhang, HongBo Liu,
Overlapping Genes Detected by HMM Model in PRISM.
MSc thesis, Computer SCience, Roskilde University. 2009.
Available as pdf

[4] Ole Torp Lassen, Biosequence Analysis in PRISM.
Logic Programming. 24th International Conference, ICLP 2008
(doctoral consortium). Udine, Italy, December 9-13 2008.
*Lecture Notes in Computer Science* 5366, pp. 809-810, Springer 2008.

[3] Henning Christiansen, Ole Torp Lassen,
Optimization and evaluation of probabilistic-logic sequence models.
Proceedings of the International Workshop on
Statistical and Relational Learning in Bioinformatics, StReBio’08.
Associated to ECML PKDD 2008.
Antwerp, Belgium, September 19, 2008.

[2] Henning Christiansen,
Logic-statistic modeling and analysis of biological sequence data: a research agenda.
A. Doncescu,
P. A. Flach,
K. Inoue,
A. C. Kakas,
O. Ray (eds.),
Pre-Proceedings of the 2007 International Workshop on Abduction and Induction in Artificial Intelligence (AIAI'07).
pp. 42-49. (2007).

[1] Henning Christiansen, Christina Mackeprang Dahmcke,
A Machine Learning Approach to Test Data Generation:
A Case Study in Evaluation of Gene Finders.
Proceedings of MLDM'2007,
Machine Learning and Data Mining in Pattern Recognition
July 18-20, 2007, Leipzig/Germany, pp. 741-755.
*Lecture Notes in Artificial Intelligence* 4571, 2007.