Travelled to:1 × Denmark
1 × France
1 × Germany
1 × Italy
1 × Spain
1 × Sweden
1 × United Kingdom
2 × Belgium
3 × USA
Collaborated with:∅ C.T.Have O.T.Lassen M.Petit M.H.Kirkeby J.P.Gallagher C.M.Dahmcke V.Dahl D.Martinenghi
Talks about:constraint (3) program (3) languag (3) analysi (3) logic (3) data (3) transform (2) structur (2) approach (2) sequenc (2)
Person: Henning Christiansen
DBLP: Christiansen:Henning
Contributed to:
20142012
2012
201120102009
200720052003200219971994
1988Wrote 14 papers:
- LOPSTR-2014-ChristiansenK #confluence #constraints #equivalence
- Confluence Modulo Equivalence in Constraint Handling Rules (HC, MHK), pp. 41–58.
- LOPSTR-2012-ChristiansenHLP #data analysis #declarative #pipes and filters
- A Declarative Pipeline Language for Complex Data Analysis (HC, CTH, OTL, MP), pp. 17–34.
- PADL-2012-HaveC #performance #program transformation #using
- Efficient Tabling of Structured Data Using Indexing and Program Transformation (CTH, HC), pp. 93–107.
- ICLP-2011-ChristiansenHLP #analysis #network #sequence
- Bayesian Annotation Networks for Complex Sequence Analysis (HC, CTH, OTL, MP), pp. 220–230.
- ICLP-J-2010-ChristiansenHLP #markov #modelling
- Inference with constrained hidden Markov models in PRISM (HC, CTH, OTL, MP), pp. 449–464.
- ICLP-2009-ChristiansenG
- Non-discriminating Arguments and Their Uses (HC, JPG), pp. 55–69.
- ICLP-2009-ChristiansenL #analysis #modelling #optimisation #preprocessor #sequence
- Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis (HC, OTL), pp. 70–83.
- MLDM-2007-ChristiansenD #approach #case study #evaluation #generative #machine learning #testing
- A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders (HC, CMD), pp. 742–755.
- ICLP-2005-ChristiansenD #abduction #logic programming #named #programming language #prolog
- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction (HC, VD), pp. 159–173.
- LOPSTR-2003-ChristiansenM #approach #constraints #database
- Simplification of Database Integrity Constraints Revisited: A Transformational Approach (HC, DM), pp. 178–197.
- ICLP-2002-Christiansen #constraints #logic
- Logical Grammars Based on Constraint Handling Rules (HC), p. 481.
- LOPSTR-1997-Christiansen #synthesis
- Implicit Program Synthesis by a Reversible Metainterpreter (HC), pp. 90–110.
- ICLP-1994-Christiansen #performance
- Efficient and Complete Demo Predicates for Definite Clause Languages (HC), pp. 735–736.
- PLILP-1988-Christiansen #attribute grammar
- Structure Sharing in Attribute Grammars (HC), pp. 180–200.