ITU
ITU
Troels Christoffer Damgaard

Troels Christoffer Damgaard

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

Information Desk: 72185000

View graph of relations

Research outputs (6)

  1. Published

    Formal Cellular Machinery

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  2. Published

    An Implementation of Bigraph Matching

    Research output: Working paperResearch

  3. Published

    An Inductive Characterization of Matching in Binding Bigraphs

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

View all (6) »

ID: 263516