2 papers
cs.PL2026
Polar: An Algebraic Analyzer for (Probabilistic) Loops
Marcel Moosbrugger, Julian Müllner, Ezio Bartocci +1
We present the Polar framework for fully automating the analysis of classical and probabilistic loops using algebraic reasoning. The central theme in Polar comes with handling alge…
cond-mat.soft2025
State-dependent recruitment of adhesion molecules enables perfect stabilization in cell-adhesion models
Anton F. Burnet, Julia Müllner, Benedikt Sabass
Cells adapt their adhesion to mechanical load, but the physical conditions under which this response prevents rupture remain unclear. Inspired by focal adhesions, we study models i…