My publications by categories and in reversed chronological order. See also my DBLP page for a current list of my outputs.
Properties of Multiset Language Classes Defined by Multiset Pushdown AutomataFundamenta Informaticae, 2009
Multiset Pushdown AutomataFundamenta Informaticae, 2009
Multiset Rewriting – A Formal Language Theoretic Perspective on Concurrent SystemsUniversität Hamburg, 2009
All my software tools are accessible through my Github profile. See here for a recent attempt at solving Energy Games. I am the main developer and maintainer of alot, a terminal MUA for the notmuch mail indexer. I also wrote LaTeX beamer themes designed after the websites of the Universities of Edinburgh and Warwick, which I used for some of my talks.