Agent Technology in Supply Chains and Networks - An Exploration of High Potential Future Applications. - Jos van Hillegersberg; Hans Moonen; Thierry Verduijn; Justus Becker (IAT, 2004)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic. - Justus Becker (CoRR, 2025)