Publications

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

A reference architecture for smart building digital twin

Modeling Green Data-Centers and Jobs Balancing with Energy Packet Networks and Interrupted Poisson Energy Arrivals

Equivalent Rewritings on Path Views with Binding Patterns