Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems. - Tobias Ahlbrecht; Christian Bender-Saebelkampf; Maiquel de Brito; Nicolai Christian Christensen; Jürgen Dix; Mariana Ramos Franco; Hendrik Heller; Andreas Viktor Hess; Axel Heßler; Jomi Fred Hübner; Andreas Schmidt Jensen; Jannick Boese Johnsen; et al. (EMAS@AAMAS, 2013)

Engineering a Multi-Agent System in GOAL. - Jørgen Villadsen; Andreas Schmidt Jensen; Nicolai Christian Christensen; Andreas Viktor Hess; Jannick Boese Johnsen; Øyvind Grønland Woller; Philip Bratt Ørum (EMAS@AAMAS, 2013)

Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL. - Andreas Viktor Hess; Sebastian Mödersheim (CSF, 2017)

A Typing Result for Stateful Protocols. - Andreas V. Hess; Sebastian Mödersheim (CSF, 2018)

Stateful Protocol Composition. - Andreas V. Hess; Sebastian Alexander Mödersheim; Achim D. Brucker (ESORICS (1), 2018)

Stateful Protocol Composition and Typing. - Andreas V. Hess; Sebastian Mödersheim; Achim D. Brucker (Arch. Formal Proofs, 2020)

Automated Stateful Protocol Verification. - Andreas V. Hess; Sebastian Mödersheim; Achim D. Brucker; Anders Schlichtkrull (Arch. Formal Proofs, 2020)

Performing Security Proofs of Stateful Protocols. - Andreas V. Hess; Sebastian Mödersheim; Achim D. Brucker; Anders Schlichtkrull (CSF, 2021)

Stateful Protocol Composition in Isabelle/HOL. - Andreas V. Hess; Sebastian Alexander Mödersheim; Achim D. Brucker (ACM Trans. Priv. Secur., 2023)