Projects per year
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Industrial CASE Account - University of Strathclyde 2021 | Braithwaite, Dylan
Ghani, N., Hedges, J. & Braithwaite, D.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/21 → 1/10/25
Project: Research Studentship Case - Internally allocated
-
A software assistant for the game-theoretically sound design of smart contracts and governance structures
Hedges, J. & Zahn, P.
Project: Knowledge Exchange
-
Towards foundations of categorical cybernetics
Capucci, M., Gavranovic, B., Hedges, J. & Rischel, E. F., 12 Jul 2021, p. 1-13. 13 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile6 Downloads (Pure) -
Compositional modelling of network games
Di Lavore, E., Hedges, J. & Sobociński, P., 13 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. Baier, C. & Goubault-Larrecq, J. (eds.). Dagstuhl, Germany, 25 p. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 183).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile3 Downloads (Pure)