Control Flow Treatment in a Simple Semantics-Directed Compiler Generator. - Henning Christiansen 001; Neil D. Jones (Formal Description of Programming Concepts, 1982)

Recognition of generative languages. - Henning Christiansen 001 (Programs as Data Objects, 1985)

Structure Sharing in Attribute Grammars. - Henning Christiansen 001 (PLILP, 1988)

Structure Sharing in Incremental Systems. - Henning Christiansen 001 (Struct. Program., 1989)

A survey of adaptable grammars. - Henning Christiansen 001 (ACM SIGPLAN Notices, 1990)

A Complete Resolution method for Logical Meta-Programming Languages. - Henning Christiansen 001 (META, 1992)

Negative Counterfactuals as Constraints in Deductive Databases. - Henning Christiansen 001; Troels Andreasen; Alf Beck Nielsen (FQAS, 1994)

Efficient and Complete Demo Predicates for Definite Clause Languages. - Henning Christiansen 001 (ICLP, 1994)

On Proof Predicates in Logic Programming. - Henning Christiansen 001 (ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, 1994)

Alternative Reasoning in a Metaprogramming System. - Henning Christiansen 001 (Deductive Databases / Abduction in Deductive Databases, 1995)

Counterfactual Exceptions in Deductive Database Queries. - Troels Andreasen; Henning Christiansen 001 (ECAI, 1996)

An Experimental Prototype for Flexible Query-Answering Mechanisms - A Metainterpretation Approach. - Henning Christiansen 001; Troels Andreasen (FQAS, 1996)

Flexible Query-Answering Systems Modelled in Metalogic Programming. - Troels Andreasen; Henning Christiansen 001 (KRDB, 1996)

Hypothetical Queries to Deductive Databases. - Troels Andreasen; Henning Christiansen 001 (DDLP, 1997)

Implicit Program Synthesis by a Reversible Metainterpreter. - Henning Christiansen 001 (LOPSTR, 1997)

A Practical Approach to Hypothetical Database Queries. - Henning Christiansen 001; Troels Andreasen (Transactions and Change in Logic Databases, 1998)

Knowledge Discovery for Flexible Querying. - Henrik Legind Larsen; Troels Andreasen; Henning Christiansen 001 (FQAS, 1998)

Automated Reasoning with a Constraint-Based Metainterpreter. - Henning Christiansen 001 (J. Log. Program., 1998)

Open Theories and Abduction for Context and Accommodation. - Henning Christiansen 001 (CONTEXT, 1999)

An Experimental CLP Platform for Integrity Constraints and Abduction. - Slim Abdennadher; Henning Christiansen 001 (FQAS, 2000)

Symbolic Constraints for Meta-Logic Programming. - Henning Christiansen 001; Davide Martinenghi (Appl. Artif. Intell., 2000)

CHR as grammar formalism. A first report - Henning Christiansen 001 (CoRR, 2001)

Logical Grammars Based on Constraint Handling Rules. - Henning Christiansen 001 (ICLP, 2002)

Simplification of Database Integrity Constraints Revisited: A Transformational Approach. - Henning Christiansen 001; Davide Martinenghi (LOPSTR, 2003)

A constraint-based bottom-up counterpart to definite clause grammars. - Henning Christiansen 001 (RANLP, 2003)

Logic Grammars for Diagnosis and Repair. - Henning Christiansen 001; Verónica Dahl (Int. J. Artif. Intell. Tools, 2003)

Simplification of Integrity Constraints for Data Integration. - Henning Christiansen 001; Davide Martinenghi (FoIKS, 2004)

Assumptions and Abduction in Prolog. - Henning Christiansen 001; Verónica Dahl (WLPE, 2004)

Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level. - Henning Christiansen 001 (Comput. Sci. Educ., 2004)

Efficient Integrity Checking for Databases with Recursive Views. - Davide Martinenghi; Henning Christiansen 001 (ADBIS, 2005)

Meaning in Context. - Henning Christiansen 001; Verónica Dahl (CONTEXT, 2005)

Transaction Management with Integrity Checking. - Davide Martinenghi; Henning Christiansen 001 (DEXA, 2005)

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. - Henning Christiansen 001; Verónica Dahl (ICLP, 2005)

Incremental Integrity Checking: Limitations and Possibilities. - Henning Christiansen 001; Davide Martinenghi (LPAR, 2005)

CHR grammars. - Henning Christiansen 001 (Theory Pract. Log. Program., 2005)

On the Implementation of Global Abduction. - Henning Christiansen 001 (CLIMA, 2006)

On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases. - Henning Christiansen 001; Davide Martinenghi (DEXA Workshops, 2006)

On Simplification of Database Integrity Constraints. - Henning Christiansen 001; Davide Martinenghi (Fundam. Informaticae, 2006)

Introduction. - Henning Christiansen 001; Mohand-Said Hacid (J. Intell. Inf. Syst., 2006)

Integrity Checking and Maintenance with Active Rules in XML Databases. - Henning Christiansen 001; Maria Rekouts (BNCOD Workshops, 2007)

