Henning Niss

According to our database, Henning Niss authored at least 9 papers between 1999 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Holger Stadel Borum, Henning Niss, Peter Sestoft

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2008

Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs.

Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2006

Bigraphical Models of Context-Aware Systems.

Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss

Proceedings of the Foundations of Software Science and Computation Structures, 2006

Formalising Business Process Execution with Bigraphs and Reactive XML.

Thomas T. Hildebrandt, Henning Niss, Martin Olsen

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005

Distributed Reactive XML.

Thomas T. Hildebrandt, Henning Niss, Martin Olsen, Jacob W. Winther

Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005

2004

mGTK: An SML Binding of Gtk+.

Ken Friis Larsen, Henning Niss

Proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference, June 27, 2004

2001

A Direct Approach to Control-Flow Sensitive Region-Based Memory Management.

Fritz Henglein, Henning Makholm, Henning Niss

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

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

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

AnnoDomini: From Type Theory to Year 2000 Conversion Tool.

Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte

Proceedings of the POPL '99, 1999