Simon Schäfer

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 3

Top Topics

Theorem Proving

Distributed Search

Proof Procedure

Top Venues

J. Oper. Res. Soc.

Publications

Simon Schäfer, Hendrik Steidl, Stefan Kowalewski, Bassam Alrifaee
Investigating a Pressure Sensitive Surface Layer for Vehicle Localization. IV (2023)
Armin Mokhtarian, Simon Schäfer, Bassam Alrifaee
CPM Olympics: Development of Scenarios for Benchmarking in Networked and Autonomous Driving. IV (2022)
Simon Schäfer, Stephan Schulz
Breeding Theorem Proving Heuristics with Genetic Algorithms. GCAI (2015)
Ulrich Derigs, Simon Schäfer
A note on extending the generic crew scheduling model of Beasley and Cao by deadheads and layovers. J. Oper. Res. Soc. 65 (5) (2014)
Ulrich Derigs, Dominik Malcherek, Simon Schäfer
Supporting strategic crew management at passenger railways - model, method and system. Public Transp. 2 (4) (2010)
Ulrich Derigs, Stefan Friederichs, Simon Schäfer
A New Approach for Air Cargo Network Planning. Transp. Sci. 43 (3) (2009)