Troels Christoffer Damgaard

According to our database, Troels Christoffer Damgaard authored at least 4 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

An inductive characterization of matching in binding bigraphs.

Troels Christoffer Damgaard, Arne J. Glenstrup, Lars Birkedal, Robin Milner

Formal Aspects Comput., 2013

2011

Formal Cellular Machinery.

Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

2006

Axiomatizing Binding Bigraphs.

Troels Christoffer Damgaard, Lars Birkedal

Nord. J. Comput., 2006

Matching of Bigraphs.

Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006