Home > Research > Researchers > Dr Sven Linker > Publications

Research

Dr Sven Linker

Formerly at Lancaster University

21 - 25 out of 25Page size: 10
RSS feed of this list
  1. 2020
  2. Published

    Analysing spatial properties on neighbourhood spaces

    Linker, S., Papacchini, F. & Sevegnani, M., 1/08/2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 66:1-66:14 14 p. MFCS-2020-66. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    Intuitionistic Euler-Venn Diagrams

    Linker, S., 24/08/2020, Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings. Pietarinen, A-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J. & Linker, S. (eds.). Cham: Springer, p. 264-280 17 p. (Lecture Notes in Computer Science; vol. 12169).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    Multi-scale verification of distributed synchronisation

    Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 1/11/2020, In: Formal Methods in System Design. 55, p. 171–221 51 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  5. 2021
  6. Published

    Finite Models for a Spatial Logic with Discrete and Topological Path Operators

    Linker, S., Papacchini, F. & Sevegnani, M., 18/08/2021, 46th International Symposium on Mathematical Foundations of Computer Science. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 202. p. 72:1-72:16 16 p. 72. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 202).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest

    Cardoso, R. C., Ferrando, A., Papacchini, F., Luckcuck, M., Linker, S. & Payne, T. R., 1/10/2021, The Multi-Agent Programming Contest 2021: One-and-a-Half Decades of Exploring Multi-Agent Systems. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausberg, T. (eds.). Cham: Springer, p. 82-107 27 p. (Lecture Notes in Computer Science; vol. 12947).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1 2 3 Next

Back to top