Mobility Compass

Discover mobility and transportation research. Find experts, partners, networks.

  • About
  • Privacy Policy
  • Legal Notice
  • Contact

The Mobility Compass is an open tool for improving networking and interdisciplinary exchange within mobility and transport research. It enables cross-database search for cooperation and network partners and discovering of the research landscape.

The dashboard provides detailed information about the selected scientist, e.g. publications. The dashboard can be filtered and shows the relationship to co-authors in different diagrams. In addition, a link is provided to find contact information.

To Graph

8.284 Topics available

To Map

890 Locations available

479.575 PEOPLE
479.575 People People

479.575 People

Show results for 479.575 people that are selected by your search filters.

←

Page 1 of 19183

→
PeopleLocationsStatistics
Ziakopoulos, ApostolosAthens
  • 17
  • 87
  • 227
  • 2023
Vigliani, AlessandroTurin
  • 16
  • 43
  • 198
  • 2023
Catani, JacopoRome
  • 2
  • 7
  • 10
  • 2023
Statheros, ThomasStevenage
  • 4
  • 10
  • 4
  • 2023
Utriainen, RoniTampere
  • 16
  • 37
  • 428
  • 2023
Guglieri, GiorgioTurin
  • 42
  • 113
  • 100
  • 2023
Martínez Sánchez, Joaquín
  • 5
  • 17
  • 154
  • 2023
Tobolar, Jakub
  • 11
  • 37
  • 19
  • 2023
Volodarets, M.
  • 18
  • 150
  • 76
  • 2023
Piwowar, Piotr
  • 2
  • 11
  • 12
  • 2023
Tennoy, AudOslo
  • 14
  • 30
  • 186
  • 2023
Matos, Ana Rita
  • 1
  • 4
  • 1
  • 2023
Cicevic, Svetlana
  • 16
  • 58
  • 56
  • 2023
Sommer, CarstenKassel
  • 125
  • 92
  • 72
  • 2023
Liu, Meiqi
  • 5
  • 16
  • 48
  • 2023
Pirdavani, AliHasselt
  • 66
  • 288
  • 715
  • 2023
Niklaß, Malte
  • 40
  • 239
  • 182
  • 2023
Lima, PedroBraga
  • 3
  • 13
  • 12
  • 2023
Turunen, Anu W.
  • 6
  • 57
  • 423
  • 2023
Antunes, Carlos Henggeler
  • 25
  • 106
  • 924
  • 2023
Krasnov, Oleg A.
  • 10
  • 34
  • 44
  • 2023
Lopes, Joao P.
  • 1
  • 6
  • 0
  • 2023
Turan, Osman
  • 44
  • 148
  • 482
  • 2023
Lučanin, VojkanBelgrade
  • 14
  • 37
  • 43
  • 2023
Tanaskovic, Jovan
  • 8
  • 15
  • 0
  • 2023

Platzer, Andr'E

  • Google
  • 16
  • 29
  • 373

Karlsruhe Institute of Technology

in Cooperation with on an Cooperation-Score of 37%

Topics

  • drone
  • driving
  • theory
  • algorithm
  • forecasting
  • safety
  • physics
  • optimisation
  • implementation
  • machinery
  • learning
  • machine learning
  • human being
  • intelligence
  • foundation
  • image processing
  • supervisor
  • supervision
  • flexibility
  • consensus
  • autonomous automobile
  • air traffic
  • air traffic control
  • engine
  • computer science
  • railway train
  • automobile
  • variable
  • crash
  • software
  • roundabout
  • architecture
  • system design
  • prevention
  • highway traffic control
  • inductive interference
  • equation
  • invariant
  • differential equation
  • aircraft
  • aircraft pilotage
  • case study
  • simulation
  • flight
  • behavior
  • robot
  • robotics
  • nonlinear system
  • air transportation crash
  • brake
  • air pressure
  • administration
  • crash avoidance system
  • aviation
  • language
  • consultant
  • midair crash
  • automata theory
  • mobile robot
  • design
  • control system
  • evolution
  • mathematical model
  • complex system
  • family
  • European Train Control System
  • train control system
  • skull
  • modeling
  • control device
  • plant
  • artificial intelligence
  • information system
  • airplane
  • designer
  • medical equipment
  • examination
  • industry
  • airspace
  • distributed control
  • industrial engineering
  • traffic crash
  • symmetry
  • angular velocity
  • vision
  • engineering
  • computer network
  • advanced traffic management system
  • embedded system
  • parametric analysis
  • estimating
  • show 61 more
  • show less

Publications

  • 2019The Logical Path to Autonomous Cyber-Physical Systems10citations
  • 2018Computing Differential Invariants of Hybrid Systems as Fixedpointscitations
  • 2018Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Studycitations
  • 2017Formal Verification of Train Control with Air Pressure Brakes10citations
  • 2017A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System24citations
  • 2016Logic & Proofs for Cyber-Physical Systems5citations
  • 2015How to model and prove hybrid systems with KeYmaera: a tutorial on safety42citations
  • 2015A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System47citations
  • 2013Formal verification of distributed aircraft controllers28citations
  • 2012Formal verification of distributed aircraft controllers28citations
  • 2010European Train Control Systemcitations
  • 2010Air Traffic Collision Avoidancecitations
  • 2009European Train Control System: A case study in formal verification94citations
  • 2009Verification of cyberphysical transportation systems19citations
  • 2008Logical Verification and Systematic Parametric Analysis in Train Control18citations
  • 2007The Image Computation Problem in Hybrid Systems Model Checking48citations

Places of action

Chart of shared publication
Clarke, Edmund M.
3 / 3 shared
Gario, M.
1 / 1 shared
Budnik, C. J.
1 / 1 shared
Mitsch, S.
1 / 1 shared
Golm, M.
1 / 1 shared
Jeannin, Jean-Baptiste
2 / 4 shared
Kouskoulas, Yanni A
2 / 4 shared
Gardner, Ryan
2 / 3 shared
Ghorbal, Khalil
2 / 2 shared
Schmidt, Aurora
2 / 2 shared
Mitsch, Stefan
2 / 3 shared
Quesel, Jan-David
3 / 3 shared
Loos, Sarah M.
2 / 2 shared
Arechiga, Nikos
1 / 2 shared
Zawadzki, Erik
1 / 1 shared
Renshaw, David
1 / 1 shared
Loos, S. M.
1 / 1 shared
Renshaw, D.
1 / 1 shared
Chart of publication period
2019
2018
2017
2016
2015
2013
2012
2010
2009
2008
2007

Co-Authors (by relevance)

  • Clarke, Edmund M.
  • Gario, M.
  • Budnik, C. J.
  • Mitsch, S.
  • Golm, M.
  • Jeannin, Jean-Baptiste
  • Kouskoulas, Yanni A
  • Gardner, Ryan
  • Ghorbal, Khalil
  • Schmidt, Aurora
  • Mitsch, Stefan
  • Quesel, Jan-David
  • Loos, Sarah M.
  • Arechiga, Nikos
  • Zawadzki, Erik
  • Renshaw, David
  • Loos, S. M.
  • Renshaw, D.