The following pages link to Sandro Stucki (Q2110647):
Displaying 7 items.
- Rate equations for graphs (Q2110648) (← links)
- Gray-box monitoring of hyperproperties with an application to privacy (Q2147690) (← links)
- Rigid geometric constraints for Kappa models (Q2520629) (← links)
- Coarse-graining the dynamics of ideal branched polymers (Q2520630) (← links)
- Moment Semantics for Reversible Rule-Based Systems (Q2822487) (← links)
- The Essence of Dependent Object Types (Q3188291) (← links)
- Reversible Sesqui-Pushout Rewriting (Q3192234) (← links)