A Faster Algorithm for Recognizing Directed Graphs Invulnerable to Braess’s Paradox
A Multi-Modal Distributed Real-Time IoT System for Urban Traffic Control (Invited Paper)
An Asymptotically Optimal Approximation Algorithm for the Travelling Car Renter Problem
A New Sequential Approach to Periodic Vehicle Scheduling and Timetabling
Assignment Based Resource Constrained Path Generation for Railway Rolling Stock Optimization
A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy
Attending to Motion: an object-based approach
CaVa DSL : Virtual learning spaces formal specification
DMAC: Deadline-Miss-Aware Control
Equilibrium design for concurrent games
Fast and Robust Vectorized In-Place Sorting of Primitive Types
Integrating Line Planning for Construction Sites into Periodic Timetabling via Track Choice
Meeting in a Polygon by Anonymous Oblivious Robots
Non-Pool-Based Line Planning on Graphs of Bounded Treewidth
Oblivious permutations on the plane