activity
20182022
collaborators

6 papers

cs.GT2022

Product Portfolio Management in Competitive Environments

Samira Hossein Ghorban, Bardyaa Hesaam

Product diversity is one of the prominent factors for customers' satisfaction, while from the firms' perspective, the additional engineering costs required for product diversity sh…

cs.PL2022

Implementing Choreography Extraction

Luis Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi +1

Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification and synthesis of correct-by-construction softw…

cs.DS2022

Online Unit Profit Knapsack with Untrusted Predictions

Joan Boyar, Lene M. Favrholdt, Kim S. Larsen

A variant of the online knapsack problem is considered in the settings of trusted and untrusted predictions. In Unit Profit Knapsack, the items have unit profit, and it is easy to…

cs.DS2019

Online Bin Covering with Advice

Joan Boyar, Lene M. Favrholdt, Shahin Kamali +1

The bin covering problem asks for covering a maximum number of bins with an online sequence of items of different sizes in the range ; a bin is said to be covered if it…

cs.DS2018

Advice Complexity of Priority Algorithms

Allan Borodin, Joan Boyar, Kim S. Larsen +1

The priority model of "greedy-like" algorithms was introduced by Borodin, Nielsen, and Rackoff in 2002. We augment this model by allowing priority algorithms to have access to advi…

cs.DS2018

The Scheduler is Very Powerful in Competitive Analysis of Distributed List Accessing

Joan Boyar, Faith Ellen, Kim S. Larsen

This work is a continuation of efforts to define and understand competitive analysis of algorithms in a distributed shared memory setting, which is surprisingly different from the…