Sandro Stucki
From MaRDI portal
Person:2110647
Available identifiers
zbMath Open stucki.sandroMaRDI QIDQ2110647
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Refining privacy-aware data flow diagrams | 2023-05-26 | Paper |
Rate equations for graphs | 2022-12-22 | Paper |
Gray-box monitoring of hyperproperties with an application to privacy | 2022-06-20 | Paper |
Rigid geometric constraints for Kappa models | 2016-12-16 | Paper |
Coarse-graining the dynamics of ideal branched polymers | 2016-12-16 | Paper |
Moment Semantics for Reversible Rule-Based Systems | 2016-09-30 | Paper |
The Essence of Dependent Object Types | 2016-08-17 | Paper |
Reversible Sesqui-Pushout Rewriting | 2014-09-26 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Sandro Stucki