Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: nid=1072390043



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1072390043
Person Linker, Sven
Akademischer Grad Dr. rer. nat.
Zeit Lebensdaten: 1983-
Land Deutschland (XA-DE)
Geografischer Bezug Geburtsort: Uelzen
Beruf(e) Informatiker
Weitere Angaben Diss., Fak. Informatik, Wirtschafts- und Rechtswissenschaften, Univ. Oldenburg, 2015
Typ Person (piz)
Autor von 4 Publikationen
  1. Finite Models for a Spatial Logic with Discrete and Topological Path Operators
    Linker, Sven. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
  2. Analysing Spatial Properties on Neighbourhood Spaces
    Linker, Sven. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
  3. ...
Beteiligt an 1 Publikation
  1. Synthesizing and verifying controllers for multi-lane traffic maneuvers
    Enthalten in Formal aspects of computing Bd. 29, 13.3.2017, Nr. 4, date:7.2017: 583-600





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration