research
∙
04/07/2023
Qubo model for the Closest Vector Problem
In this paper we consider the closest vector problem (CVP) for lattices ...
share
research
∙
03/26/2023
Asymptotic analysis and efficient random sampling of directed ordered acyclic graphs
Directed acyclic graphs (DAGs) are directed graphs in which there is no ...
research
∙
03/02/2018
Beyond series-parallel concurrent systems: the case of arch processes
In this paper we focus on concurrent processes built on synchronization ...
research
∙
01/30/2018