 | 2012 |
| 5 |  | Christian Theil Have,
Henning Christiansen:
Efficient Tabling of Structured Data Using Indexing and Program Transformation.
PADL 2012: 93-107 |
| 2011 |
| 4 |  | Henning Christiansen,
Christian Theil Have,
Ole Torp Lassen,
Matthieu Petit:
Bayesian Annotation Networks for Complex Sequence Analysis.
ICLP (Technical Communications) 2011: 220-230 |
| 2010 |
| 3 |  | Henning Christiansen,
Christian Theil Have,
Ole Torp Lassen,
Matthieu Petit:
Inference with Constrained Hidden Markov Models in PRISM
CoRR abs/1007.5421: (2010) |
| 2 |  | Henning Christiansen,
Christian Theil Have,
Ole Torp Lassen,
Matthieu Petit:
Inference with constrained hidden Markov models in PRISM.
TPLP 10(4-6): 449-464 (2010) |
| 2009 |
| 1 |  | Christian Theil Have:
Logic-Statistic Models with Constraints for Biological Sequence Analysis.
ICLP 2009: 549-550 |