Sven Linker

@inproceedings{DBLP:conf/diagrams/Linker21,
  author       = {Sven Linker},
  editor       = {Amrita Basu and
                  Gem Stapleton and
                  Sven Linker and
                  Catherine Legg and
                  Emmanuel Manalo and
                  Petrucio Viana},
  title        = {Natural Deduction for Intuitionistic Euler-Venn Diagrams},
  booktitle    = {Diagrammatic Representation and Inference - 12th International Conference,
                  Diagrams 2021, Virtual, September 28-30, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12909},
  pages        = {529--533},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-86062-2\_54},
  doi          = {10.1007/978-3-030-86062-2\_54},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/Linker21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/LinkerPS21,
  author       = {Sven Linker and
                  Fabio Papacchini and
                  Michele Sevegnani},
  editor       = {Filippo Bonchi and
                  Simon J. Puglisi},
  title        = {Finite Models for a Spatial Logic with Discrete and Topological Path
                  Operators},
  booktitle    = {46th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {202},
  pages        = {72:1--72:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2021.72},
  doi          = {10.4230/LIPICS.MFCS.2021.72},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/LinkerPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2110-08172,
  author       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Fabio Papacchini and
                  Matt Luckcuck and
                  Sven Linker and
                  Terry R. Payne},
  title        = {{MLFC:} From 10 to 50 Planners in the Multi-Agent Programming Contest},
  journal      = {CoRR},
  volume       = {abs/2110.08172},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.08172},
  eprinttype    = {arXiv},
  eprint       = {2110.08172},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-08172.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GainerLDHF20,
  author       = {Paul Gainer and
                  Sven Linker and
                  Clare Dixon and
                  Ullrich Hustadt and
                  Michael Fisher},
  title        = {Multi-scale verification of distributed synchronisation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {55},
  number       = {3},
  pages        = {171--221},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10703-020-00347-z},
  doi          = {10.1007/S10703-020-00347-Z},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/GainerLDHF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/diagrams/Linker20,
  author       = {Sven Linker},
  editor       = {Ahti{-}Veikko Pietarinen and
                  Peter Chapman and
                  Leonie Bosveld{-}de Smet and
                  Valeria Giardino and
                  James E. Corter and
                  Sven Linker},
  title        = {Intuitionistic Euler-Venn Diagrams},
  booktitle    = {Diagrammatic Representation and Inference - 11th International Conference,
                  Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12169},
  pages        = {264--280},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-54249-8\_21},
  doi          = {10.1007/978-3-030-54249-8\_21},
  timestamp    = {Wed, 26 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/Linker20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/LinkerPS20,
  author       = {Sven Linker and
                  Fabio Papacchini and
                  Michele Sevegnani},
  editor       = {Javier Esparza and
                  Daniel Kr{\'{a}}l'},
  title        = {Analysing Spatial Properties on Neighbourhood Spaces},
  booktitle    = {45th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {170},
  pages        = {66:1--66:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2020.66},
  doi          = {10.4230/LIPICS.MFCS.2020.66},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/LinkerPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2002-02929,
  author       = {Sven Linker},
  title        = {Intuitionistic Euler-Venn Diagrams (extended)},
  journal      = {CoRR},
  volume       = {abs/2002.02929},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.02929},
  eprinttype    = {arXiv},
  eprint       = {2002.02929},
  timestamp    = {Mon, 10 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-02929.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2007-01266,
  author       = {Sven Linker and
                  Fabio Papacchini and
                  Michele Sevegnani},
  title        = {Analysing Spatial Properties on Neighbourhood Spaces},
  journal      = {CoRR},
  volume       = {abs/2007.01266},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.01266},
  eprinttype    = {arXiv},
  eprint       = {2007.01266},
  timestamp    = {Mon, 06 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-01266.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/GleirscherHLL19,
  author       = {Mario Gleirscher and
                  Anne E. Haxthausen and
                  Martin Leucker and
                  Sven Linker},
  title        = {Analysis of Autonomous Mobile Collectives in Complex Physical Environments
                  (Dagstuhl Seminar 19432)},
  journal      = {Dagstuhl Reports},
  volume       = {9},
  number       = {10},
  pages        = {95--116},
  year         = {2019},
  url          = {https://doi.org/10.4230/DagRep.9.10.95},
  doi          = {10.4230/DAGREP.9.10.95},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GleirscherHLL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/GleirscherKL18,
  author       = {Mario Gleirscher and
                  Stefan Kugele and
                  Sven Linker},
  title        = {SCAV'18: Report of the 2nd International Workshop on Safe Control
                  of Autonomous Vehicles},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {45--47},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3302402},
  doi          = {10.1145/3282517.3302402},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/GleirscherKL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/GleirscherKL18a,
  author       = {Mario Gleirscher and
                  Stefan Kugele and
                  Sven Linker},
  title        = {SCAV'18: Report of the 2nd International Workshop on Safe Control
                  of Autonomous Vehicles},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {54},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282543},
  doi          = {10.1145/3282517.3282543},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/GleirscherKL18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/diagrams/Linker18,
  author       = {Sven Linker},
  editor       = {Peter Chapman and
                  Gem Stapleton and
                  Amirouche Moktefi and
                  Sarah P{\'{e}}rez{-}Kriz and
                  Francesco Bellucci},
  title        = {Sequent Calculus for Euler Diagrams},
  booktitle    = {Diagrammatic Representation and Inference - 10th International Conference,
                  Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10871},
  pages        = {399--407},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91376-6\_37},
  doi          = {10.1007/978-3-319-91376-6\_37},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/Linker18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftscs/KamaliL018,
  author       = {Maryam Kamali and
                  Sven Linker and
                  Michael Fisher},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Modular Verification of Vehicle Platooning with Respect to Decisions,
                  Space and Time},
  booktitle    = {Formal Techniques for Safety-Critical Systems - 6th International
                  Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
                  Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1008},
  pages        = {18--36},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-12988-0\_2},
  doi          = {10.1007/978-3-030-12988-0\_2},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftscs/KamaliL018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/GainerLDH018,
  author       = {Paul Gainer and
                  Sven Linker and
                  Clare Dixon and
                  Ullrich Hustadt and
                  Michael Fisher},
  editor       = {Jing Sun and
                  Meng Sun},
  title        = {The Power of Synchronisation: Formal Analysis of Power Consumption
                  in Networks of Pulse-Coupled Oscillators},
  booktitle    = {Formal Methods and Software Engineering - 20th International Conference
                  on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
                  November 12-16, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11232},
  pages        = {160--176},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02450-5\_10},
  doi          = {10.1007/978-3-030-02450-5\_10},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/GainerLDH018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1804-06647,
  author       = {Maryam Kamali and
                  Sven Linker and
                  Michael Fisher},
  title        = {Modular Verification of Vehicle Platooning with Respect to Decisions,
                  Space and Time},
  journal      = {CoRR},
  volume       = {abs/1804.06647},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.06647},
  eprinttype    = {arXiv},
  eprint       = {1804.06647},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-06647.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1809-10655,
  author       = {Paul Gainer and
                  Sven Linker and
                  Clare Dixon and
                  Ullrich Hustadt and
                  Michael Fisher},
  title        = {Multi-Scale Verification of Distributed Synchronisation},
  journal      = {CoRR},
  volume       = {abs/1809.10655},
  year         = {2018},
  url          = {http://arxiv.org/abs/1809.10655},
  eprinttype    = {arXiv},
  eprint       = {1809.10655},
  timestamp    = {Fri, 05 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-10655.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1811-01774,
  author       = {Mario Gleirscher and
                  Sven Linker and
                  Stefan Kugele},
  title        = {SCAV'18: Report of the 2nd International Workshop on Safe Control
                  of Autonomous Vehicles},
  journal      = {CoRR},
  volume       = {abs/1811.01774},
  year         = {2018},
  url          = {http://arxiv.org/abs/1811.01774},
  eprinttype    = {arXiv},
  eprint       = {1811.01774},
  timestamp    = {Thu, 22 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-01774.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/Linker17,
  author       = {Sven Linker},
  title        = {Hybrid Multi-Lane Spatial Logic},
  journal      = {Arch. Formal Proofs},
  volume       = {2017},
  year         = {2017},
  url          = {https://www.isa-afp.org/entries/Hybrid\_Multi\_Lane\_Spatial\_Logic.html},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Linker17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BochmannHLO17,
  author       = {Gregor von Bochmann and
                  Martin Hilscher and
                  Sven Linker and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Synthesizing and verifying controllers for multi-lane traffic maneuvers},
  journal      = {Formal Aspects Comput.},
  volume       = {29},
  number       = {4},
  pages        = {583--600},
  year         = {2017},
  url          = {https://doi.org/10.1007/s00165-017-0424-4},
  doi          = {10.1007/S00165-017-0424-4},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BochmannHLO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/Linker17,
  author       = {Sven Linker},
  editor       = {Nadia Polikarpova and
                  Steve A. Schneider},
  title        = {Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL},
  booktitle    = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
                  Turin, Italy, September 20-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10510},
  pages        = {34--49},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66845-1\_3},
  doi          = {10.1007/978-3-319-66845-1\_3},
  timestamp    = {Fri, 07 Aug 2020 17:57:32 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/Linker17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/GainerLDHF17,
  author       = {Paul Gainer and
                  Sven Linker and
                  Clare Dixon and
                  Ullrich Hustadt and
                  Michael Fisher},
  editor       = {Nathalie Bertrand and
                  Luca Bortolussi},
  title        = {Investigating Parametric Influence on Discrete Synchronisation Protocols
                  Using Quantitative Model Checking},
  booktitle    = {Quantitative Evaluation of Systems - 14th International Conference,
                  {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10503},
  pages        = {224--239},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66335-7\_14},
  doi          = {10.1007/978-3-319-66335-7\_14},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/GainerLDHF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1802-01791,
  author       = {Sven Linker and
                  Michele Sevegnani},
  editor       = {Danilo Pianini and
                  Guido Salvaneschi},
  title        = {Formalising Sensor Topologies for Target Counting},
  booktitle    = {Proceedings First Workshop on Architectures, Languages and Paradigms
                  for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017},
  series       = {{EPTCS}},
  volume       = {264},
  pages        = {43--57},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.264.5},
  doi          = {10.4204/EPTCS.264.5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-01791.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1709-04385,
  author       = {Paul Gainer and
                  Sven Linker and
                  Clare Dixon and
                  Ullrich Hustadt and
                  Michael Fisher},
  title        = {The Power of Synchronisation: Formal Analysis of Power Consumption
                  in Networks of Pulse-Coupled Oscillators},
  journal      = {CoRR},
  volume       = {abs/1709.04385},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.04385},
  eprinttype    = {arXiv},
  eprint       = {1709.04385},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-04385.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/diagrams/LinkerBB16,
  author       = {Sven Linker and
                  Jim Burton and
                  Andrew Blake},
  editor       = {Mateja Jamnik and
                  Yuri Uesaka and
                  Stephanie Elzer Schwartz},
  title        = {Measuring User Comprehension of Inference Rules in Euler Diagrams},
  booktitle    = {Diagrammatic Representation and Inference - 9th International Conference,
                  Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9781},
  pages        = {32--39},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42333-3\_3},
  doi          = {10.1007/978-3-319-42333-3\_3},
  timestamp    = {Mon, 13 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/diagrams/LinkerBB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LinkerBJ17,
  author       = {Sven Linker and
                  Jim Burton and
                  Mateja Jamnik},
  editor       = {Serge Autexier and
                  Pedro Quaresma},
  title        = {Tactical Diagrammatic Reasoning},
  booktitle    = {Proceedings of the 12th Workshop on User Interfaces for Theorem Provers,
                  {UITP} 2016, Coimbra, Portugal, 2nd July 2016},
  series       = {{EPTCS}},
  volume       = {239},
  pages        = {29--42},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.239.3},
  doi          = {10.4204/EPTCS.239.3},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/LinkerBJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:books/daglib/0035436,
  author       = {Sven Linker},
  title        = {Proofs for traffic safety - combining diagrams and logic},
  school       = {Universit{\"{a}}t Oldenburg},
  year         = {2015},
  url          = {http://oops.uni-oldenburg.de/2337/},
  urn          = {urn:nbn:de:gbv:715-oops-24183},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0035436.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/LinkerH15,
  author       = {Sven Linker and
                  Martin Hilscher},
  title        = {Proof Theory of a Multi-Lane Spatial Logic},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {11},
  number       = {3},
  year         = {2015},
  url          = {https://doi.org/10.2168/LMCS-11(3:4)2015},
  doi          = {10.2168/LMCS-11(3:4)2015},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LinkerH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/BochmannHLO15,
  author       = {Gregor von Bochmann and
                  Martin Hilscher and
                  Sven Linker and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Xuandong Li and
                  Zhiming Liu and
                  Wang Yi},
  title        = {Synthesizing Controllers for Multi-lane Traffic Maneuvers},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - First International Symposium, {SETTA} 2015, Nanjing, China, November
                  4-6, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9409},
  pages        = {71--86},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25942-0\_5},
  doi          = {10.1007/978-3-319-25942-0\_5},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/BochmannHLO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vl/BurtonL15,
  author       = {Jim Burton and
                  Sven Linker},
  editor       = {Zhen Li and
                  Claudia Ermel and
                  Scott D. Fleming},
  title        = {Generating readable diagrammatic proofs},
  booktitle    = {2015 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
                  {VL/HCC} 2015, Atlanta, GA, USA, October 18-22, 2015},
  pages        = {307--308},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/VLHCC.2015.7357240},
  doi          = {10.1109/VLHCC.2015.7357240},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/BurtonL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HilscherLO13,
  author       = {Martin Hilscher and
                  Sven Linker and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Proving Safety of Traffic Manoeuvres on Country Roads},
  booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
                  He on the Occasion of His 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {8051},
  pages        = {196--212},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39698-4\_12},
  doi          = {10.1007/978-3-642-39698-4\_12},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/HilscherLO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/LinkerH13,
  author       = {Sven Linker and
                  Martin Hilscher},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Proof Theory of a Multi-Lane Spatial Logic},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
                  Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {231--248},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39718-9\_14},
  doi          = {10.1007/978-3-642-39718-9\_14},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/LinkerH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Linker12,
  author       = {Sven Linker},
  editor       = {Jens Brandt and
                  Keijo Heljanko},
  title        = {Translating Structural Process Properties to Petri Net Markings},
  booktitle    = {12th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
  pages        = {82--91},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ACSD.2012.11},
  doi          = {10.1109/ACSD.2012.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Linker12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsi/FaberLOQ11,
  author       = {Johannes Faber and
                  Sven Linker and
                  Ernst{-}R{\"{u}}diger Olderog and
                  Jan{-}David Quesel},
  title        = {Syspect - Modelling, Specifying, and Verifying Real-Time Systems with
                  Rich Data},
  journal      = {Int. J. Softw. Informatics},
  volume       = {5},
  number       = {1-2},
  pages        = {117--137},
  year         = {2011},
  url          = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i78},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsi/FaberLOQ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/HilscherLOR11,
  author       = {Martin Hilscher and
                  Sven Linker and
                  Ernst{-}R{\"{u}}diger Olderog and
                  Anders P. Ravn},
  editor       = {Shengchao Qin and
                  Zongyan Qiu},
  title        = {An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres},
  booktitle    = {Formal Methods and Software Engineering - 13th International Conference
                  on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
                  2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6991},
  pages        = {404--419},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24559-6\_28},
  doi          = {10.1007/978-3-642-24559-6\_28},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/HilscherLOR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Linker10,
  author       = {Sven Linker},
  editor       = {Kai Bollue and
                  Dominique G{\"{u}}ckel and
                  Ulrich Loup and
                  Jacob Sp{\"{o}}nemann and
                  Melanie Winkler},
  title        = {Diagrammatic Specification and Verification of Mobile Real-Time Systems},
  booktitle    = {Proceedings of the Joint Workshop of the German Research Training
                  Groups in Computer Science, Algorithmic synthesis of reactive and
                  discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010},
  pages        = {53},
  publisher    = {Verlagshaus Mainz, Aachen, Germany},
  year         = {2010},
  timestamp    = {Tue, 03 Mar 2020 17:20:41 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Linker10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/diagrams/Linker10,
  author       = {Sven Linker},
  editor       = {Ashok K. Goel and
                  Mateja Jamnik and
                  N. Hari Narayanan},
  title        = {Diagrammatic Specification of Mobile Real-Time Systems},
  booktitle    = {Diagrammatic Representation and Inference, 6th International Conference,
                  Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6170},
  pages        = {316--318},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14600-8\_40},
  doi          = {10.1007/978-3-642-14600-8\_40},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/diagrams/Linker10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}