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  /  2003
  • 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
        • 2004
        • 2003
          • Substitution and Flip BDDs
          • DES Controller Synthesis and Fault Tolerant Control: A Survey of Recent Advances
          • An Infrastructure for Context Dependent Mobile Communication
          • Event-Based Runtime Checking of Timed LTL
          • Computing Symmetry Sets from 2D Shapes
          • Ordered Tree Edit Distance with Merge and Split Operations
          • Generalized static orthogonal range searching in less space
          • On Redundancy of Rice Coding
          • Correctness of a Garbage Collector via Local Reasoning
          • The Scale Structure of the Gradient Magnitude
          • A distributed, value-oriented XML store
          • Sociografiske iagttagelser af nyhedsgrupper
          • Worst-Case Union-Find with Fast Deletions
          • Asymmetry in k-Center Variants
          • Tree Edit Distance, Alignment Distance and Inclusion
          • Fully-dynamic orthogonal range reporting on RAM
        • 2002
        • 2001
        • 2000
    • PhD Programme

Technical Reports - 2003

Substitution and Flip BDDs

TR-2003-41, Authors: Rune Møller Jensen and Henrik Reif Andersen

DES Controller Synthesis and Fault Tolerant Control: A Survey of Recent Advances

TR-2003-40, Author: Rune Møller Jensen

An Infrastructure for Context Dependent Mobile Communication

TR-2003-39, Authors: John Aasted Sørensen, Kåre Jelling Kristoffersen, Anders Cervera, Martin Schiøtz, Thomas Lynge, Zoltan Safar and Lars Birkedal

Event-Based Runtime Checking of Timed LTL

TR-2003-37, Author: Kåre Jelling Kristoffersen

Computing Symmetry Sets from 2D Shapes

TR-2003-36, Author: Arjan Kuijper

Ordered Tree Edit Distance with Merge and Split Operations

TR-2003-35, Author: Philip Bille

Generalized static orthogonal range searching in less space

TR-2003-33, Author: Christian Worm Mortensen

On Redundancy of Rice Coding

TR-2003-32, Author: Alexandre Krivoulets

Correctness of a Garbage Collector via Local Reasoning

TR-2003-30, Author: Lars Birkedal, Noah Torp-Smith and John C. Reynolds

The Scale Structure of the Gradient Magnitude

TR-2003-29, Author: Ole Fogh Olsen

A distributed, value-oriented XML store

TR-2003-27, Authors: Tine Thorn, Anders Baumann, Mikkel Fennestad and Peter Sestoft

Sociografiske iagttagelser af nyhedsgrupper

TR-2003-26, Author: Jesper Tække

Worst-Case Union-Find with Fast Deletions

TR-2003-25, Authors: Stephen Alstrup, Inge Li Gørtz, Theis Rauhe and Mikkel Thorup

Asymmetry in k-Center Variants

TR-2003-24, Authors: Inge Li Gørtz and Anthony Wirth

Tree Edit Distance, Alignment Distance and Inclusion

TR-2003-23, Author: Philip Bille

Fully-dynamic orthogonal range reporting on RAM

TR-2003-22, Author: Christian Worm Mortensen

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://en.itu.dk/programmes/msc-programmes?utm_source=facebook&utm_medium=paid&utm_campaign=202509__K-Bred__Kerne__International__meta&utm_id=120226143939460319&utm_content=120226143939340319&utm_term=120226143939220319

Fejl i tilmelding