Find more links, BibTeX, etc. in dblp: https://dblp.uni-trier.de/pers/hd/c/Christiansen_0001:Henning

Updated October 4, 2018.

M.Pedersen, M.B.Andersen, H.Christiansen, N.H.Asawi: Classification of renal tumour using convolutional neural networks to detect oncocytoma European Journal of Radiology. 133, 109343, 5 pp. (2020)

M.Pedersen, H.Christiansen, N.H.Asawi: Efficient and Precise Classification of CT Scannings of Renal Tumors Using Convolutional Neural Networks Foundations of Intelligent Systems: 25th International Symposium, ISMIS 2020, Graz, Austria, September 23-25, 2020, LNCS, vol 12117, 440-447 (2020)

M.H.Kirkeby, H.Christiansen: Confluence of CHR revisited: invariants and modulo equivalence. Logic-Based Program Synthesis and Transformation: 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. LNCS 11408, pp. 94-111.

Robot Gestalts in Staged Performances: Poster abstract H.Christiansen, M.Hobye, A.M.Lindelof: 4th Digital Humanities in the Nordic Countries - Faculty of Humanities - University of Copenhagen, Copenhagen, Denmark. 2019. pdf

H.Christiansen, M.H.Kirkeby: Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs. WFLP 2018, LNCS 11285, pp. 112-130 (2019)

pdf available somewhere at https://www.aclweb.org

H.Christiansen, A.M.Lindelof, M.Hobye: Breathing Life into Familiar Domestic Objects. IEEE RO-MAN 2018, The 27th IEEE International Symposium on Robot and Human Interactive Communication. Nanjing, China, August 27-31 2018. pp. 589-594 (2018)

H.Christiansen, M.H.Kirkeby: Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]. Computer Science Research Report, vol. 153, Roskilde University, 2018.

pdf M.K.Kirkeby, H.Christiansen: Confluence and Convergence in Probabilistically Terminating Reduction Systems LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. LNCS 10855, pp. 164-179 (2018)

H.Christiansen, M.H.Kirkeby: Confluence in Constraint Handling Rules: A retrospective overview. Extended abstract of an invited talk given at IWC 2018 7th International Workshop on Confluence, July 7th 2018, Oxford, United Kingdom

H.Christiansen, V.Dahl: Natural language processing with (tabled and constraint) logic programming Declarative Logic Programming: Theory, Systems, and Applications. M.Kifer, Y.A.Liu (eds.). New York: Association for Computing Machinery, pp. 477-511 (2019)

H.Christiansen, H.Jaudoin, P.Chountas, T.Andreasen, H.L.Larsen (Eds.): Flexible Query Answering Systems - 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017, Proceedings. Lecture Notes in Computer Science 10333, Springer 2017.

Maja H. Kirkeby, Henning Christiansen: Confluence and Convergence in Probabilistically Terminating Reduction Systems. LOPSTR 2017: 164-179

H.Christiansen: A simple script language for choreography of multiple, synchronizing non-anthropomorphic robots. CoRR abs/1712.08448 (2017)

Henning Christiansen and Maja H. Kirkeby. On proving confluence modulo equivalence for Constraint Handling Rules.

Christiansen, H., Jiménez-López, M.D., Loukanova, R., Moss, L. (eds.), Partiality and Underspecification in Information, Languages, and Knowledge 2017, Cambridge Scholars Publishing. 360 p.

Henning Christiansen, Isidora Stojanovic, George A. Papadopoulos (Eds.). Modeling and Using Context. 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings. Lecture Notes in Artificial Intelligence vol. 9405. Springer 2015. Electronic edition DOI. List of contents in DBLP.

Andreasen, T., Christiansen, H., Kacprzyk, J., Larsen, H., Pasi, G., Pivert, O., De Tré, G., Vila, M.A., Yazici, A., Zadrozny, S. (Eds.) Flexible Query Answering Systems 2015. Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015. Advances in Intelligent Systems and Computing vol. 4000, Springer 2015. Electronic edition DOI. List of contents in DBLP.

Troels Andreasen, Henning Christiansen, Christian Theil Have. Tracing Shifts in Emotions in Streaming Social Network Data 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings. Lecture Notes in Atificial Intelligence 9384, pp. 280-289, Springer 2015. pdf

