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)
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
A qualitative spatial descriptor of group-robot interactions
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
Compacting Squares:Input-Sensitive In-Place Reconfiguration of Sliding Squares
DMAC: Deadline-Miss-Aware Control
Equilibrium design for concurrent games
Fast and Robust Vectorized In-Place Sorting of Primitive Types
Front Matter, Table of Contents, Preface, Conference Organization