| 2007 |
22 | | Sagun Dhakhwa,
Patrick A. V. Hall,
Ganesh Bahadur Ghimire,
Prakash Manandhar,
Ishwor Thapa:
Sambad - Computer Interfaces for Non-literates.
HCI (1) 2007: 721-730 |
| 1999 |
21 | | Conny Johansson,
Patrick A. V. Hall,
Michael Coquard:
"Talk to Paula and Peter - They Are Experienced" - The Experience Engine in a Nutshell.
SEKE 1999: 171-185 |
20 | | Patrick A. V. Hall:
Architecture-driven component reuse.
Information & Software Technology 41(14): 963-968 (1999) |
| 1998 |
19 | | Hugh Robinson,
Patrick A. V. Hall,
Fiona Hovenden,
Janet Rachel:
Postmodern Software Development.
Comput. J. 41(6): 363-375 (1998) |
| 1997 |
18 | | Hong Zhu,
Patrick A. V. Hall,
John H. R. May:
Software Unit Test Coverage and Adequacy.
ACM Comput. Surv. 29(4): 366-427 (1997) |
17 | | Lingzi Jin,
Hong Zhu,
Patrick A. V. Hall:
Adequate testing of hypertext applications.
Information & Software Technology 39(4): 225-234 (1997) |
| 1996 |
16 | | Janet Low,
Jim Johnson,
Patrick A. V. Hall,
Fiona Hovenden,
Janet Rachel,
Hugh Robinson,
Steve Woolgar:
Read this and change the way you feel about software engineering.
Information & Software Technology 38(2): 77-87 (1996) |
| 1994 |
15 | | Hong Zhu,
Patrick A. V. Hall,
John H. R. May,
T. Cockram:
Injecting Faults into Environment Simulators for Testing Safety Critical Software.
EDCC 1994: 235-249 |
14 | | Hong Zhu,
Patrick A. V. Hall,
John H. R. May:
Knowledge engineering helps testing protection software.
SEKE 1994: 116-123 |
13 | | T. K. Sateesh,
Patrick A. V. Hall:
Modelling the Requirements of Process Controlled Systems.
Software Quality and Productivity 1994: 88-91 |
| 1992 |
12 | | Hong Zhu,
Patrick A. V. Hall,
John H. R. May:
Inductive Inference and Software Testing.
Softw. Test., Verif. Reliab. 2(2): 69-81 (1992) |
| 1984 |
11 | | Patrick A. V. Hall:
Relational Algebras, Logic, and Functional Programming.
SIGMOD Conference 1984: 326-333 |
| 1983 |
10 | | Patrick A. V. Hall:
Adding Database Management to Ada.
SIGMOD Record 13(3): 13-17 (1983) |
| 1980 |
9 | | Patrick A. V. Hall,
Geoff R. Dowling:
Approximate String Matching.
ACM Comput. Surv. 12(4): 381-402 (1980) |
| 1978 |
8 | | Patrick A. V. Hall:
Man-computer dialogues for many levels of competence.
ECI 1978: 631-642 |
7 | | Patrick A. V. Hall,
Ismael A. Hussein:
Design of information systems for Arabic.
ECI 1978: 643-663 |
| 1976 |
6 | | Patrick A. V. Hall,
J. Owlett,
Stephen Todd:
Relations and Entities.
IFIP Working Conference on Modelling in Data Base Management Systems 1976: 201-220 |
5 | | Patrick A. V. Hall:
Optimization of a Single Relation Expression in a Relational Data Base System.
IBM J. Res. Dev. 20(3): 244-257 (1976) |
| 1975 |
4 | | Patrick A. V. Hall,
Peter Hitchcock,
Stephen Todd:
An Algebra of Relations for Machine Computation.
POPL 1975: 225-232 |
| 1974 |
3 | | Patrick A. V. Hall:
Common Subexpression Identification in General Algebraic Systems.
Technical Rep. UKSC 0060, IBM United Kingdom Scientific Centre: (1974) |
| 1973 |
2 | | Patrick A. V. Hall:
Equivalence Between AND/OR Graphs and Context-Free Grammars.
Commun. ACM 16(7): 444-445 (1973) |
| 1971 |
1 | | Patrick A. V. Hall:
Branch-and-Bound and Beyond.
IJCAI 1971: 641-650 |