A new paradigm for computer-based decision support M Beynon, S Rasmequan, S Russ Decision Support Systems 33 (2), 127-142, 2002 | 153 | 2002 |
The mathematical works of Bernard Bolzano B Bolzano, S Russ Oxford University Press, 2004 | 150 | 2004 |
A translation of Bolzano's paper on the intermediate value theorem SB Russ Historia Mathematica 7 (2), 156-185, 1980 | 128 | 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 | 42 | 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 | 32 | 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 | 25 | 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 | 18 | 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 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 |
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 | 15 | 2001 |
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 |
Empirical modelling of requirements M Beynon, S Russ University of Warwick. Department of Computer Science, 1994 | 10 | 1994 |
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 |