2021
Cardoso, R. C., Ferrando, A., Papacchini, F., Luckcuck, M., Linker, S., & Payne, T. R. (2021). MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. Retrieved from http://dx.doi.org/10.1007/978-3-030-88549-6_4
Natural Deduction for Intuitionistic Euler-Venn Diagrams (Chapter)
Linker, S. (2021). Natural Deduction for Intuitionistic Euler-Venn Diagrams. In Unknown Book (Vol. 12909, pp. 529-533). doi:10.1007/978-3-030-86062-2_54DOI: 10.1007/978-3-030-86062-2_54
2020
Multi-Scale Verification of Distributed Synchronisation (Journal article)
Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (n.d.). Multi-Scale Verification of Distributed Synchronisation. Formal Methods in System Design. doi:10.1007/s10703-020-00347-zDOI: 10.1007/s10703-020-00347-z
Linker, S. (2020). Intuitionistic Euler-Venn Diagrams (extended). Retrieved from http://arxiv.org/abs/2002.02929v1
Analysing Spatial Properties on Neighbourhood Spaces. (Conference Paper)
Linker, S., Papacchini, F., & Sevegnani, M. (2020). Analysing Spatial Properties on Neighbourhood Spaces.. In J. Esparza, & D. Král' (Eds.), MFCS Vol. 170 (pp. 66:1). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Retrieved from https://www.dagstuhl.de/dagpub/978-3-95977-159-7
Linker, S. (2020). Intuitionistic Euler-Venn Diagrams. In DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2020 Vol. 12169 (pp. 264-280). doi:10.1007/978-3-030-54249-8_21DOI: 10.1007/978-3-030-54249-8_21
2019
Linker, S., & Sevegnani, M. (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). doi:10.1098/rspa.2019.0278DOI: 10.1098/rspa.2019.0278
2018
Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2018). The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Quantitative Evaluation of Systems. Retrieved from http://arxiv.org/abs/1709.04385v3
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. (Conference Paper)
Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2018). The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.. In J. Sun, & M. Sun (Eds.), ICFEM Vol. 11232 (pp. 160-176). Springer. Retrieved from https://doi.org/10.1007/978-3-030-02450-5
Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2018). Multi-Scale Verification of Distributed Synchronisation. Retrieved from http://arxiv.org/abs/1809.10655v1
Modular Verification of Vehicle Platooning with Respect to Decisions,
Space and Time (Conference Paper)
Kamali, M., Linker, S., & Fisher, M. (2018). Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. Retrieved from http://arxiv.org/abs/1804.06647v1
Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles (Conference Paper)
Gleirscher, M., Kugele, S., & Linker, S. (2018). Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles. In EPTCS 269 Vol. 269. Porto, Portugal: Open Publishing Association. doi:10.4204/eptcs.269DOI: 10.4204/eptcs.269
Formalising Sensor Topologies for Target Counting (Conference Paper)
Linker, S., & Sevegnani, M. (2018). Formalising Sensor Topologies for Target Counting. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 43-57). doi:10.4204/EPTCS.264.5DOI: 10.4204/EPTCS.264.5
Linker, S. (2018). Sequent Calculus for Euler Diagrams. In DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2018 Vol. 10871 (pp. 399-407). doi:10.1007/978-3-319-91376-6_37DOI: 10.1007/978-3-319-91376-6_37
2017
Bulwahn, L., Kamali, M., & Linker, S. (2017). Proceedings First Workshop on Formal Verification of Autonomous Vehicles. EPTCS 257, 2017. Retrieved from http://dx.doi.org/10.4204/EPTCS.257
Linker, S. (2017). Spatial Reasoning about Motorway Traffic Safety with Isabelle/HOL. In integrated Formal Methods 2017. Turin, Italy.
Bochmann, G. V., Hilscher, M., Linker, S., & Olderog, E. -R. (2017). Synthesizing and verifying controllers for multi-lane traffic maneuvers. FORMAL ASPECTS OF COMPUTING, 29(4), 583-600. doi:10.1007/s00165-017-0424-4DOI: 10.1007/s00165-017-0424-4
Linker, S., Burton, J., & Jamnik, M. (2017). Tactical Diagrammatic Reasoning. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 29-42). doi:10.4204/EPTCS.239.3
Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2017). Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2017) Vol. 10503 (pp. 224-239). doi:10.1007/978-3-319-66335-7_14DOI: 10.1007/978-3-319-66335-7_14
2016
Measuring User Comprehension of Inference Rules in Euler Diagrams (Conference Paper)
Linker, S., Burton, J., & Blake, A. (2016). Measuring User Comprehension of Inference Rules in Euler Diagrams. In DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2016 Vol. 9781 (pp. 32-39). doi:10.1007/978-3-319-42333-3_3DOI: 10.1007/978-3-319-42333-3_3
Preface (Conference Paper)
Linker, S., & Rodgers, P. (2016). Preface. In CEUR Workshop Proceedings Vol. 1655.
2015
Generating Readable Diagrammatic Proofs (Conference Paper)
Burton, J., & Linker, S. (2015). Generating Readable Diagrammatic Proofs. In PROCEEDINGS 2015 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC) (pp. 307-308). Retrieved from https://www.webofscience.com/
PROOF THEORY OF A MULTI-LANE SPATIAL LOGIC (Journal article)
Linker, S., & Hilscher, M. (2015). PROOF THEORY OF A MULTI-LANE SPATIAL LOGIC. LOGICAL METHODS IN COMPUTER SCIENCE, 11(3). doi:10.2168/LMCS-11(3:4)2015DOI: 10.2168/LMCS-11(3:4)2015
Synthesizing Controllers for Multi-lane Traffic Maneuvers (Conference Paper)
Bochmann, G. V., Hilscher, M., Linker, S., & Olderog, E. -R. (2015). Synthesizing Controllers for Multi-lane Traffic Maneuvers. In DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, SETTA 2015 Vol. 9409 (pp. 71-86). doi:10.1007/978-3-319-25942-0_5DOI: 10.1007/978-3-319-25942-0_5
2013
Proving Safety of Traffic Manoeuvres on Country Roads (Conference Paper)
Hilscher, M., Linker, S., & Olderog, E. -R. (2013). Proving Safety of Traffic Manoeuvres on Country Roads. In Unknown Conference (pp. 196-212). Springer Berlin Heidelberg. doi:10.1007/978-3-642-39698-4_12DOI: 10.1007/978-3-642-39698-4_12
Preface (Book)
Gleirscher, M., Kugele, S., & Linker, S. (2018). Preface. Retrieved from https://www.webofscience.com/
Proof Theory of a Multi-Lane Spatial Logic (Chapter)
Linker, S., & Hilscher, M. (2013). Proof Theory of a Multi-Lane Spatial Logic. In Theoretical Aspects of Computing – ICTAC 2013 (pp. 231-248). Springer Berlin Heidelberg. doi:10.1007/978-3-642-39718-9_14DOI: 10.1007/978-3-642-39718-9_14
Proof theory of a multi-lane spatial logic (Conference Paper)
Linker, S., & Hilscher, M. (2013). Proof theory of a multi-lane spatial logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 8049 LNCS (pp. 231-248). doi:10.1007/978-3-642-39718-9_14DOI: 10.1007/978-3-642-39718-9_14
2012
Translating Structural Process Properties to Petri Net Markings (Conference Paper)
Linker, S. (2012). Translating Structural Process Properties to Petri Net Markings. In 2012 12th International Conference on Application of Concurrency to System Design. IEEE. doi:10.1109/acsd.2012.11DOI: 10.1109/acsd.2012.11
2011
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres (Conference Paper)
Hilscher, M., Linker, S., Olderog, E. -R., & Ravn, A. P. (2011). An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. In FORMAL METHODS AND SOFTWARE ENGINEERING Vol. 6991 (pp. 404-+). Retrieved from https://www.webofscience.com/
2010
Diagrammatic Specification of Mobile Real-Time Systems (Conference Paper)
Linker, S. (2010). Diagrammatic Specification of Mobile Real-Time Systems. In DIAGRAMMATIC REPRESENTATION AND INFERENCE Vol. 6170 (pp. 316-318). Retrieved from https://www.webofscience.com/