Concepedia

Troels C. Damgaard

TC

Statistics

Publications

5

Citations

119

H-Index

5

Active since

2006

Affiliations

IT University of Copenhagen(Current)

University of Cambridge

Troels C. Damgaard is an author at IT University of Copenhagen specializing in computer science, graph theory, and algorithms.

Publications per year

2006–2012

5

Publications

5

Matching of Bigraphs

Lars Birkedal, Troels C. Damgaard, Arne John Glenstrup et al. · Electronic Notes in Theoretical Computer Science · 2007 · 34 citations · Full text

, , +8

An Implementation of Bigraph Matching

Arne John Glenstrup, Troels C. Damgaard, Lars Birkedal et al. · 2008 · 27 citations

, , +7

Axiomatizing binding bigraphs

Troels C. Damgaard, Lars Birkedal · 2006 · 25 citations · Full text

, , +8

An inductive characterization of matching in binding bigraphs

Troels C. Damgaard, Arne John Glenstrup, Lars Birkedal et al. · Formal Aspects of Computing · 2011 · 17 citations · Full text

, , +6

Formal Cellular Machinery

Troels C. Damgaard, Espen Højsgaard, Jean Krivine · Electronic Notes in Theoretical Computer Science · 2012 · 16 citations · Full text

, , +13

1–5 of 5