Publications

Biological computation and computational biology: survey, challenges, and discussion

Towards a semantic indoor trajectory model: application to museum visits

A fully distributed approach for joint user association and RRH clustering in cloud radio access networks

Energy Packet Networks with general service time distribution

Completeness issues in mobile crowd-sensing environments

Formal Modeling and Automatic Generation of Test Cases for the Autonomous Vehicle

Flexibility can hurt dynamic matching system performance

Special issue on “Advances on Large Evolving Graphs”

Enumerating models of DNF faster: breaking the dependency on the formula size

Energy Packet Networks with Finite Capacity Energy Queues