david > Publications

Publications

17 November 2020

Energy Packet Networks with general service time distribution

See the publication

03 November 2020

Completeness issues in mobile crowd-sensing environments

See the publication

24 September 2020

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

See the publication

01 September 2020

Flexibility can hurt dynamic matching system performance

See the publication

01 September 2020

Special issue on “Advances on Large Evolving Graphs”

See the publication

04 June 2020

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

See the publication

18 May 2020

Energy Packet Networks with Finite Capacity Energy Queues

See the publication

01 January 2020

A reference architecture for smart building digital twin

See the publication

01 January 2020

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

See the publication

01 January 2020

Equivalent Rewritings on Path Views with Binding Patterns

See the publication