PAUL LENG: Principal publications

Books

  1. "Principles of Computer Organization" (with C C Charlton), McGraw-Hill, 1990, pp xii+240
  2. "A Course on C" (with C C Charlton and J Little), McGraw-Hill, 1993, pp 223
  3. "Innovation through Electronic Commerce" (ed: with S Grant, J Keane, L MacAuley and J R G Wood): Proceedings of the 2nd International Conference, IeC’99; CEeC, Manchester, 1999, pp 306


Contributed Book Chapters

  1. "Diffusion of technological innovations: Bringing businesses onto the Internet, the case study of Connect" (with C C Charlton, C Gittings, J Little and I E Neilson),in "Information Systems Innovation and Diffusion", T J Larsen and E McGuire (Eds), Idea Group Publishing, Hershey, USA, 1998, 251-296
  2. “Issues of quality in online degree programmes” (with F Grasso), in “Usability evaluation of online learning programs”. C Ghaoui (ed), Information Science Publishing, London, 2003, 198-217
  3. “Quality Assurance Issues for Online Universities” (with F Grasso), in “Encyclopedia of Information Science and Technology”, Idea Group, Hershey, USA, 2005, to appear

Refereed Journal papers

  1. "GEORGINA - A System for Beginners" (with C Bradbury), Computer Studies Quarterly, 1, 1977, pp13
  2. "Editors - Two for the Price of One" (with C C Charlton), Software - Practice and Experience, 11, 1981, 195-202
  3. "Microprocessor Monitoring of Multi-Access System Performance" (with C C Charlton and M C Gough), Journal of Microcomputer Applications, 5, 1982, 231-237
  4. "Aids for Pragmatic Error Detection" (with C C Charlton), Software - Practice and Experience, 13, 1983, 59-66
  5. "An Interactive Software System for Microcode Development" (with C C Charlton and D Elliott), Microprocessing and Microprogramming, 13, 1984, 105-114
  6. "Optimal File Allocation in a Loop Topology Local Area Network" (with K Ranai and C J Pursglove), J. Comput. Maths. Applic., 13(7), 1987, 601-610
  7. "Topological Reliability Analysis of Local-Area Computer Networks" (with K Ranai), J. Comput. Maths. Applic., 15(2), 1988, 119-129
  8. "Performance of Source vs Destination Removal of Messages in Loop Topology LANs" (with K Ranai), Information Technology - Journal of SCS, 2(1), 1988, 47-57
  9. "A Microprogram Meta-Disassembler" (with C C Charlton and D M Wilkinson), Microprocessing and Microprogramming, 22(4), 1988, 255-262
  10. "Program Monitoring and Analysis: Software Structures and Architectural Support" (with C C Charlton and D M Wilkinson), Software - Practice and Experience, 20(9), 1990, 859-867
  11. "INSET in Computing and Information Technology" (with G E Herterich), British Journal of In-Service Education, 16(2), 1990, 97-100
  12. "Vertical Migration of Numerical Routines in Software and Microcode" (with C C Charlton and J Little), Software - Practice and Experience, 21(3), 1991, 287-297
  13. "Lazy Simulation of Digital Logic" (with C C Charlton and D Jackson), Computer-Aided Design, 23(7), 1991, 506-513
  14. "An Algorithm for Optimising Signal Selection in Demand-Driven Digital Circuit Simulation" (with P E Dunne), Transactions of the Society for Computer Simulation, 8(4), 1992, 269-280
  15. "An Algorithm to Generate Random Large Combinational Circuits" (with C C Charlton, P E Dunne and K Halewood), The Computer Journal, 36(2), 1993, 200-206
  16. "Modelling Circuit Delays in a Demand-Driven Simulator" (with C C Charlton, D Jackson and P C Russell), Computers and Electrical Engineering, 20(4), 1994, 309-318
  17. "On the Complexity of Boolean Functions Computed by Lazy Oracles" (with P E Dunne and G F Nwana), IEEE Transactions on Computers, 44(4), April 1995, 495-502
  18. "Multiprocessor Simulation Strategies with Optimal Speed-up" (with P E Dunne and C J J Gittings), Information Processing Letters, 54(1), April 1995, 23-33
  19. "Maintaining consistency in a replicated software archive" (with C C Charlton, R K Lloyd and R Turnbull), Software - Practice and Experience, 28(3), March 1998, 285-295
  20. "A Computer Supported Environment for the Teaching of Legal Argument" (with T Bench-Capon and G Staniford), Journal of Information, Law and Technology, 1998(3), October; 12 pages. Available online at http://www.law.warwick.ac.uk/jilt/98-3/capon.html
  21. "Promotion of Electronic Commerce by a Regional Centre" (with C C Charlton, S Grant and I E Neilson), International Journal of Electronic Markets, 8(2), June 1998, 32-35
  22. "The Use of Macroprocessing for Web Site Standardization" (with C C Charlton, R K Lloyd and R Turnbull), Journal of Network and Computer Applications, 21, 1998, 135-148
  23. "An Experiment in multinational collaborative learning and group work using the Internet" (with M J R Shave, H Schauer, J R Muehlbacher and R M Aiken), Education and Information Technologies, 4(1), 1999, 33-47
  24. "Bringing the Internet to the Community" (with C C Charlton, C Gittings, J Little and I E Neilson), Interacting with Computers, 12(1), Sept 1999, 51-61
  25. "The Average Case Performance of an Algorithm for Demand-Driven Evaluation of Boolean Formulae" (with P E Dunne), J. Universal Computer Science, 5(5), May 1999, 288-306: online at: http://www.iicm.edu/jucs_5_5/the_average_case_performance
  26. "A Method for the Computational Modelling of Dialectical Argument with Dialogue Games" (with T Bench-Capon and T Geldard), Artificial Intelligence and Law, 8, 2000, 233-254
  27. "Algorithms for Computing Association Rules using a Partial-Support Tree" (with G Goulbourne and F Coenen), Knowledge Based Systems, 13 (2000), 141-149
  28. "Computer Mediated Collaborative Learning of Legal Argumentation" (with T Bench-Capon), Information and Communications Technology Law, 9(2), June 2000, 129-138
  29. "Efficient Web Searching using Temporal Factors" (with A Czumaj, I Finch,L Gasieniec, A Gibbons, W Rytter and M Zito), Theoretical Computer Science, 262, 2001, 569-582
  30. “Formalising Optimal Feature Weight Setting in Case Based Diagnosis as a Linear Programming Problem” (with L Zhang and F Coenen),  Knowledge-Based Systems, 15(7) Sept 2002, 391-98
  31. “Demand driven logic simulation using a network of loosely coupled processors” (with P E Dunne and G Nwana), Journal of Systems Architecture, 47, Sept 2002, 1117-1128
  32. “Tree structures for mining association rules” (with F Coenen and G Goulbourne), Data Mining and Knowledge Discovery, 8,1, January 2004, 25-51
  33. “ Setting attribute weights for K-NN based binary classification via quadratic programming” (with L Zhang and F Coenen), Intelligent Data Analysis, 7(5), 2003, 427-441
  34. “Data structures for association rule mining: T-trees and P-trees” (with F Coenen and Shakil Ahmed), IEEE Transactions on Knowledge and Data Engineering, 16, 6, 2004, 774-778

 

