Author of the publication

Analysing Spatial Properties on Neighbourhood Spaces.

, , and . MFCS, volume 170 of LIPIcs, page 66:1-66:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Intuitionistic Euler-Venn Diagrams.. Diagrams, volume 12169 of Lecture Notes in Computer Science, page 264-280. Springer, (2020)Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)., , , and . Dagstuhl Reports, 9 (10): 95-116 (2019)MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest., , , , , and . CoRR, (2021)Intuitionistic Euler-Venn Diagrams (extended).. CoRR, (2020)Analysing Spatial Properties on Neighbourhood Spaces., , and . MFCS, volume 170 of LIPIcs, page 66:1-66:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Natural Deduction for Intuitionistic Euler-Venn Diagrams.. Diagrams, volume 12909 of Lecture Notes in Computer Science, page 529-533. Springer, (2021)Finite Models for a Spatial Logic with Discrete and Topological Path Operators., , and . MFCS, volume 202 of LIPIcs, page 72:1-72:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Multi-scale verification of distributed synchronisation., , , , and . Formal Methods Syst. Des., 55 (3): 171-221 (2020)