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  /  2005
  • 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
        • 2005
          • Scalable Computation of Acyclic Joins
          • Bigraphical Models of Context-aware Systems
          • Pre-Symmetry Set Based Shape Matching
          • Axiomatizing Binding Bigraphs (revised)
          • Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names
          • BI Hyperdoctrines, Higher-Order Separation Logic, and Abstraction
          • Interactive Reconfiguration in Power Supply Restoration
          • Interactive Configuration Based on Linear Programming
          • Asymmetric k-Center with Minimum Coverage
          • Matching 2D Shapes Using Their Symmetry Sets
          • Semi-Automatic Foreground Extraction For Natural Images
          • Axiomatizing Binding Bigraphs
          • Distributed Reactive XML: an XML-centric coordination middleware
          • Bigraphs by Example
          • Parametric Completion for Models of Polymorphic Linear / Intuitionistic Lambda Calculus
          • Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic
          • Categorical Models of PILL
          • Parametric Domain-theoretic models of Linear Abadi & Plotkin Logic
          • Bigraphs and (Reactive) XML - an XML-centric model of computation
          • Probabilistic models for concurrency - Notes for a minicourse
          • The Tree Inclusion Problem: In Optimal Space and Faster
        • 2004
        • 2003
        • 2002
        • 2001
        • 2000
    • PhD Programme

Technical Reports - 2005

Scalable Computation of Acyclic Joins

TR-2005-75, Authors: Anna Pagh and Rasmus Pagh

Bigraphical Models of Context-aware Systems

TR-2005-74, Authors: Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas Hildebrandt and Henning Niss

Pre-Symmetry Set Based Shape Matching

TR-2005-72, Author: Arjan Kuijper

Axiomatizing Binding Bigraphs (revised)

TR-2005-71, Authors: Troels C. Damgaard and Lars Birkedal

Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names

TR-2005-70, Authors: Mikkel Bundgaard and Thomas Hildebrandt

BI Hyperdoctrines, Higher-Order Separation Logic, and Abstraction

TR-2005-69, Authors: Bodil Biering, Lars Birkedal and Noah Torp-Smith

Interactive Reconfiguration in Power Supply Restoration

TR-2005-68, Authors: Tarik Hadzic and Henrik Reif Andersen

Interactive Configuration Based on Linear Programming

TR-2005-67, Authors: Tarik Hadzic and Henrik Reif Andersen

Asymmetric k-Center with Minimum Coverage

TR-2005-66, Author: Inge Li Gørtz

Matching 2D Shapes Using Their Symmetry Sets

TR-2005-65, Author: Arjan Kuijper

Semi-Automatic Foreground Extraction For Natural Images

TR-2005-64, Authors: Andreas Rishede Hyllested and Martin Wallengren Nilsson

Axiomatizing Binding Bigraphs

TR-2005-63, Authors: Troels C. Damgaard and Lars Birkedal. Author's note: This report is superseded by TR-2005-71

Distributed Reactive XML: an XML-centric coordination middleware

TR-2005-62, Authors: Thomas Hildebrandt, Henning Niss, Martin Olsen and Jacob W. Winther

Bigraphs by Example

TR-2005-61, Authors: Søren Debois and Troels Christoffer Damgaard

Parametric Completion for Models of Polymorphic Linear / Intuitionistic Lambda Calculus

TR-2005-60, Author: Rasmus Ejlers Møgelberg

Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic

TR-2005-59, Authors: Rasmus Ejlers Møgelberg, Lars Birkedal and Giuseppe Rosolini

Categorical Models of PILL

TR-2005-58, Authors: Rasmus Ejlers Møgelberg, Lars Birkedal and Rasmus Lerchedahl Petersen

Parametric Domain-theoretic models of Linear Abadi & Plotkin Logic

TR-2005-57, Authors: Rasmus Ejlers Møgelberg, Lars Birkedal and Rasmus Lerchedahl Petersen

Bigraphs and (Reactive) XML - an XML-centric model of computation

TR-2005-56, Authors: Thomas Hildebrandt and Jacob W. Winther

Probabilistic models for concurrency - Notes for a minicourse

TR-2005-55, Author: Daniele Varacca

The Tree Inclusion Problem: In Optimal Space and Faster

TR-2005-54, Authors: Philip Bille and Inge Li Gørtz

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