Henning Christiansen and Maja H. Kirkeby. Confluence modulo equivalence in Constraint Handling Rules. Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8981, pp. 41-58, Springer 2015. pdf

Henning Christiansen. Constraints and Logic Programming in Grammars and Language Analysis. In:

Henning Christiansen, Bo Li. Constraint-based Word Segmentation for Chinese. In:

Henning Christiansen: Constraint Logic Programming for Resolution of Relative Time Expressions. Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings. Springer LNCS vol. 8493, pp. 93-102, 2014. pdf

Troels Andreasen, Henning Christiansen, Juan Carlos Cubero Talavera, Zbigniew W. Ras (Eds.): Foundations of Intelligent Systems - 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings. Lecture Notes in Computer Science 8502, Springer 2014, ISBN 978-3-319-08325-4. Electronic edition DOI. List of contents in DBLP.

Henrik Legind Larsen, Maria J. Martin-Bautista, Maria Amparo Vila, Troels Andreasen, Henning Christiansen (Eds.): Flexible Query Answering Systems - 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. Lecture Notes in Computer Science 8132, Springer 2013. Electronic edition DOI. List of contents in DBLP.

Christian Theil Have, Sine Zambach, Henning Christiansen: Effects of using coding potential, sequence conservation and mRNA structure conservation for predicting pyrrolysine containing genes. BMC Bioinformatics 14: 118 (2013)

Matje van de Camp, Henning Christiansen Resolving relative time expressions in Dutch text with Constraint Handling Rules. Proceedings of Constraint Solving and Language Processing (CSLP) workshop, Orléans, 13-14 September 2012. Springer LNCS vol. 8114, pp. 166-177, 2013. pdf

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit. A Declarative Pipeline Language for Complex Data Analysis. In: Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers (ed. E. Albert). Springer LNCS vol. 7844, pp. 17-34, 2013.

Henning Christiansen. An exposition of abductive reasoning through logic programming with constraints. Presentation at SLS 2012, the Scandinavian Logic Symposium, Roskilde, Denmark, August 20-21, 2012. (Locally printed proceedings; online version).

Christian Theil Have, Henning Christiansen, Efficient Tabling of Structured Data Using Indexing and Program Transformation.

Available as pdf.

Michael Beigl, Henning Christiansen, Thomas Roth-Berghofer, Anders Kofod-Petersen, Kenny Coventry, Hedda R. Schmidtke (editors),

Henning Christiansen, Bo Li, Approaching the Chinese Word Segmentation Problem with CHR Grammars.

Available as pdf.

Henning Christiansen, Philippe Blache, Veronica Dahl, Jørgen Villadsen (editors).

Henning Christiansen, Amr Hany Saleh, Modeling dependent events with CHRiSM for probabilistic abduction,

Available as pdf.

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

DOI (BibTeX and pdf)

Christian Theil Have, Henning Christiansen. Modeling repeats in DNA using extended probabilistic regular expressions.

Presented at 1st International Work-Conference on Linguistics, Biology and Computer Science: Interplays, Tarragona, Spain, March 14-18, 2011.

Henning Christiansen, Christian Theil Have, Ole Torp Lassen and Matthieu Petit. Taming the Zoo of Discrete HMM Subspecies & some of their Relatives.

Presented at 1st International Work-Conference on Linguistics, Biology and Computer Science: Interplays, Tarragona, Spain, March 14-18, 2011.

See special website with paper as pdf and source text of all example programs.

Henning Christiansen. Adaptable Grammars for Non-Context-Free Languages (Extended and revised version),

Available as pdf.

Gemma Bel-Enguix, Henning Christiansen, M.Dolores Jiménez-López. Grammatical View of Language Evolution

Available as pdf.

Henning Christiansen, Logic Programming for Linguistics: a short introduction to Prolog, and Logic Grammars with constraints as an easy way to Syntax and Semantics,

Henning Christiansen, Christian Theil Have, Ole Torp Lassen and Matthieu Petit. Inference with Constrained Hidden Markov Models in PRISM.

Available as pdf.

Troels Andreasen, Ronald R. Yager, Henrik Bulskov, Henning Christiansen, Henrik Legind Larsen (editors).

Henning Christiansen. Christian Theil Have, Ole Torp Lassen, Matthieu Petit. A Constraint Model for Constrained Hidden Markov Models: a first Biological Application WCB09, Workshop on Constraint Based Methods for Bioinformatics, Associated to CP 2009. Lisbon, Portugal, September 20, 2009.

