No photo of Henning Christiansen
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

1981 …2030
If you made any changes in Pure these will be visible here soon.

Research Output 1981 2018

Filter
Journal article
2017

Interactive Installations for Spatial Access to Artistic Sketchbooks

Christiansen, H. & Laursen, B. 2017 In : EAI Endrosed Trasactions on Creative Technologies. 4, 12, 8 p., e3

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

On proving confluence modulo equivalence for Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H. 2017 In : Formal Aspects of Computing. 29, 1, p. 57-95

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
2013

Effects of using coding potential, sequence conservation and mRNA structure conservation for predicting pyrroly-sine containing genes

Have, C. T., Zambach, S. & Christiansen, H. 2013 In : B M C Bioinformatics. 14, 1, 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2010

Inference with constrained hidden Markov models in PRISM

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M. 2010 In : Theory and Practice of Logic Programming. 10, 4-6, p. 449-464 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2009

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Christiansen, H. 2009 In : Journal of Applied Logic. 7, 3, p. 341-362

Research output: Contribution to journalJournal articleResearchpeer-review

2008

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules

Christiansen, H. 2008 In : Lecture Notes in Computer Science. 5388, p. 85-118

Research output: Contribution to journalJournal articleResearchpeer-review

2006

Introduction

Christiansen, H. & Hacid, M-S. 2006 In : Journal of Intelligent Information Systems. 26, 1, p. 5-6 2 p.

Research output: Contribution to journalJournal articleResearchpeer-review

On Simplification of Database Integrity Constraints

Christiansen, H. & Martinenghi, D. 2006 In : Fundamenta Informaticae. 71, p. 1-47 47 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2005

CHR grammars

Christiansen, H. 2005 In : Theory and Practice of Logic Programming. 4 & 5, p. 467-501

Research output: Contribution to journalJournal articleResearchpeer-review

2004

Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level

Christiansen, H. 2004 In : Computer Science Education. 14, 3, p. 205-234

Research output: Contribution to journalJournal articleResearchpeer-review

2003

Logic grammars for diagnosis and repair

Christiansen, H. 2003 In : International Journal on Artificial Intelligence Tools. 2, 3, p. 227-248

Research output: Contribution to journalJournal articleResearchpeer-review

2000

Symbolic constraints for meta-logic programming

Christiansen, H. & Martinenghi, D. 2000 In : Applied Artificial Intelligence. 14, 4, p. 345-367

Research output: Contribution to journalJournal articleResearchpeer-review

1998

Automated reasoning with a constraint-based metainterpreter

Christiansen, H. 1998 In : Journal of Logic and Algebraic Programming. 37, 1-3, p. 213-253

Research output: Contribution to journalJournal articleResearch

1997

Intelligent informationssøgning

Christiansen, H. 1997 In : RUC Nyt. 11

Research output: Contribution to journalJournal articleResearch

1992

Even non-recursive calls of binary demo may loop

Christiansen, H. 1992 In : Logic Programming. 5, 4, p. s. 16-17

Research output: Contribution to journalJournal articleResearch

1990

A survey of adaptable grammars

Christiansen, H. 1990 In : A C M / S I G P L A N Notices. 25, 11, p. s. 35-44

Research output: Contribution to journalJournal articleResearch

1989

Structure sharing in incremental systems

Christiansen, H. 1989 In : Structured programming. 10, 4, p. s. 169-186

Research output: Contribution to journalJournal articleResearch