Henning Niss

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Holger Stadel Borum, Henning Niss, Peter Sestoft
On Designing Applied DSLs for Non-Programming Experts in Evolving Domains. MoDELS (2021)
Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. COORDINATION (2008)
Thomas T. Hildebrandt, Henning Niss, Martin Olsen
Formalising Business Process Execution with Bigraphs and Reactive XML. COORDINATION (2006)
Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss
Bigraphical Models of Context-Aware Systems. FoSSaCS (2006)
Thomas T. Hildebrandt, Henning Niss, Martin Olsen, Jacob W. Winther
Distributed Reactive XML. Electron. Notes Theor. Comput. Sci. 150 (1) (2006)
Ken Friis Larsen, Henning Niss
mGTK: An SML Binding of Gtk+. USENIX Annual Technical Conference, FREENIX Track (2004)
Fritz Henglein, Henning Makholm, Henning Niss
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. PPDP (2001)
Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
AnnoDomini: From Type Theory to Year 2000 Conversion Tool. POPL (1999)
Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem. TLCA (1999)