Publication
-
Strategies in Social Software Book Chapter
January 2015
-
January 2015
-
A Distributed Theatre with Shakespeare In Proceedings
January 2015
-
Next Generation Cluster Editing Article
PeerJ PrePrintsJanuary 2015
-
January 2015
-
A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning (Extended Version). Tech Report
January 2015
-
Presenting Distributive Laws Article
Logical Methods in Computer Science, 11(3)January 2015
-
January 2015