Skip to main content ITU
Logo
  • Programmes
    • BSc Programmes
    • BSc in Global Business Informatics
    • BSc in Digital Design and Interactive Technologies
    • BSc in Software Development
    • BSc in Data Science
    • Applying for a BSc programme
    • MSc Programmes
    • MSc in Digital Innovation & Management
    • MSc in Digital Design and Interactive Technologies
    • MSc in Software Design
    • MSc in Computer Science
    • MSc in Data Science
    • MSc in Games
    • Applying for an MSc programme
    • Student Life
    • Women in tech
    • Student organisations at ITU
    • Labs for students
    • Practical Information for International Students
    • Ask a student
    • Study Start
    • Study and Career Guidance
    • Guest Students
    • Who can be a Guest Student
    • ITU Summer University
    • Exchange Student
    • Become an exchange student at ITU
    • Open House
    • Open House - MSc programmes
    • Open House - BSc programmes
  • Professional Education
    • Master in IT
    • Master in IT Management
    • Single Subjects
    • About single subjects
    • Contact
    • Contact us here
  • Research
    • Departments
    • Business IT Department
    • Computer Science Department
    • Digital Design Department
    • Research Groups and Labs
    • Research Groups
    • Labs
    • Research Centres
    • Centre for Digital Play
    • Center for Climate IT
    • Center for Computing Education Research
    • Centre for Digital Welfare
    • Centre for Information Security and Trust
    • European Blockchain Centre
    • Danish Institute for IT Program Management
    • ITU Research Portal
    • Find Researcher
    • Find Research
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Technical Reports
    • Technical Reports
    • PhD Programme
    • About the PhD Programme
    • PhD Courses
    • PhD Defences
    • PhD Positions
    • Types of Enrolment
    • PhD Handbook
    • PhD Support
  • Collaboration
    • Collaboration with students
    • Project collaboration
    • Project Market
    • Student worker
    • Project postings
    • Job and Project bank
    • Employer Branding
    • IT Match Making
    • Hiring an ITU student or graduate
    • Make a post in the job bank
    • Research collaboration
    • Licensing Opportunities
    • Open Entrepreneurship
    • Research collaboration
    • Industrial PhD
    • Hire an Industrial PhD
    • Innovation and entrepreneurship
    • ITU Business Development
    • ITU Startup programme
  • About ITU
    • About ITU
    • Press
    • Vacancies
    • Contact
  • DK
ITU
ITU  /  Research  /  Technical Reports  /  Technical Reports Archive  /  2006
  • Research
    • Research Departments
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Research Groups and Centers
    • Labs
    • Technical Reports
      • Technical Reports Archive
        • 2021
        • 2018
        • 2017
        • 2016
        • 2015
        • 2014
        • 2013
        • 2012
        • 2011
        • 2010
        • 2009
        • 2008
        • 2007
        • 2006
          • λ-sub as an explicit substitution calculus
          • Bigraphical Location Models
          • BDNF-Based Matching of Bigraphs
          • Proceedings of the 2nd International REA Technology Workshop
          • A Spreadsheet Core Implementation in C#
          • Variational Deinterlacing
          • The 4P Taxonomy: A Survey of Software Development Environments
          • Business Process Execution with Bigraphs and Reactive XML
          • Sortings for Reactive Systems
          • LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic
          • Preliminary results of a persistent execution engine
          • The Context-Dependent Mobile Communication Platform
          • Supply Chain Modeling with REA
          • The YUIO Language: Supporting Evaluation and Implementation of Virtual Windows
          • Toward a Design-Oriented User Interface Specification That Runs
          • User Interface Development by Proxy
          • The C5 Generic Collection Library for C# and CLI
        • 2005
        • 2004
        • 2003
        • 2002
        • 2001
        • 2000
    • PhD Programme

Technical Reports - 2006

λ-sub as an explicit substitution calculus

TR-2006-95, Author: Shane O'Conchúir

Bigraphical Location Models

TR-2006-94, Author: Ebbe Elsborg

BDNF-Based Matching of Bigraphs

TR-2006-93, Authors: Arne John Glenstrup, Troels Cristoffer Damgaard, Lars Birkedal and Martin Elsman

Proceedings of the 2nd International REA Technology Workshop

TR-2006-92, Authors: Mette Jaquet, Anders Hessellund, Pavel Hruby, Jesper Kiehn and William E. McCarthy

A Spreadsheet Core Implementation in C#

TR-2006-91, Author: Peter Sestoft

Variational Deinterlacing

TR-2006-90, Authors: Sune Keller, Francois Lauze and Mads Nielsen

The 4P Taxonomy: A Survey of Software Development Environments

TR-2006-86, Author: Anders Hessellund

Business Process Execution with Bigraphs and Reactive XML

TR-2006-85, Authors: Thomas Hildebrandt, Henning Niss and Martin Olsen

Sortings for Reactive Systems

TR-2006-84, Authors: Lars Birkedal, Søren Debois and Thomas Hildebrandt

LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic

TR-2006-83, Authors: Lars Birkedal, Rasmus L. Petersen, Rasmus E. Møgelberg and C. Varming

Preliminary results of a persistent execution engine

TR-2006-82, Author: Kasper Østerbye

The Context-Dependent Mobile Communication Platform

TR-2006-81, Author: Thomas Bodin

Supply Chain Modeling with REA

TR-2006-80, Author: Anders Hessellund

The YUIO Language: Supporting Evaluation and Implementation of Virtual Windows

TR-2006-79, Author: Jacob W. Jespersen

Toward a Design-Oriented User Interface Specification That Runs

TR-2006-78, Author: Jacob W. Jespersen

User Interface Development by Proxy

TR-2006-77, Author: Jacob W. Jespersen

The C5 Generic Collection Library for C# and CLI

TR-2006-76, Authors: Niels Kokholm and Peter Sestoft

Contact us

Phone
+45 7218 5000
E-mail
itu@itu.dk

All contact information

Web Accessibility Statement

Find us

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
How to get here

Follow us

ITU Student /
Privacy /
EAN-nr. 5798000417878/
CVR-nr. 29 05 77 53

This page is printed from https://itu.dk/layouts/itu_responsive/General%20Browser.aspx