50 citations · 75 across the 4 of their papers we have counts for
4 papers
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic
Daniel Miedema, Malvin Gattinger
Binary decision diagrams (BDDs) are widely used to mitigate the state-explosion problem in model checking. A variation of BDDs are Zero-suppressed Decision Diagrams (ZDDs) which om…
Free energy of sheared colloidal glasses
M. T. Dang, V. Chikkadi, R. Zargar +4
We develop a free energy framework to describe the response of glasses to applied stress. Unlike crystals, for which the free energy increases quadratically with strain due to affi…
Shear banding of colloidal glasses - a dynamic first order transition?
V. Chikkadi, D. M. Miedema, B. Nienhuis +1
We demonstrate that application of an increasing shear field on a glass leads to an intriguing dynamic first order transition in analogy to equilibrium transitions. By following th…
Criticality in Dynamic Arrest: Correspondence between Glasses and Traffic
A. S. de Wijn, D. M. Miedema, B. Nienhuis +1
Dynamic arrest is a general phenomenon across a wide range of dynamic systems, but the universality of dynamic arrest phenomena remains unclear. We relate the emergence of traffic…