Stephen Cook
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
Bluetooth security analysis of general and intimate health IoT devices and apps: the case of FemTech.
Int. J. Inf. Sec., December, 2024
Proceedings of the 16th International Conference on COMmunication Systems & NETworkS, 2024
2023
CoRR, 2023
2022
Hybrid Approach for Modelling the Uptake of Residential Solar PV Systems, with Case Study Application in Melbourne, Australia.
J. Artif. Soc. Soc. Simul., 2022
2017
Application of System Dynamics to Evaluate the Social and Economic Benefits of Infrastructure Projects.
Syst., 2017
2014
Proceedings of the 2014 AAAI Spring Symposia, 2014
2012
Proceedings of the ACM Turing Centenary Celebration, 2012
1996
Relating the provable collapse of P to NC<sup>1</sup> and the power of logical theories.
Proceedings of the Proof Complexity and Feasible Arithmetics, 1996