computer science and other research

As I did a PhD in computer science, there has to be some theoretical research in it, too. I am inclined to enjoy it, but still think programming is more fun. Anyway, some useful results have already been obtained and are henceforth listed here.

Synchrony, Asynchrony and Distributed Systems

2008 Asynchronous Petri Net Classes - my Studienarbeit, approximately equivalent to a bachelors thesis.
2008 Symmetric and Asymmetric Asynchronous Interaction - published at the ICE'08 Workshop. See also the Technical Report
2008 On Synchronous and Asynchronous Interaction in Distributed Systems - given as invited talk by Ursula Goltz at MFCS2008. See also the Technical Report
2009 Synchrony and Asynchrony in Petri Nets - my Diplomarbeit, approximately equivalent to a masters thesis
2011 Abstract Processes of Place/Transition Systems - published in IPL.
2011 On Causal Semantics of Petri Nets - given as an invited talk by Ursula Goltz at CONCUR2011. See also the Technical Report
2011 Synchrony vs Causality in the Asynchronous Pi-Calculus - published at the EXPRESS'11 Workshop.
2011 Synchrony vs. Causality in Asynchronous Petri Nets - published at the EXPRESS'11 Workshop.
2012 On Distributability of Petri nets - published at FoSSaCS'12. See also the Technical Report
2013 On Characterising Distributability - published in LMCS, Vol. 9(3:17)2013.
2014 On the Step Branching Time Closure of Free-Choice Petri Nets - published at FORTE'14.
2016 Synchrony versus Causality in Distributed Systems - published in MSCS.
2018 On Classes of Distributed Petri Nets - my PhD thesis.
2021 Abstract Processes and Conflicts in Place/Transition Systems - published in I&C.
2021 Abstract Processes in the Absence of Conflicts in General Place/Transition Systems - published in I&C.

Psychology

2011 Hybrid Automata as a Modelling Approach in the Behavioural Sciences - published at the HAS'11 Workshop.
2013 Modelling driving behaviour using hybrid automata - published in IET Intelligent Transport Systems