Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 8.


Linker, Sven ORCID: 0000-0003-2913-7943
(2020) Intuitionistic Euler-Venn Diagrams. In: 11th International Conference on the Theory and Application of Diagrams.


Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael
Multi-Scale Verification of Distributed Synchronisation.


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.


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. .


Linker, Sven ORCID: 0000-0003-2913-7943
(2018) Sequent Calculus for Euler Diagrams. .


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). 583 - 600.


Linker, Sven ORCID: 0000-0003-2913-7943, Burton, Jim and Jamnik, Mateja
(2016) 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).

This list was generated on Tue May 19 10:17:02 2020 BST.