Improving navigation support by taking care of drivers' situational needs
Graphic Toolkit for Adaptive Layouts in In-Vehicle User Interfaces
Proactive traffic merging strategies for sensor-enabled cars
A differential OFDM approach to coherence time mitigation in DSRC
Runtime infrastructure for simulating vehicle-2-X communication scenarios
Learning to predict train wheel failures
Onboard classifiers for science event detection on a remote sensing spacecraft
Rendering effective route maps: improving usability through generalization
LIMERIC: A linear message rate control algorithm for vehicular DSRC systems
Charging scheduling with minimal waiting in a network of electric vehicles and charging stations
Requirements of an integrated formal method for intelligent swarms
An approach to the pervasive formal specification and verification of an automotive system
Echo: a practical approach to formal verification
GPS-aided recognition-based user tracking system with augmented reality in extreme large-scale areas
A simulation study of traffic efficiency improvement based on car-to-x communication
Coordinated VANET experiments - a methodology and first results
Distributed rate control algorithm for VANETs (DRCV)
Installation and evaluation of RFID readers on moving vehicles