Henning Niss

Formalizing WS-BPEL and Higher Order Mobile Em- bedded Business Processes in the Bigraphical Program- ming Languages (BPL) Tool

Arne John Glenstrup, Mikkel Bundgaard, Thomas Hildebrandt, 2008 .

AnnoDomini: from type theory to Year 2000 conversion tool

Fritz Henglein, Mads Tofte, Christian Mossin, 1999, POPL '99.

Formalising Business Process Execution with Bigraphs and Reactive XML

Martin Olsen, Thomas T. Hildebrandt, Henning Niss, 2006, COORDINATION.

mGTK: An SML Binding of Gtk+

Ken Friis Larsen, Henning Niss, 2004, USENIX Annual Technical Conference, FREENIX Track.

AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem

Fritz Henglein, Mads Tofte, Christian Mossin, 1999, TLCA.

Bigraphical Models of Context-Aware Systems

Lars Birkedal, Søren Debois, Thomas T. Hildebrandt, 2006, FoSSaCS.

Effect Types and Region-based Memory Management

Fritz Henglein, Henning Niss, Henning Makholm, 2005 .

Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs

Thomas T. Hildebrandt, Mikkel Bundgaard, Henning Niss, 2008, COORDINATION.

Distributed Reactive XML

Martin Olsen, Thomas T. Hildebrandt, Henning Niss, 2006, MTCoord@COORDINATION.

A direct approach to control-flow sensitive region-based memory management

Fritz Henglein, Henning Niss, Henning Makholm, 2001, PPDP '01.

On Designing Applied DSLs for Non-Programming Experts in Evolving Domains

Peter Sestoft, Henning Niss, Holger Stadel Borum, 2021, 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).