AnnoDomini: From Type Theory to Year 2000 Conversion Tool. - Peter Harry Eidorff; Fritz Henglein; Christian Mossin; Henning Niss; Morten Heine Sørensen; Mads Tofte (POPL, 1999)

AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem. - Peter Harry Eidorff; Fritz Henglein; Christian Mossin; Henning Niss; Morten Heine Sørensen; Mads Tofte (TLCA, 1999)

A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. - Fritz Henglein; Henning Makholm; Henning Niss (PPDP, 2001)

mGTK: An SML Binding of Gtk+. - Ken Friis Larsen; Henning Niss (USENIX ATC, FREENIX Track, 2004)

Distributed Reactive XML. - Thomas T. Hildebrandt; Henning Niss; Martin Olsen; Jacob W. Winther (MTCoord@COORDINATION, 2005)

Formalising Business Process Execution with Bigraphs and Reactive XML. - Thomas T. Hildebrandt; Henning Niss; Martin Olsen (COORDINATION, 2006)

Bigraphical Models of Context-Aware Systems. - Lars Birkedal; Søren Debois; Ebbe Elsborg; Thomas T. Hildebrandt; Henning Niss (FoSSaCS, 2006)

Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. - Mikkel Bundgaard; Arne J. Glenstrup; Thomas T. Hildebrandt; Espen Højsgaard; Henning Niss (COORDINATION, 2008)

On Designing Applied DSLs for Non-Programming Experts in Evolving Domains. - Holger Stadel Borum; Henning Niss; Peter Sestoft (MoDELS, 2021)