3 papers
cond-mat.stat-mech2019
An exploratory study of the glassy landscape near jamming
Claudia Artiaco, Paolo Baldan, Giorgio Parisi
We present the study of the landscape structure of athermal soft spheres both as a function of the packing fraction and of the energy. We find that, on approaching the jamming tran…
cs.LO2019
Minimisation of Event Structures
Paolo Baldan, Alessandra Raffaetà
Event structures are fundamental models in concurrency theory, providing a representation of events in computation and of their relations, notably concurrency, conflict and causali…
cs.LO2015
Towards Trace Metrics via Functor Lifting
Paolo Baldan, Filippo Bonchi, Henning Kerstan +1
We investigate the possibility of deriving metric trace semantics in a coalgebraic framework. First, we generalize a technique for systematically lifting functors from the category…