- Logic-based modeling of information transfer in cyber-physical multi-agent systems2016 | Faculty of Mathematics and Physics
- Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems2015 | Faculty of Mathematics and Physics
- Using Component Ensembles for Modeling Autonomic Component Collaboration in Smart Farming2020 | Faculty of Mathematics and Physics