2015, Article in monograph or in proceedings (Bilof, R. (ed.), LICS 2015 : 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science. Proceedings, pp. 450-461)
2011, Part of book or chapter of book (Halvorson, H. (ed.), Deep Beauty : understanding the quantum world through mathematical innovation, pp. 271-316)
2011, Article in monograph or in proceedings (Coecke, B.; Panangaden, P.; Selinger, P. (ed.), Proceedings of the 6th International Workshop on Quantum Physics and Logic (QPL 2009), pp. 79-103)
2009, Article in monograph or in proceedings (Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Italy, September 7-10, 2009. Proceedings, pp. 64-80)
2008, Article in monograph or in proceedings (Mislove, M.; Bauer, A. (ed.), Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), Philadelphia, PA, USA, 22-25 May 2008, pp. 193-208)
2008, Article in monograph or in proceedings (Fernandes, R.L.; Picken, R. (ed.), Geometry and physics : XVI International Fall Workshop, Lisbon (Portugal), 5–8 September 2007, pp. 93-102)
2008, Article in monograph or in proceedings (Bauer, A.; Mislove, M. (ed.), Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), pp. 193-209)
2006, Article in monograph or in proceedings (Brookes, S.; Mislove, M. (ed.), Proceedings of the 22nd annual conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Mathematical Foundations of Programming Semantics XXII, pp. 219-236)