 | Up a level |
Number of items: 2.
Linker, Sven 
ORCID: 0000-0003-2913-7943, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Sevegnani, Michele
(2020)
Analysing Spatial Properties on Neighbourhood Spaces.
In: 45th International Symposium on Mathematical Foundations of Computer Science, Prague.
Linker, Sven ORCID: 0000-0003-2913-7943 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-.