| 2024 | ISMIS | SPL | Masoumeh Vahedi, Henning Christiansen |
| 2020 | ISMIS | Efficient and Precise Classification of CT Scannings of Renal Tumors Using Convolutional Neural Networks. | Mikkel Pedersen, Henning Christiansen, Nessn H. Azawi |
| 2018 | LOPSTR | Confluence of CHR Revisited: Invariants and Modulo Equivalence. | Henning Christiansen, Maja H. Kirkeby |
| 2018 | RO-MAN | Breathing Life into Familiar Domestic Objects. | Henning Christiansen, Anja Mlle Lindelof, Mads Hobye |
| 2017 | LOPSTR | Confluence and Convergence in Probabilistically Terminating Reduction Systems. | Maja H. Kirkeby, Henning Christiansen |
| 2016 | ArtsIT | Widening the Experience of Artistic Sketchbooks. | Henning Christiansen, Bjrn Laursen |
| 2015 | ISMIS | Tracing Shifts in Emotions in Streaming Social Network Data. | Troels Andreasen, Henning Christiansen, Christian Theil Have |
| 2014 | CiE | Constraint Logic Programming for Resolution of Relative Time Expressions. | Henning Christiansen |
| 2014 | LOPSTR | Confluence Modulo Equivalence in Constraint Handling Rules. | Henning Christiansen, Maja H. Kirkeby |
| 2013 | FQAS | Querying Sentiment Development over Time. | Troels Andreasen, Henning Christiansen, Christian Theil Have |
| 2012 | LOPSTR | A Declarative Pipeline Language for Complex Data Analysis. | Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit |
| 2012 | PADL | Efficient Tabling of Structured Data Using Indexing and Program Transformation. | Christian Theil Have, Henning Christiansen |
| 2011 | ICLP | Bayesian Annotation Networks for Complex Sequence Analysis. | Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit |
| 2009 | ICLP | Non-discriminating Arguments and Their Uses. | Henning Christiansen, John P. Gallagher |
| 2009 | ICLP | Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. | Henning Christiansen, Ole Torp Lassen |
| 2009 | IWANN | Adaptable Grammars for Non-Context-Free Languages. | Henning Christiansen |
| 2009 | WoLLIC | Abductive Logic Grammars. | Henning Christiansen, Vernica Dahl |
| 2005 | ADBIS | Efficient Integrity Checking for Databases with Recursive Views. | Davide Martinenghi, Henning Christiansen |
| 2005 | DEXA | Transaction Management with Integrity Checking. | Davide Martinenghi, Henning Christiansen |
| 2005 | ICLP | HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. | Henning Christiansen, Vernica Dahl |
| 2005 | LPAR | Incremental Integrity Checking: Limitations and Possibilities. | Henning Christiansen, Davide Martinenghi |
| 2003 | LOPSTR | Simplification of Database Integrity Constraints Revisited: A Transformational Approach. | Henning Christiansen, Davide Martinenghi |
| 2003 | RANLP | A constraint-based bottom-up counterpart to definite clause grammars. | Henning Christiansen |
| 2002 | ICLP | Logical Grammars Based on Constraint Handling Rules. | Henning Christiansen |
| 2002 | ICTAI | Logic Grammars for Diagnosis and Repair. | Henning Christiansen, Vernica Dahl |
| 2000 | FQAS | An Experimental CLP Platform for Integrity Constraints and Abduction. | Slim Abdennadher, Henning Christiansen |
| 1998 | FQAS | Knowledge Discovery for Flexible Querying. | Henrik Legind Larsen, Troels Andreasen, Henning Christiansen |
| 1997 | LOPSTR | Implicit Program Synthesis by a Reversible Metainterpreter. | Henning Christiansen |
| 1996 | ECAI | Counterfactual Exceptions in Deductive Database Queries. | Troels Andreasen, Henning Christiansen |
| 1996 | FQAS | An Experimental Prototype for Flexible Query-Answering Mechanisms - A Metainterpretation Approach. | Henning Christiansen, Troels Andreasen |
| 1994 | FQAS | Negative Counterfactuals as Constraints in Deductive Databases. | Henning Christiansen, Troels Andreasen, Alf Beck Nielsen |
| 1994 | ICLP | Efficient and Complete Demo Predicates for Definite Clause Languages. | Henning Christiansen |
| 1994 | ICLP | On Proof Predicates in Logic Programming. | Henning Christiansen |
| 1992 | LCN | Performance analysis of ATM/DQDB interworking. | Henning Christiansen, Kenn S. Kvols |