research
∙
04/09/2022
Reduction ratio of the IS-algorithm: worst and random cases
We study the IS-algorithm, a well-known linear-time algorithm for comput...
share
research
∙
12/07/2020
Galloping in natural merge sorts
We study the algorithm TimSort and the sub-routine it uses to merge mono...
research
∙
03/09/2019
Timed Systems through the Lens of Logic
In this paper, we analyze timed systems with data structures, using a ri...
research
∙
09/22/2018
Adaptive Shivers Sort: An Alternative Sorting Algorithm
We present a stable mergesort, called , that exploits the existence of m...
research
∙
05/22/2018
On the Worst-Case Complexity of TimSort
TimSort is an intriguing sorting algorithm designed in 2002 for Python, ...
research
∙
08/19/2017
Unbounded product-form Petri nets
Computing steady-state distributions in infinite-state stochastic system...
research
∙
02/16/2017