Skip to main content
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
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
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
Master in IT Management
Admission and entry requirements
Contact
Single Subjects
About single subjects
Admission and entry requirements
Contact
Contact
Contact us here
Research
Departments
Business IT Department
Computer Science Department
Digital Design Department
Research entities
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
Research collaboration
ITU InnoCollab
Industrial PhD
Hire an Industrial PhD
Innovation and entrepreneurship
ITU Business Development
ITU Startup
Maritime Hub
About ITU
About ITU
Press
Vacancies
Contact
DK
ITU
/
Research
/
Technical Reports
/
Technical Reports Archive
/
2005
/ Asymmetric k-Center with Minimum Coverage
Research
Research Departments
Research Ethics and Integrity
Good Scientific Practice
Research Groups and Centers
Labs
Technical Reports
Technical Reports Archive
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
Asymmetric k-Center with Minimum Coverage
TR-2005-66, Author: Inge Li Gørtz
Available as pdf.
This page is printed from https://itu.dk/