Sven Linker

Identifiers

• name variant Sven Linker 0.60 · backfill

Papers (5)

1. SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles cs.SE · 2018 · author #2
2. Multi-Scale Verification of Distributed Synchronisation cs.LO · 2018 · author #2
3. Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time cs.AI · 2018 · author #2
4. Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles cs.SY · 2018 · author #3
5. The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators cs.DC · 2017 · author #2

Mentions

• 1811.01774 #2 · arxiv_oai · confidence 0.70 Sven Linker
• 1804.03406 #3 · arxiv_oai · confidence 0.70 Sven Linker

Frequent Coauthors

• Michael Fisher 3 shared papers
• Clare Dixon 2 shared papers
• Mario Gleirscher 2 shared papers
• Paul Gainer 2 shared papers
• Stefan Kugele 2 shared papers
• Ullrich Hustadt 2 shared papers
• Maryam Kamali 1 shared papers