Henning Christiansen, Ole Torp Lassen, Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. Logic Programming. 25th International Conference, ICLP 2009. Pasadena, California, USA, July 14-17, 2009.

Henning Christiansen, John P. Gallagher. Non-discriminating Arguments and their Uses. Logic Programming. 25th International Conference, ICLP 2009. Pasadena, California, USA, July 14-17, 2009.

(Appointed the best paper of the conference)

Matthieu Petit, Henning Christiansen. Un calcul de Viterbi pour un Modèle de Markov Caché Contraint.

See online proceedings

Henning Christiansen, Verónica Dahl, Abductive Logic Grammars. Logic, Language, Information and Computation. 16th International Workshop, WoLLIC 2009. Tokyo, Japan, June 21-24, 2009.

Henning Christiansen, Adaptable Grammars for Non-Context-Free Languages. Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 (special session devoted to Third International Workshop on NON-CLASSICAL FORMAL LANGUAGES IN LINGUISTICS). Salamanca, Spain, June 10-12, 2009.

Henning Christiansen. Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules,

Preliminary version available as pdf.

Available as pdf.

Henning Christiansen. Logic Grammars Extended with Constraint Logic (Abstract of invited tutorial).

Henning Christiansen. Introduction to Constraints and Language Processing.

Jørgen Villadsen, Henning Christiansen (eds.).

Henning Christiansen. Prioritized Abduction with CHR,

Henning Christiansen. Probabilistic Abductive Logic Programming in Constraint Handling Rules.

G. Angelova, K. Bontcheva, R. Mitkov, N. Nicolov, N. Nikolov (eds.): International Conference: Recent Advances in Natural Language Processing: Proceedings

Henning Christiansen. Logic-statistic modeling and analysis of biological sequence data: a research agenda. A. Doncescu, P. A. Flach, K. Inoue, A. C. Kakas, O. Ray (eds.), Pre-Proceedings of the 2007 International Workshop on Abduction and Induction in Artificial Intelligence (AIAI'07). pp. 42-49. (2007).

Available as pdf.

Henning Christiansen, Christian Theil Have, Knut Tveitane. Reasoning about Use Cases using Logic Grammars and Constraints.

Henning Christiansen, Jørgen Villadsen (eds.).

Henning Christiansen, Christina Mackeprang Dahmcke, A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders. Proceedings of MLDM'2007, Machine Learning and Data Mining in Pattern Recognition July 18-20, 2007, Leipzig/Germany, pp. 741-755.

Available as pdf.

Henning Christiansen, Maria Rekouts, Integrity Checking and Maintenance with Active Rules in XML Databases.

Write to the authors for a copy.

Henning Christiansen, Davide Martinenghi, (eds.) Proc. LAAIC'06, Second International Workshop on Logical Aspects and Applications of Integrity Constraints, Included in

Henrik Legind Larsen, Gabriella Pasi, Daniel Ortiz Arroyo, Troels Andreasen, Henning Christiansen (editors).

Springer Online version.

Henning Christiansen, On the Implementation of Global Abduction.

See paper as pdf.

Davide Martinenghi, Henning Christiansen, Hendrik Decker, Integrity Checking and Maintenance in Relational and Deductive Databases --- and Beyond. Survey paper; chapter of

Henning Christiansen, Davide Martinenghi, On Simplification of Database Integrity Constraints.

Henning Christiansen, Mohand-Said Hacid (Eds.). Flexible Query Answering Systems, the first ten years. Special issue of

(6 papers; Introduction pp. 5-6)

See full paper at SpringerLink.

Henning Christiansen, Jørgen Villadsen (eds). Constraint Solving and Language Processing; Proceedings of the 2nd International Workshop. Sitges, Spain, October 5, 2005,

Henning Christiansen, Reasoning about passive declarations in CHR.

Henning Christiansen, Verónica Dahl, HYPROLOG: A New Logic Programming Language with Assumptions and Abduction, In: Proc. International Conference on Logic Programming, ICLP'05, M. Gabbrielli and G. Gupta (Eds.), pp. 159-173, 2005.

See pdf

Davide Martinenghi, Henning Christiansen, Efficient integrity checking for databases with recursive views Proc. ADBIS 2005, 9th East-European Conference on Advances in Databases and Information Systems, pp. 109-124,

See pdf

Henning Christiansen, Davide Martinenghi, (eds.) Proc. LAAIC'05, First International Workshop on Logical Aspects and Applications of Integrity Constraints, Included in

Davide Martinenghi, Henning Christiansen, Transaction management with integrity checking, Proc. DEXA 2005, 16th International Conference on Database and Expert Systems Applications, K.V. Andersen, J. Debenham, and R. Wagner (Eds.), pp. 606-615, 2005.

See pdf

Henning Christiansen,

Henning Christiansen, Verónica Dahl, Meaning in Context, In: Proc. CONTEXT'05, the Fourth International and Interdisciplinary Conference on Modeling and Using Context, Paris, France, 5-8 July 2005. Dey, A., Kokinov, B., Leake, D., Turner, R. (eds.),

Henning Christiansen, CHR grammars.

Available at CoRR.

Lecture Notes in Artificial Intelligence 3438 (2005); preliminary version as Datalogiske Skrifter 99 (2004).

Henning Christiansen, Prolog as description and implementation language in computer science teaching.

pdf.

Henning Christiansen, Verónica Dahl, Assumptions and Abduction in Prolog

Proceedings of

See pdf.

Henning Christiansen, Mohand-Said Hacid, Troels Andreasen, Henrik Legind Larsen (Eds.): Flexible Query Answering Systems 6th International Conference, FQAS 2004. Lyon, France, June 2004. Proceedings.

See conference homepage.

Henning Christiansen, CHR Grammars with multiple constraint stores.

See pdf.

Henning Christiansen, Davide Martinenghi, Simplification of integrity constraints for data integration.

Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS), February 17-20, 2004, Vienna, Austria.

