| A new paradigm for computer-based decision support M Beynon, S Rasmequan, S Russ Decision Support Systems 33 (2), 127-142, 2002 | 150 | 2002 |
| The mathematical works of Bernard Bolzano B Bolzano, S Russ Oxford University Press, 2004 | 147 | 2004 |
| A translation of Bolzano's paper on the intermediate value theorem SB Russ Historia Mathematica 7 (2), 156-185, 1980 | 121 | 1980 |
| Purely analytic proof of the theorem that between any two values which give results of opposite signs, there lies at least one real root of the equation B Bolzano, S Russ The Mathematical Works of Bernard Bolzano, Oxford University Press, Oxford …, 2004 | 48 | 2004 |
| Human computing—modelling with meaning M Beynon, S Russ, W McCarty Literary and Linguistic Computing 21 (2), 141-157, 2006 | 41 | 2006 |
| The experience of history in mathematics education S Russ, P Ransom, P Perkins, A Arcavi, E Barbin, G Brown, D Fowler For the Learning of Mathematics 11 (2), 7-16, 1991 | 31 | 1991 |
| (Re) defining computing curricula by (re) defining computing CL Isbell, LA Stein, R Cutler, J Forbes, L Fraser, J Impagliazzo, V Proulx, ... Acm Sigcse Bulletin 41 (4), 195-207, 2010 | 26 | 2010 |
| Years Ago: Bolzano’s Analytic Programme S Russ The Mathematical Intelligencer 14 (3), 45-53, 1992 | 24 | 1992 |
| From Past to Future: Graßmann's Work in Context: Graßmann Bicentennial Conference, September 2009 HJ Petsche, AC Lewis, J Liesen, S Russ Springer Science & Business Media, 2010 | 22 | 2010 |
| The interpretation of states: A new foundation for computation? WM Beynon, SB Russ University of Warwick, Department of Computer Science, 1992 | 18 | 1992 |
| The temposcope: a computer instrument for the idealist timetabler M Beynon, A Ward, S Maad, A Wong, S Rasmequan, S Russ | 17 | 2000 |
| The computer as instrument M Beynonco], YC Ch’en, HW Hseu, S Maad, S Rasmequan, C Roe, ... Cognitive Technology: Instruments of Mind: 4th International Conference, CT …, 2001 | 16 | 2001 |
| The unreasonable effectiveness of mathematics in the natural sciences S Russ Interdisciplinary Science Reviews 36 (3), 209-213, 2011 | 15 | 2011 |
| Rethinking programming WM Beynon, RC Boyatt, SB Russ Third International Conference on Information Technology: New Generations …, 2006 | 15 | 2006 |
| Software construction using definitions: an illustrative example M Beynon, MT Norris, S Russ, MD Slade, YP Yung, YW Yung University of Warwick. Department of Computer Science, 1989 | 14 | 1989 |
| Strategic decision support systems: an experience-based approach S Rasmequan, C Roe, SB Russ | 12 | 2000 |
| Making construals as a new digital skill: dissolving the program-and the programmer-interface M Beynon, J Foss, E Hudnott, S Russ, C Hall, R Boyatt, E King, E Sutinen, ... 2015 International Conference on Interactive Technologies and Games, 9-16, 2015 | 11 | 2015 |
| Empirical modelling: the computer as a modelling medium S Russ ITNOW 39 (2), 20-22, 1997 | 10 | 1997 |
| Bolzano’s measurable numbers: are they real? S Russ, K Trlifajová Research in History and Philosophy of Mathematics: The CSHPM 2015 Annual …, 2016 | 9 | 2016 |
| Experimenting with computing M Beynon, S Russ Journal of Applied Logic 6 (4), 476-489, 2008 | 9 | 2008 |
