Mr Ivaylo Valkov
- Research Assistant (Computing Science)
- Lab Assistant, Tutor, Tutor (School of Computing Science)
email: Ivaylo.Valkov@glasgow.ac.uk
email: Ivaylo.Valkov@glasgow.ac.uk
Miller, A. , Barr, M. , Kavanagh, W. , Valkov, I. and Purchase, H. C. (2021) Breakout group allocation schedules and the social golfer problem with adjacent group sizes. Symmetry, 13(1), 13. (doi: 10.3390/sym13010013)
Valkov, I. and Miller, A. (2019) Using Model Checking in the Design of a Sensor Network Protocol. In: 26th Automated Reasoning Workshop (ARW 2019), London, UK, 02-03 Sep 2019, pp. 17-18.
Miller, A. , Barr, M. , Kavanagh, W. , Valkov, I. and Purchase, H. C. (2021) Breakout group allocation schedules and the social golfer problem with adjacent group sizes. Symmetry, 13(1), 13. (doi: 10.3390/sym13010013)
Valkov, I. and Miller, A. (2019) Using Model Checking in the Design of a Sensor Network Protocol. In: 26th Automated Reasoning Workshop (ARW 2019), London, UK, 02-03 Sep 2019, pp. 17-18.