A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders. - Henning Christiansen 001; Christina Mackeprang Dahmcke (MLDM, 2007)

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. - Henning Christiansen 001 (Constraint Handling Rules, 2008)

Non-discriminating Arguments and Their Uses. - Henning Christiansen 001; John P. Gallagher (ICLP, 2009)

Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. - Henning Christiansen 001; Ole Torp Lassen (ICLP, 2009)

Adaptable Grammars for Non-Context-Free Languages. - Henning Christiansen 001 (IWANN (1), 2009)

Abductive Logic Grammars. - Henning Christiansen 001; Verónica Dahl (WoLLIC, 2009)

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules. - Henning Christiansen 001 (J. Appl. Log., 2009)

Inference with constrained hidden Markov models in PRISM. - Henning Christiansen 001; Christian Theil Have; Ole Torp Lassen; Matthieu Petit (Theory Pract. Log. Program., 2010)

Taming the Zoo of Discrete HMM Subspecies & Some of their Relatives. - Henning Christiansen 001; Christian Theil Have; Ole Torp Lassen; Matthieu Petit (Biology, Computation and Linguistics, 2011)

Modeling Repeats in DNA Using Probabilistic Extended Regular Expressions. - Christian Theil Have; Henning Christiansen 001 (Biology, Computation and Linguistics, 2011)

Bayesian Annotation Networks for Complex Sequence Analysis. - Henning Christiansen 001; Christian Theil Have; Ole Torp Lassen; Matthieu Petit (ICLP (Technical Communications), 2011)

Resolving Relative Time Expressions in Dutch Text with Constraint Handling Rules. - Matje van de Camp; Henning Christiansen 001 (CSLP, 2012)

A Declarative Pipeline Language for Complex Data Analysis. - Henning Christiansen 001; Christian Theil Have; Ole Torp Lassen; Matthieu Petit (LOPSTR, 2012)

Efficient Tabling of Structured Data Using Indexing and Program Transformation. - Christian Theil Have; Henning Christiansen 001 (PADL, 2012)

Querying Sentiment Development over Time. - Troels Andreasen; Henning Christiansen 001; Christian Theil Have (FQAS, 2013)

Effects of using coding potential, sequence conservation and mRNA structure conservation for predicting pyrroly-sine containing genes. - Christian Theil Have; Sine Zambach; Henning Christiansen 001 (BMC Bioinform., 2013)

Constraint Programming for Context Comprehension. - Henning Christiansen 001 (Context in Computing, 2014)

Constraint Logic Programming for Resolution of Relative Time Expressions. - Henning Christiansen 001 (CiE, 2014)

Confluence Modulo Equivalence in Constraint Handling Rules. - Henning Christiansen 001; Maja H. Kirkeby (LOPSTR, 2014)

Ontology-Based Roles Association Networks for Visualizing Trends in Political Debate. - Troels Andreasen; Henning Christiansen 001; Mads Kæmsgaard Eberholst (CONTEXT, 2015)

Tracing Shifts in Emotions in Streaming Social Network Data. - Troels Andreasen; Henning Christiansen 001; Christian Theil Have (ISMIS, 2015)

Widening the Experience of Artistic Sketchbooks. - Henning Christiansen 001; Bjørn Laursen (ArtsIT/DLI, 2016)

Confluence and Convergence in Probabilistically Terminating Reduction Systems. - Maja H. Kirkeby; Henning Christiansen 001 (LOPSTR, 2017)

A simple script language for choreography of multiple, synchronizing non-anthropomorphic robots. - Henning Christiansen 001 (CoRR, 2017)

Interactive Installations for Spatial Access to Artistic Sketchbooks. - Henning Christiansen 001; Bjørn Laursen (EAI Endorsed Trans. Creative Technol., 2017)

On proving confluence modulo equivalence for Constraint Handling Rules. - Henning Christiansen 001; Maja H. Kirkeby (Formal Aspects Comput., 2017)

Natural language processing with (tabled and constraint) logic programming. - Henning Christiansen 001; Verónica Dahl (Declarative Logic Programming, 2018)

Confluence of CHR Revisited: Invariants and Modulo Equivalence. - Henning Christiansen 001; Maja H. Kirkeby (LOPSTR, 2018)

Breathing Life into Familiar Domestic Objects. - Henning Christiansen 001; Anja Mølle Lindelof; Mads Hobye (RO-MAN, 2018)

Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. - Henning Christiansen 001; Maja H. Kirkeby (WFLP, 2018)

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems. - Maja H. Kirkeby; Henning Christiansen 001 (Int. J. Approx. Reason., 2019)

Efficient and Precise Classification of CT Scannings of Renal Tumors Using Convolutional Neural Networks. - Mikkel Pedersen; Henning Christiansen 001; Nessn H. Azawi (ISMIS, 2020)

Robots on stage. - Henning Christiansen 001; Anja Mølle Lindelof (EAI Endorsed Trans. Creative Technol., 2020)

Interval cracking and its application to databases of complex geometries. - Masoumeh Vahedi; Henning Christiansen 001 (IEEE Big Data, 2024)

SPLindex: A Spatial Polygon Learned Index. - Masoumeh Vahedi; Henning Christiansen 001 (ISMIS, 2024)