IT University of Copenhagen

Organisational unit: Institution

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S

Contact information

Rued Langgaardsvej 7

View graph of relations

Research outputs (1774)

  1. Published

    Audit Loops and Audit Implosion

    Research output: Research - peer-reviewBook chapter

  2. Published

    Variability-Specific Abstraction Refinement for Family-Based Model Checking

    Research output: Research - peer-reviewArticle in proceedings

  3. Published

    Effective Analysis of C Programs by Rewriting Variability

    Research output: Research - peer-reviewJournal article

View all »

Prizes (1)

  1. EliteForsk travel grant

    Prize: Prizes, scholarships, distinctions

Research Activities (531)

  1. Between two worlds? Potentials and challenges of co-financed research

    Activity: Talk or presentationLecture and oral contribution

  2. Fra Pokemon GO til Holocaust: Hybride digitale museumsopplevelse

    Activity: Talk or presentationLecture and oral contribution

  3. CEEGS 2017 - Central and Eastern European Games Conference 2017

    Activity: Participating in or organising an eventOrganisation and participation in conference

View all »