Up a level |
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
(2020)
Intuitionistic Euler-Venn Diagrams.
In: 11th International Conference on the Theory and Application of Diagrams.
Linker, Sven ORCID: 0000-0003-2913-7943
(2020)
Intuitionistic Euler-Venn Diagrams (extended).
[Internet Publication]
Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael
(2017)
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.
In: 14th International Conference on Quantitative Evaluation of SysTems (QEST), 2017-9-5 - 2017-9-7, Berlin, Germany.
Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Papacchini, Fabio ORCID: 0000-0002-0310-7378, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Linker, Sven ORCID: 0000-0003-2913-7943 and Payne, Terry R ORCID: 0000-0002-0106-8731
(2021)
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest.
In:
The Multi-Agent Programming Contest 2021.
Springer International Publishing, pp. 82-107.
ISBN 9783030885489
Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael
(2020)
Multi-Scale Verification of Distributed Synchronisation.
Formal Methods in System Design, 55 (3).
pp. 171-221.
Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael ORCID: 0000-0002-0875-3862
(2020)
Multi-scale verification of distributed synchronisation.
FORMAL METHODS IN SYSTEM DESIGN.
Kypridemou, Elektra ORCID: 0000-0003-1575-9311, Zito, Michele and Bertamini, Marco
(2022)
Perception of Node-Link Diagrams: The Effect of Layout on the Perception of Graph Properties.
In: 13th International Conference, Diagrams 2022, 2022-9-14 - 2022-9-16, Rome.
Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael
(2018)
The Power of Synchronisation: Formal Analysis of Power Consumption in
Networks of Pulse-Coupled Oscillators.
Quantitative Evaluation of Systems, 11232.
pp. 160-176.
Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael
(2018)
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.
In: 20th International Conference on Formal Engineering Methods, 2018-11-12 - 2018-11-16, Griffith University, Gold Coast, Australia.
Linker, Sven ORCID: 0000-0003-2913-7943
(2018)
Sequent Calculus for Euler Diagrams.
In: 10th International Conference on the Theory and Application of Diagrams, 2018-6-18 - 2018-6-22, Edinburgh.
Bochmann, Gregor V, Hilscher, Martin, Linker, Sven ORCID: 0000-0003-2913-7943 and Olderog, Ernst-Ruediger
(2017)
Synthesizing and verifying controllers for multi-lane traffic maneuvers.
FORMAL ASPECTS OF COMPUTING, 29 (4).
pp. 583-600.
Linker, Sven ORCID: 0000-0003-2913-7943, Burton, Jim and Jamnik, Mateja
(2017)
Tactical Diagrammatic Reasoning.
.
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-.