Potential based, spatial simulation of dynamically nested particles. - Till Köster; Philipp Henning; Adelinde M. Uhrmacher (BMC Bioinform., 2019)

Pragmatic Logic-Based Spatio-Temporal Pattern Checking in Particle-Based Models. - Andreas Ruscheinski; Anja Wolpers; Philipp Henning; Tom Warnke; Fiete Haack; Adelinde M. Uhrmacher (WSC, 2020)

EB-DEVS: A formal framework for modeling and simulation of emergent behavior in dynamic complex systems. - Daniel Foguelman; Philipp Henning; Adelinde M. Uhrmacher; Rodrigo D. Castro (J. Comput. Sci., 2021)