Papers published in Conference Proceedings

  1. "The Semantics of High-Level Systems Programming Languages" (with P G Hibbard), in "Machine Oriented Higher Level Languages", van der Poel and Maarsen (eds), North-Holland, 1974, 175-191
  2. "The Generation of Simulator-Based Systems for Microcode Development" (with C Charlton and D Jackson), Proc IEEE/ACM 17th Annual Microprogramming Workshop, New Orleans, 1984, 114-121
  3. "Microcomputer Support for the Teaching of Machine-Level Aspects of Computer Science" (with C C Charlton), in "Mini and Microcomputers and their Applications" (Proc 29th ISMM International Symposium), E Luque (Ed), 1985, 499-502
  4. "A Portable Environment for Microprogram Development" (with C C Charlton and J Little), in "Microcomputers, Usage and Design" (Proc 11th Euromicro Symposium), K Waldschmidt and B Myhrhaug (Eds), North-Holland, 1985, 219-226
  5. "Design of a Retargetable High-Level Microprogramming Support System" (with C C Charlton and J Little), Proc 34th ISMM Int. Conf. "Mini and Microcomputers", M H Hamza (Ed), Lugano, 1987, 198-202
  6. "Modelling and Simulation of Digital Logic: An Alternative Approach" (with C C Charlton and D Jackson), Proc 16th IASTED Int. Conf. "Identification, Modelling and Simulation", Paris, 1987, 86-90
  7. "Retargetable Simulation Software to Assist in Teaching Digital Systems Programming and Design" (with C C Charlton, D Jackson and J Little), Proc 36th ISMM Int. Conf. "Mini and Microcomputers", Sant Feliu, 1988, 343-346
  8. "A Functional Model of Clocked Microarchitectures" (with C C Charlton and D Jackson), Proc ACM/IEEE 22nd Annual Workshop on Microprogramming and Microarchitectures, Dublin, 1989, 207-212
  9. "MATTRESS: An Integrated Environment for the Design, Analysis and Programming of Digital Systems" (with C C Charlton, D Jackson, J Little and P C Russell), Proc IEE "IT 1990" conference, Southampton, 1990, 241-246
  10. "Parallel Demand-Driven Evaluation of Logic Networks" (with P E Dunne and C J J Gittings), Proc 28th Annual Allerton Conference on Communication, Control and Computing, D J Brown and K Poolla (eds), Illinois, 1990, 938-947
  11. "Extended Occam for Library Design" (with L M Delves, G Howard, N G Brown, C C Charlton, J M Watt and D Wilkinson), in "Transputing ‘91" (Proc First World Conference of National Transputer and Occam User Groups), P Welch, D Styles, T Kunii and A Bakkers (eds), IOS press, 1991, 374-387
  12. "Interacting with Knowledge Based Systems through Dialogue Games (with T J M Bench-Capon and P E Dunne), in "Expert Systems and their Applications", Proc 11th International Conference, Avignon, 1991, 123-130
  13. "Object-Oriented Modelling in Digital Circuit CAD Systems" (with C C Charlton and M G Rivers), Proc 17th Euromicro Conference, "Hardware and Software Design Automation", A Nunez and D Fay (eds); in Microprocessing and Microprogramming, 32(1), 1991, 93-100
  14. "A Workstation-Based Environment for Digital Systems Design and Programming" (with C C Charlton, P E Dunne, D Jackson, J Little and M G Rivers), Proc UKUUG Summer conference, Liverpool, 1991, 127-133
  15. "Parallel Demand-Driven Methods for Digital Logic Simulation" (with P E Dunne and C J J Gittings), Proc ISMM International Workshop on Parallel Computing, Trani, D Marinaro and G Mastronardi (eds), Acta press, 1991, 100-103
  16. "Using C++ to Model Digital Circuit Design Data" (with C C Charlton and M G Rivers), Proc East EurOOPe ‘91 short papers, A Mrazik (ed), Bratislava, 1991, 49-52
  17. "A Dialogue Game for Dialectical Interaction with Expert Systems" (with T J M Bench-Capon and P E Dunne), Proc 12th International Conference on Artificial Intelligence, Expert Systems and Natural Language, Avignon, 1992, 105-113
  18. "Distributed Logic Simulation on a Network of Workstations" (with P E Dunne and G F Nwana), Proc UKUUG/SUKUG Joint Conference, Oxford, 1993, 61-71
  19. "An Object-Oriented Model of Design Evolution" (with C C Charlton and M G Rivers), Proc 19th Euromicro Conference, "Open Systems Design", F Vajda and B G Mortensen (eds); in Microprocessing and Microprogramming, 38(1), 1993, 411-418
  20. "Sequential and Parallel Strategies for the Demand –Driven Simulation of Logic Circuits" (with P E Dunne and C J J Gittings), Proc 19th Euromicro Conference, "Open Systems Design", F Vajda and B G Mortensen (eds); in Microprocessing and Microprogramming, 38(1), 1993, 519-525
  21. "Using Inheritance to Provide Subschema Views in a Shared Persistent Object Database" (with C C Charlton and M G Rivers), in "Technology of Object Oriented Languages and Systems", (Proc 13th International Conference, TOOLS Europe ‘94), B. Magnusson, B Meyer, J-M Nerson and J-F Perrot (eds), Prentice-Hall, 1994, 419-428
  22. "The Liverpool HP-UX Archive Software Library" (with C C Charlton, J Little and M R Woodward), in "Painting the Future", (Proc International Hewlett-Packard Users Conference), J Witte (ed), Maastricht, 1994, 439-448
  23. "US-European Collaboration in Network Software Distribution" (with C C Charlton, J Little and M R Woodward), in "Interworks ‘94", (Proceedings of the International HP Workstations User Group Conference), Orlando, 1994, 223-227
  24. "Distributing Quality-Controlled Software via the Internet" (with C C Charlton, P E Dunne, J Little and M R Woodward), Proc 20th Euromicro Conference, 1994; in Microprocessing and Microprogramming, 40(10), 1994, 861-864
  25. "Developing Heuristics for the Argument Based Explanation of Negation inLogic Programs" (with T J M Bench-Capon), in "Computational Dialectics" (Working notes of the AAAI-94 Workshop Program), Twelfth National Conference on Artificial Intelligence, ed R P Loui, Seattle, 1994,7-14
  26. "CONNECT: A case study in promoting the advantages of the Internet to SMEs"(with C Charlton, C Gittings, J Little and I Neilson), Proc 3rd Int Workshop on Community Networking, Antwerpen, IEEE, 1996, 127-131:
  27. "Connect: A University Initiative to Support the Exploitation of Internet Related Technologies by Small Businesses" (with C Charlton, C Gittings, J Little and I Neilson), Proc 41st ICSB World Conference, Stockholm, 1996, 249-269
  28. "Diffusion of the Internet: A local perspective on an international issue" (with C C Charlton, C Gittings, J Little and I E Neilson), in "Facilitating Technology Transfer through Partnership",(Proc 2nd IFIP WG 8.6 Working Conference), eds T. McMaster, E. Mumford, E.B. Swanson, B. Warboys and D. Wastell, Ambleside, 1997, Chapman-Hall, 337-354
  29. "Technology Transfer: Connect, a strategy for promoting electronic commerce in an economically deprived region" (with C C Charlton, C Gittings, J Little and I E Neilson), Proc "Factory 2000" Conference, University of Cambridge, IEE, 1997, 416-422:
  30. "The Impact of the new connectivity: transferring technological skills to the small business community" (with C C Charlton, C Gittings, J Little and I E Neilson), Proc ACM SIGCPR Conference, ed F Neiderman, San Francisco, 1997, ACM Press, 97-103
  31. "Community access to the Internet: a case study in library based access and training" (with C Charlton, C Gittings, J Little and I Neilson), Proc ECN97 (First European Community Networking Conference), Milan, 1997
  32. "Information processing in computational tissues" (with M H Butler and R C Paton), in "Information Processing in Cells and Tissues" ( Proc IPCAT97 Conference, Sheffield), ed M Holcombe and R Paton, Plenum, London, 1998, 177-184
  33. "Unconventional approaches for biologically inspired computing", (with M H Butler and R C Paton,), in "Unconventional Models of Computation",( Proc UMC’98, Auckland), eds C S Calude, J Casti and M J Dinneen, Springer-Verlag, Singapore, 1998, 118-130
  34. "A Computer Supported Environment for the Teaching of Legal Argument", (with T J M Bench-Capon and G Staniford), Proc 13th BILETA Conference, Dublin, March 1998, 1-13
  35. "Interactive Seminars Using the Web: An International Experience", (with H Schauer, J R Muehlbacher, M J R Shave and R M Aiken), in "Teleteaching ‘98: Distance Learning, Training and Education" (Proc XV IFIP World Computer Congress), ed G Davies, Austrian Computer Society, Vienna, Part II, 869-875
  36. "An Argument Constructor’s Workbench" (with T J M Bench-Capon and G Staniford), Proc 2nd French-American Conference on Law and Artificial Intelligence, Nice, June 1998
  37. "KD in FM: Knowledge Discovery in Facilities Management Databases" (with G Goulbourne and F Coenen), in "Database and Expert Systems Applications" (Proc DEXA ‘98 Conference, Vienna), eds G Quirchmayr, E Schweighofer and T Bench-Capon, Lecture Notes in Computer Science 1460, Springer-Verlag, Berlin, August 1998, 806-815
  38. "Developing Association Rules in Facilities Management Databases" (with G Goulbourne, F Coenen and D Murphy),in "Applications and Innovations in Expert Systems VI" (Proc ES98 Conference, Cambridge), eds R Milne, A Macintosh and M Bremer, Springer-Verlag, London, December 1998, 230-244
  39. "Efficient Web Searching using Temporal Factors" (with A Czumaj, I Finch, L Gasieniec, A Gibbons, W Rytter and M Zito), in "Algorithms and Data Structures" (Proc 6th International Workshop, WADS ‘99, Vancouver), eds F Dehne, A Gupta, F-R Sack and R Tamassia, Lecture Notes in Computer Science 1663, Springer-Verlag, Berlin/Heidelberg, 1999, 294-305
  40. "Algorithms for Computing Association Rules using a Partial-Support Tree" (with G Goulbourne and F Coenen), in "Research and Development in Intelligent Systems XVI" (Proc ES99 Conference, Cambridge), eds M Bramer, A Macintosh and F Coenen, Springer, London, December 1999, 132-147
    (one of six papers from this conference selected for journal publication, [J27])
  41. "Computer-mediated collaborative learning of legal argumentation" (with T Bench-Capon), in Proc Twelfth International Conference on Legal Knowledge-Based Systems (JURIX ‘99), Leuven, Belgium, Dec 1999 (also subsequently accepted for Journal publication, [J28])
  42. "An Experiment in Discovering Association Rules in the Legal Domain" (with T Bench-Capon and F Coenen), in Proc LISA Workshop, DEXA 2000, 1056-1060
  43. "Integrated Online Support for Field Service Engineers in a Flexible Manufacturing Context" (with F Coenen, R Weaver and W Zhang), in (Proc ES2000 Conference, Cambridge)
  44. "University education via the Internet: a new paradigm for public-private partnership" (with E Gruengard and Y Kalman), Proc IeC ‘2000 Conference, Manchester, 46-53
  45. "On-Line Support for Field Service Engineers in a Flexible Manufacturing Environment: the Stoves Project" (with F Coenen and W Zhang), Proc IeC ‘2000 Conference, Manchester, 31-40
  46. "Computing Association Rules using Partial Totals" (with F Coenen and G Goulbourne), in  "Principles of Data Mining and Knowledge Discovery" (Proc 5th European Conference, PKDD 2001, Freiburg, Sept 2001), eds L De Raedt  and A Siebes, Lecture Notes in AI 2168, Springer-Verlag, Berlin, Heidelberg: 54-66
  47. "Flexible Field Service support using multiple diagnostic tools" (with F Coenen and L Zhang), in Proc 5th IEEE International Conference on Intelligent Engineering Systems, (INES 2001), ed B Patkai and I J Rudas, Helsinki, Sept 2001, 225-229
  48.  "An Architecture for Web-Based Post-Sales Service in a Flexible Manufacturing Environment" (with F Coenen and W Zhang), in Proc 1st IFIP Conference on e-commerce, e-business and e-government, Zurich, Oct 2001
  49. "Optimising Association rule Algorithms using Itemset Ordering" (with F Coenen), in ‘Research and Development in Intelligent Systems XVIII (Proc ES2001 Conference, Cambridge), eds M Bramer, F Coenen and A Preece, Springer-Verlag, London,  2002, 53-66
  50. “A Case-based Diagnostic Tool in a Flexible Manufacturing Context” (with F Coenen and L Zhang), Proc 6th UK CBR Workshop, ed B Lees, Cambridge, December 2001, 61-69
  51. “Teaching Java in an on-line degree programme: a case study” (with F Coenen and M Devlin), Proc JICC conference, January 2002
  52. “An attribute weight setting method for k-NN based binary classification using quadratic programming” (with L Zhang and F Coenen), in ECAI 2002, (Proc 15th  European Conf on Artificial Intelligence),  ed F van Harmelen, IOS press, Amsterdam, 2002, 325-329
  53.  “Finding Association Rules with some very frequent attributes” (with F Coenen), in “Principles of Data Mining and Knowledge discovery”, eds T Elomaa, H Mannila and H Toivonen, (Proc  PKDD 2002 Conference, Helsinki), August 2002: Lecture Notes in AI 2431, Springer-Verlag: 99-111
  54.  “An experimental study of increasing diversity for case-based diagnosis”, (with L Zhang and F Coenen), in  Susan Craw, Alun D. Preece (Eds.): Advances in Case-Based Reasoning, 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002, Proceedings. Lecture Notes in Computer Science 2416, Springer, 2002, 448-459
  55. “Can Domain Knowledge help Case-based diagnosis?” (with L Zhang and F Coenen), in Proc  7th UK CBR Workshop, Cambridge, December 2002
  56. “Evaluation of discussions in online classrooms” (with A Badri and F Grasso), in V. Palade, R.J. Howlett, L.C. Jain, (Eds.) Knowledge-Based Intelligent Information and Engineering Systems 7th International Conference, KES 2003, vol. 2774 of Lecture Notes in Artificial Intelligence, Springer-Verlag, p. 193-200.
  57. “Strategies for Partitioning Data in Association Rule Mining” (with Shakil Ahmed and F Coenen), in “Research and Development in Intelligent Systems XX”(Proc AI2003, Cambridge), Dec 2003: Springer, 127-140
  58. “Using Domain Knowledge to Boost Case-Based Diagnosis: An Experimental Study in a Domain with Very Poor Data Quality” (with L Zhang and F Coenen), in  “Applications and Innovations in Intelligent Systems XI” (Proc AI2003, Cambridge), Dec 2003: Springer, 137-152
  59. “T-trees, Vertical Partitioning and Distributed Association Rule Mining”, (with Frans Coenen and Shakil Ahmed), IEEE International Conference on Data Mining (ICDM 2003), Florida, Nov 2003: IEEE Press, 513-516
  60. “A Tree Partitioning Method for Memory Management in Association Rule Mining” (with Shakil Ahmed and F Coenen), Proc DAWAK 2004 conference, to appear
  61.  “An Evaluation of Approaches to Classification Rule Selection” (with F Coenen), Proc IEEE Int Conf on Data Mining (ICDM 2004), to appear