Items where Author is "Sevegnani, Michele"

Linker, Sven and Papacchini, Fabio and Sevegnani, Michele (2021) Finite Models for a Spatial Logic with Discrete and Topological Path Operators. In: 46th International Symposium on Mathematical Foundations of Computer Science :. Leibniz International Proceedings in Informatics, LIPIcs, 202 . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 72:1-72:16. ISBN 9783959772013

Linker, Sven and Papacchini, Fabio and Sevegnani, Michele (2020) Analysing spatial properties on neighbourhood spaces. In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 :. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, CZE, 66:1-66:14. ISBN 9783959771597

Linker, Sven and Sevegnani, Michele (2019) Target counting with Presburger constraints and its application in sensor networks. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 475 (2231): 20190278. ISSN 1364-5021

Linker, Sven and Sevegnani, Michele (2018) Formalising Sensor Topologies for Target Counting. In: First Workshop on Architectures, Languages and Paradigms for IoT :. UNSPECIFIED, pp. 43-57.