See abstract, pdf.

Henning Christiansen, Teaching computer languages and elementary theory for mixed audiences at university level.

See pdf.

See pdf.

Henning Christiansen, Davide Martinenghi, Simplification of database integrity constraints revisited: A transformational approach.

Proceedings of LOPSTR 2003, International Symposium on Logic-based Program Synthesis and Transformation, Uppsala, Sweden, August 25-27, 2003.

See abstract, pdf.

Henning Christiansen, Verónica Dahl, Logic Grammars for Diagnosis and Repair.

See abstract

Available online from Springer.

Henning Christiansen, Verónica Dahl, Logic Grammars for Diagnosis and Repair.

Henning Christiansen, Abductive language interpretation as bottom-up deduction. Wintner, S. (ed.):

See abstract, pdf.

Henning Christiansen, (2002) Logical grammars based on constraint handling rules, (Poster abstract).

See LNCS online version

Henning Christiansen, Using Prolog as metalanguage for teaching programming language concepts.

See abstract, pdf.

Available at CoRR: Click!.

Henrik Legind Larsen, Janusz Kacprzyk, Slawomir Zadrozny, Troels Andreasen, Henning Christiansen (Eds.):

Henning Christiansen, Davide Martinenghi Symbolic constraints for meta-logic programming,

See abstract

Henning Christiansen, Abduction and induction combined in a metalogic framework,

See abstract.

Henning Christiansen, Integrity constraints and constraint logic programming,

See pdf.

Henning Christiansen, Open theories and abduction for context and accommodation. 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'99), Bouquet, P., Brezillon, P., Serafini, L. (eds.)

See pdf.

Henning Christiansen, Negation in the DEMO system: a progress report.

Available at workshop home page http://www.cs.bris.ac.uk/~flach/ECAI98/

Henning Christiansen, Automated reasoning with a constraint-based metainterpreter,

See abstract, pdf.

Troels Andreasen, Henning Christiansen, Henrik Legind Larsen (eds.), Flexible Query Answering Systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 1998, Proceedings.

See Table of contents and Conference home page.

Henrik Legind Larsen, Troels Andreasen, Henning Christiansen, Knowledge discovery for flexible querying. Proc. of Third International Conference, FQAS'98, Roskilde, Denmark, May 1998.

See pdf.

Troels Andreasen, Henning Christiansen A practical approach to hypothetical database queries, In: Freitag, B., Decker, H., Kifer, M., Voronkov, A. (eds.), "Transactions and Change in Logic Databases"

See abstract, pdf.

