Publications

Flexibility can hurt dynamic matching system performance

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

Equivalent Rewritings on Path Views with Binding Patterns

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

Improving graphs of cycles approach to structural similarity of molecules

Incremental and Adaptive Feature Exploration over Time Series Stream

Performance Evaluation of the QoS Aware Web Service Composition with Communities of Consumers

Formal models for safety analysis of a Data Center system