default search action
Sven Linker
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [e6]Valeria Giardino
, Sven Linker
Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings. Lecture Notes in Computer Science 13462, Springer 2022, ISBN 978-3-031-15145-3 [contents] - 2021
- [c20]Sven Linker
Natural Deduction for Intuitionistic Euler-Venn Diagrams. Diagrams 2021: 529-533 - [c19]Sven Linker
Finite Models for a Spatial Logic with Discrete and Topological Path Operators. MFCS 2021: 72:1-72:16 - [e5]Amrita Basu, Gem Stapleton
Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings. Lecture Notes in Computer Science 12909, Springer 2021, ISBN 978-3-030-86061-5 [contents] - [i8]Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. CoRR abs/2110.08172 (2021) - 2020
- [j7]Paul Gainer
Multi-scale verification of distributed synchronisation. Formal Methods Syst. Des. 55(3): 171-221 (2020) - [c18]Sven Linker
Intuitionistic Euler-Venn Diagrams. Diagrams 2020: 264-280 - [c17]Sven Linker
Analysing Spatial Properties on Neighbourhood Spaces. MFCS 2020: 66:1-66:14 - [e4]Ahti-Veikko Pietarinen
Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings. Lecture Notes in Computer Science 12169, Springer 2020, ISBN 978-3-030-54248-1 [contents] - [i7]Sven Linker:
Intuitionistic Euler-Venn Diagrams (extended). CoRR abs/2002.02929 (2020) - [i6]Sven Linker, Fabio Papacchini, Michele Sevegnani:
Analysing Spatial Properties on Neighbourhood Spaces. CoRR abs/2007.01266 (2020)
2010 – 2019
- 2019
- [i5]Mario Gleirscher, Anne E. Haxthausen
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). Dagstuhl Reports 9(10): 95-116 (2019) - 2018
- [j6]Mario Gleirscher, Stefan Kugele, Sven Linker:
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. ACM SIGSOFT Softw. Eng. Notes 43(4): 45-47 (2018) - [j5]Mario Gleirscher, Stefan Kugele, Sven Linker:
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. ACM SIGSOFT Softw. Eng. Notes 43(4): 54 (2018) - [c16]Sven Linker
Sequent Calculus for Euler Diagrams. Diagrams 2018: 399-407 - [c15]Maryam Kamali, Sven Linker
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. FTSCS 2018: 18-36 - [c14]Paul Gainer
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. ICFEM 2018: 160-176 - [e3]Mario Gleirscher, Stefan Kugele, Sven Linker:
Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018. EPTCS 269, 2018 [contents] - [i4]Maryam Kamali, Sven Linker, Michael Fisher:
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. CoRR abs/1804.06647 (2018) - [i3]Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
Multi-Scale Verification of Distributed Synchronisation. CoRR abs/1809.10655 (2018) - [i2]Mario Gleirscher, Sven Linker, Stefan Kugele:
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. CoRR abs/1811.01774 (2018) - 2017
- [j4]Sven Linker:
Hybrid Multi-Lane Spatial Logic. Arch. Formal Proofs 2017 (2017) - [j3]Gregor von Bochmann, Martin Hilscher, Sven Linker
Synthesizing and verifying controllers for multi-lane traffic maneuvers. Formal Aspects Comput. 29(4): 583-600 (2017) - [c13]Sven Linker
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. IFM 2017: 34-49 - [c12]Paul Gainer
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. QEST 2017: 224-239 - [c11]Sven Linker
Formalising Sensor Topologies for Target Counting. ALP4IoT@iFM 2017: 43-57 - [e2]Lukas Bulwahn, Maryam Kamali, Sven Linker:
Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017. EPTCS 257, 2017 [contents] - [i1]Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. CoRR abs/1709.04385 (2017) - 2016
- [c10]Sven Linker
Measuring User Comprehension of Inference Rules in Euler Diagrams. Diagrams 2016: 32-39 - [c9]Sven Linker
Tactical Diagrammatic Reasoning. UITP 2016: 29-42 - [e1]Sven Linker, Peter Rodgers:
Proceedings of the International Workshop on Set Visualization and Reasoning co-located with 9th International Conference on the Theory and Application of Diagrams (Diagrams 2016), Philadelphia, USA, August 7, 2016. CEUR Workshop Proceedings 1655, CEUR-WS.org 2016 [contents] - 2015
- [b1]Sven Linker:
Proofs for traffic safety - combining diagrams and logic. Universität Oldenburg, Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik 01-15, 2015, pp. I-XIII, 1-201 - [j2]Sven Linker
Proof Theory of a Multi-Lane Spatial Logic. Log. Methods Comput. Sci. 11(3) (2015) - [c8]Gregor von Bochmann, Martin Hilscher, Sven Linker
Synthesizing Controllers for Multi-lane Traffic Maneuvers. SETTA 2015: 71-86 - [c7]Jim Burton, Sven Linker
Generating readable diagrammatic proofs. VL/HCC 2015: 307-308 - 2013
- [c6]Martin Hilscher, Sven Linker
Proving Safety of Traffic Manoeuvres on Country Roads. Theories of Programming and Formal Methods 2013: 196-212 - [c5]Sven Linker
Proof Theory of a Multi-Lane Spatial Logic. ICTAC 2013: 231-248 - 2012
- [c4]Sven Linker
Translating Structural Process Properties to Petri Net Markings. ACSD 2012: 82-91 - 2011
- [j1]Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel:
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. Int. J. Softw. Informatics 5(1-2): 117-137 (2011) - [c3]Martin Hilscher, Sven Linker
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. ICFEM 2011: 404-419 - 2010
- [c2]Sven Linker:
Diagrammatic Specification and Verification of Mobile Real-Time Systems. AlgoSyn 2010: 53 - [c1]Sven Linker
Diagrammatic Specification of Mobile Real-Time Systems. Diagrams 2010: 316-318
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: