2008 |
29 | EE | Kamalasen Rajalingham,
David Chadwick,
Brian Knight:
An Evaluation of a Structured Spreadsheet Development Methodology
CoRR abs/0801.1516: (2008) |
28 | EE | Brian Knight,
David Chadwick,
Kamalasen Rajalingham:
A Structured Methodology for Spreadsheet Modelling
CoRR abs/0805.4218: (2008) |
27 | EE | Kamalasen Rajalingham,
David R. Chadwick,
Brian Knight:
Classification of Spreadsheet Errors
CoRR abs/0805.4224: (2008) |
2006 |
26 | EE | Jixin Ma,
Brian Knight:
Using Set Operations to Deal with the Frame Problem.
IEEE ICCI 2006: 447-452 |
2005 |
25 | EE | Fei Ling Woon,
Brian Knight,
Miltos Petridis,
Mayur K. Patel:
CBE-Conveyor: A Case-Based Reasoning System to Assist Engineers in Designing Conveyor Systems.
ICCBR 2005: 640-651 |
24 | EE | Jixin Ma,
Brian Knight,
Miltos Petridis,
Amin Mineh:
Visualizing a Temporal Consistence Checker.
IV 2005: 686-691 |
2003 |
23 | EE | Jixin Ma,
Brian Knight:
A Framework for Historical Case-Based Reasoning.
ICCBR 2003: 246-260 |
22 | EE | Fei Ling Woon,
Brian Knight,
Miltos Petridis:
Case Base Reduction Using Solution-Space Metrics.
ICCBR 2003: 652-664 |
21 | | Brian Knight,
Fei Ling Woon:
Case Base Adaptation Using Solution-Space Metrics.
IJCAI 2003: 1347-1348 |
20 | EE | Jixin Ma,
Brian Knight:
Representing The Dividing Instant.
Comput. J. 46(2): 213-222 (2003) |
2002 |
19 | | Kamalasen Rajalingham,
David Chadwick,
Brian Knight:
Efficient methods for checking integrity: a structured spreadsheet engineering methodology.
Informatica (Slovenia) 26(2): (2002) |
2001 |
18 | | Jixin Ma,
Brian Knight:
Reified Temporal Logics: An Overview.
Artif. Intell. Rev. 15(3): 189-217 (2001) |
17 | | Stephen Taylor,
Brian Knight,
Miltos Petridis,
John Ewer,
Edwin Galea:
A Case Based Reasoning System Capturing Fire Modelling Expertise.
Computers and Artificial Intelligence 20(3): (2001) |
16 | EE | David Chadwick,
Brian Knight,
Kamalasen Rajalingham:
Quality Control in Spreadsheets: A Visual Approach using Color Codings to Reduce Errors in Formulae.
Software Quality Journal 9(2): 133-143 (2001) |
2000 |
15 | EE | Tony Mileman,
Brian Knight,
Miltos Petridis,
Keith Preddy,
Patrick Mejasson:
Maintenance of a Case-Base for the Retrieval of Rotationally Symmetric Shapes for the Design of Metal Castings.
EWCBR 2000: 418-430 |
14 | EE | Kamalasen Rajalingham,
David Chadwick,
Brian Knight,
Dilwyn Edwards:
Quality Control in Spreadsheets: A Software Engineering-based Approach to Spreadsheet Development.
HICSS 2000 |
1999 |
13 | | Kamalasen Rajalingham,
David Chadwick,
Brian Knight,
Dilwyn Edwards:
Efficient Methods for Checking Integrity: An Integrated Spreadsheet Engineering Methodology (ISEM).
IICIS 1999: 41-58 |
12 | EE | Jixin Ma,
Brian Knight,
Ephraim Nissan:
Temporal representation of state transitions.
AI EDAM 13(2): 67-78 (1999) |
1998 |
11 | | Jun Zhao,
Brian Knight,
Ephraim Nissan,
Alan Soper:
FuelGen: Effective Evolutionary Design of Refuellings for Pressurized Water Reactors.
Computers and Artificial Intelligence 17(2-3): (1998) |
1997 |
10 | EE | Jixin Ma,
Brian Knight,
T. Peng:
Representing Temporal Relationships between Events and their Effects.
TIME 1997: 148-152 |
1996 |
9 | | Jixin Ma,
Brian Knight:
A Reified Temporal Logic.
Comput. J. 39(9): 800-807 (1996) |
1994 |
8 | | Jixin Ma,
Brian Knight,
Miltos Pedritis:
A Revised Theory of Action and Time Based on Intervals and Points.
Comput. J. 37(10): 847-857 (1994) |
7 | | Jixin Ma,
Brian Knight:
A General Temporal Theory.
Comput. J. 37(2): 114-123 (1994) |
6 | | Brian Knight,
Jixin Ma:
A Temporal Database Model Supporting Relative and Absolute Time.
Comput. J. 37(7): 588-597 (1994) |
1993 |
5 | EE | Brian Knight,
Jixin Ma:
Time representation: A taxonomy of temporal models.
Artif. Intell. Rev. 7(6): 401-419 (1993) |
4 | | Brian Knight:
Information Loss in Temporal Knowledge Representations.
Comput. J. 36(2): 128-136 (1993) |
3 | | Brian Knight,
Jixin Ma:
An extended temporal system based on points and intervals.
Inf. Syst. 18(2): 111-120 (1993) |
1992 |
2 | | Brian Knight,
Jixin Ma:
A General Temporal Model Supporting Duration Reasoning.
AI Commun. 5(2): 75-84 (1992) |
1983 |
1 | EE | Brian Knight:
A Mathematical Basis for Entity Analysis.
ER 1983: 81-90 |