BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Christiansen:Henning

Contributed to:

LOPSTR 20142014
LOPSTR 20122012
PADL 20122012
ICLP 20112011
ICLP 20102010
ICLP 20092009
MLDM 20072007
ICLP 20052005
LOPSTR 20032003
ICLP 20022002
LOPSTR 19971997
ICLP 19941994
PLILP 19881988

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.