Henning Christiansen, Implicit program synthesis by a reversible metainterpreter (Invited talk). In: Fuchs, N.E. (ed.), "Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation LOPSTR '97",

See abstract, pfd.

Troels Andreasen, Henning Christiansen, Henrik Legind Larsen (eds.)

Edited collection of papers, see Preface, List of contents, Ordering information.

Troels Andreasen, Henning Christiansen, Nonstandard database interaction from metalogic programming. Flexible Query Answering Systems, Kluwer Academic Publishers, 1997. pp. 61-78. See abstract.

Troels Andreasen, Henning Christiansen, Hypothetical queries to deductive databases.

Eds. Geske, U., Ruiz, C., Seipel, D., Proc. of the 5th International Workshop on Deductive Databases and Logic Programming. Workshop in Conjunction with ICLP'97, Leuven, Belgium, July 11, 1997. GMD-Studien 317, GMD-Forschungszentrum, Informationstechnik GMBH, pp. 37-48, 1997. See abstract.

Henning Christiansen, Deriving declarations from programs, Extended abstract, March 1997, 7pp., Accepted for CPP'97, Workshop on Constraint Programming for Reasoning about Programming, Leeds, April 9-10th, 1997

See abstract, pdf.

Henning Christiansen, On solving member and instance constraints, Metaprogramming and Metareasoning in Logic (META96), Tech. Repr. 127, Uppsala University, Compoure Science Dept., 1996, pp. 13-25.

See abstract, dvi, postscript.

Troels Andreasen, Henning Christiansen, Counterfactual exceptions in deductive database queries. 12th European Conference on Artificial Intelligence, ECAI'96, August 11-16,1996, Budapest, Hungary. pp. 340-344.

See abstract, pdf.

Troels Andreasen, Henning Christiansen, Flexible query-answering systems modelled in metalogic programming. ECAI'96 workshop "Knowledge Representation Meets Databases, August 13, 1996, Budapest, Hungary, pp. 1-7.

See abstract, pfd.

