publications
My publications by categories and in reversed chronological order. See also my DBLP page for a current list of my outputs.
Drafts/Misc
Conference papers
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
Journal articles
-
Properties of Multiset Language Classes Defined by Multiset Pushdown AutomataFundamenta Informaticae, 2009
-
Theses
-
Multiset Rewriting – A Formal Language Theoretic Perspective on Concurrent SystemsUniversität Hamburg, 2009
Software
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.