Sjoerd Cranen
From MaRDI portal
Person:549179
Available identifiers
zbMath Open cranen.sjoerdMaRDI QIDQ549179
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Parity game reductions | 2018-08-10 | Paper |
| Evidence for Fixpoint Logic | 2017-08-31 | Paper |
| Abstraction in Fixpoint Logic | 2017-07-12 | Paper |
| Proof Graphs for Parameterised Boolean Equation Systems | 2013-08-12 | Paper |
| An Overview of the mCRL2 Toolset and Its Recent Advances | 2013-08-05 | Paper |
| A Cure for Stuttering Parity Games | 2012-09-21 | Paper |
| A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus | 2011-07-07 | 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: Sjoerd Cranen
