Charging scheduling with minimal waiting in a network of electric vehicles and charging stations
Requirements of an integrated formal method for intelligent swarms
Echo: a practical approach to formal verification
Installation and evaluation of RFID readers on moving vehicles
PeerTIS - a peer-to-peer traffic information system
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