Stephen Cranefield
From MaRDI portal
Person:2921076
Available identifiers
zbMath Open cranefield.stephenMaRDI QIDQ2921076
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
https://portal.mardi4nfdi.de/entity/Q4993609 | 2021-06-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4993620 | 2021-06-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4993628 | 2021-06-15 | Paper |
On the Testability of BDI Agent Systems | 2014-09-30 | Paper |
Verifying social expectations by model checking truncated paths | 2011-12-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q5491944 | 2006-10-12 | Paper |
Agents and Peer-to-Peer Computing | 2006-01-10 | 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: Stephen Cranefield