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 Data Science
    • MSc in Computer Science
    • MSc in Games
    • Master's reform
    • Applying for an MSc programme
    • Student Life
    • Practical information for international students
    • Ask a student
    • Women in tech
    • Student organisations at ITU
    • Study start
    • Labs for students
    • Special Educational Support (SPS)
    • Study and Career Guidance
    • Exchange student
    • Become an exchange student
    • Guest Students
    • Who can be a guest student?
    • ITU Summer University
    • Open House
    • Open House - BSc programmes
    • Open House - MSc programmes
  • Professional Education
    • Master in IT Management
    • Master in IT Management
    • Admission and entry requirements
    • Contact
    • Single Subjects
    • About single subjects
    • Admission and entry requirements
    • Contact
    • Short courses | ITU Professional Courses
    • See all short courses
    • Contact
    • Contact
    • Contact us here
  • Research
    • Sections
    • Data Science
    • Data, Systems, and Robotics
    • Digital Business Innovation
    • Digitalization Democracy and Governance
    • Human-Computer Interaction and Design
    • Play Culture and AI
    • Software Engineering
    • Technologies in Practice
    • Theoretical Computer Science
    • 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
    • Research Centre for Government IT
    • Danish Institute for IT Program Management
    • Research entities
    • Research centers
    • Sections
    • Research groups
    • Labs
    • 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 Admission Requirements
    • 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
    • Read more about research collaboration at ITU
    • Industrial PhD
    • Hire an Industrial PhD
    • Maritime Hub
    • Innovation and entrepreneurship
    • ITU Business Development
    • ITU NextGen
  • About ITU
    • About ITU
    • Press
    • Vacancies
    • Contact
  • DK
ITU
ITU  /  Research  /  Technical Reports  /  Technical Reports Archive  /  2005
  • Research
    • Research Sections
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Research centers
    • Research groups
    • Labs
    • Technical Reports
      • Technical Reports Archive
        • 2024
        • 2023
        • 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 på facebook
ITU på Linkedin
ITU på Instagram
ITU på Youtube
ITU på Bluesky
ITU på facebook ITU på Linkedin ITU på Instagram ITU på Youtube ITU på Bluesky
ITU Student /
Privacy /
EAN-nr. 5798000417878/
CVR-nr. 29 05 77 53 /
P-nummer 1005162959

This page is printed from https://www.itu.dk/nyheder

Fejl i tilmelding