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
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
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 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
Asymmetric k-Center with Minimum Coverage
TR-2005-66, Author: Inge Li Gørtz
Available as pdf.
This page is printed from https://en.itu.dk/