Troels Andreasen, Henning Christiansen, An experimental prototype for flexible query-answering mechanisms, A metainterpretation approach. Flexible Query-Answering Systems, Proc. of the 1996 Workshop (FQAS'96), Roskilde, Denmark. May 22-24, 1996, pp. 277-288.

See abstract

Henning Christiansen, Henrik Legind Larsen, Troels Andreasen (eds.) Flexible Query-Answering Systems, Proc. of the 1996 Workshop (FQAS'96), Roskilde, Denmark. May 22-24, 1996, (306 pp.) Datalogiske skrifter 62, Roskilde University, 1996.

Henning Christiansen, Alternative Reasoning in a Metaprogramming System. Proc. of the ICLP'95 Joint Workshop "Deductive Databases and Logic Programming", "Abduction in Deductive Databases and knowledge-based Systems", Shonan Village Center, Japan, June 17, 1995. GMD-Studien 266, Gesellshaft für Mathematik und Datenverarbeitung MBH, pp. 175-186, 1995.

Henning Christiansen, Troels Andreasen, Alf Beck Nielsen, Negative counterfactuals as constraints in deductive database, in Flexible Query-Answering Systems, Proc. of the 1994 Workshop. Datalogiske skrifter 58, pp. 105-112, 1995.

Henning Christiansen, Efficient and Complete demo predicates for definite clause languages. (Poster summary) Proc. Eleventh International Conference on Logic Programming, S. Margerita Ligure, Italy, June 13-18 1994. MIT Press, pp. 735-736, 1994.

Henning Christiansen, On proof predicates in logic programming. In: A.Momigliani and M.Ornaghi, eds. "Proof-Theoretical Extensions of Logic Programming", CMU, Pittsburgh, PA 15231-3890, USA. Proceedings of an ICLP-94 Post-Conference Workshop, 1994.

Henning Christiansen, Efficient and complete demo predicate for definite clause languages. Datalogiske skrifter 51, Roskilde University, 1994.

See abstract, pdf.

Henning Christiansen, A complete demo predicate with co-routine control for automatic program synthesis. Proc. Second Compulog Area Meeting on Programming Languages joint with Workshop on Logic Languages, Progretto Finalizzato Sistemi Informatici e Calcolo Parallelo, Pisa, Italy, May 6-7, 1993. Pp. 7-10.

Henning Christiansen: Why should grammars not adapt themselves to context and discourse? Abstract collection, 4th International Pragmatics Conference, Kobe, Japan, July 23.-30. 1993, International Pragmatics Association, 1993. P. 23.

See Conference handout (Extended abstract) postscript.

Henning Christiansen, Models and resolution principles for logical meta-programming languages, INRIA Rapports de Recherche 1594, 1992.

Henning Christiansen, A complete resolution principle for logical meta-programming languages, META92, Workshop on Meta-Programming in Logic, 10-12 June 1992, Uppsala, Sweden, 1992. Lecture Notes in Computer Science 649, pp.205‹219, Springer-Verlag 1992. (Also Datalogiske skrifter 38, 1992). See abstract.

Henning Christiansen, Even non-recursive calls of binary demo may loop. Logic Pprogramming, The Newsletter of the Association for Logic Programming, 5/4, pp. 16-17, Nov. 1992.

Henning Christiansen, The Omikron Project. 7th Annual Apple European University Consortium, Conference Proceedings, 30th April to 2nd May, 1991, Paris, France, pp. 30-32. (Also Datalogiske skrifter 34, Roskilde University, 1991)

Henning Christiansen, Declarative semantics of a meta-programming language, META90, Workshop on Meta-Programming in Logic, 4-6 April 1990, Leuven, Belgium, pp. 150-168, 1990.

See abstract, dvi, postscript.

Henning Christiansen, A survey of adaptable grammars, SIGPLAN Notices, 25/11, pp. 35-44, 1990.

See abstract, dvi, pdf, postscript.

Henning Christiansen, Structure-sharing in attribute grammars, Programming Languages Implementation and Logic Programming, International Workshop, Orleans, France, May 1988, Lecture Notes in Computer Science 348, pp. 180-200, Springer-Verlag, 1989.

Henning Christiansen, Structure sharing in incremental systems, Structured Programming, 10/4, pp. 169-186, 1989.

See abstract.

Henning Christiansen, Extensible logic for extensible languages, Datalogiske skrifter 21, Roskilde University, 1989.

Henning Christiansen, Skala - a specification language for visual program presentation, Datalogiske skrifter 12, Roskilde University, 1988.

Henning Christiansen, The syntax and semantics of extensible languages, 41 pp. Datalogiske skrifter 14, Roskilde University, 1988.

See pdf, abstract.

Henning Christiansen, Programming as language development, Ph.D. thesis (summary), Datalogiske skrifter 15, Roskilde University, 1988.

Henning Christiansen, (ed.), Programming environments - programming paradigms. Proceedings of a workshop at Roskilde University, October 22-24, 1986, (235 pp.), Datalogiske skrifter 7, Roskilde University, 1987.

See list of contents.

Henning Christiansen, Recognition of generative languages, Programs as Data Objects, Workshop in Copenhagen, Denmark, October 1985, Lecture Notes in Computer Science 217, pp. 63-81, Springer-Verlag, 1986.

Henning Christiansen, Parsing and compilation of generative languages, Datalogiske skrifter 3, Roskilde University, 1986.

Henning Christiansen, Context-sensitive parsing in full Prolog, Datalogiske skrifter 5, Roskilde University, 1986.

Henning Christiansen, Syntax, semantics, and implementation strategies for programming languages with powerful abstraction mechanisms, Proc. of 18th Hawaii International Conference on System Sciences, vol. 2, pp. 57-66, 1985. (Also Datalogiske skrifter 1, 1985)

Henning Christiansen, Neil Jones, Control flow treatment in a simple semantics-directed compiler generator, Proc. of Formal Description of Programming Concepts II, pp. 73-97, North-Holland Publishing Company, Amsterdam, 1983.

Henning Christiansen, Neil Jones, Mathematical foundation of a semantics-directed compiler generator, DAIMI PB-148, Aarhus University, 1982.

Neil Jones, Henning Christiansen, Control flow treatment in a simple semantics-directed compiler generator, DAIMI PB-137, Aarhus University, 1981.

Henning Christiansen, Neil Jones, Control flow aspects of an algebraic approach to compiler generation, Proc. of RIMS, Kyoto, Japan, 1981.

Henning Christiansen, A new approach to Compiler Generation, Masters Thesis, Internal DAIMI Report, Aarhus University, Computer Science Department, 1981.