Patrick A. V. Hall

2007
22	EE	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	EE	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	EE	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	EE	Lingzi Jin, Hong Zhu, Patrick A. V. Hall: Adequate testing of hypertext applications. Information & Software Technology 39(4): 225-234 (1997)
1996
16	EE	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	EE	Patrick A. V. Hall: Relational Algebras, Logic, and Functional Programming. SIGMOD Conference 1984: 326-333
1983
10	EE	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

Coauthor Index

1	T. Cockram	[15]
2	Michael Coquard	[21]
3	Sagun Dhakhwa	[22]
4	Geoff R. Dowling	[9]
5	Ganesh Bahadur Ghimire	[22]
6	Peter Hitchcock	[4]
7	Fiona Hovenden	[16] [19]
8	Ismael A. Hussein	[7]
9	Lingzi Jin	[17]
10	Conny Johansson	[21]
11	Jim Johnson	[16]
12	Janet Low	[16]
13	Prakash Manandhar	[22]
14	John H. R. May	[12] [14] [15] [18]
15	J. Owlett	[6]
16	Janet Rachel	[16] [19]
17	Hugh Robinson	[16] [19]
18	T. K. Sateesh	[13]
19	Ishwor Thapa	[22]
20	Stephen Todd	[4] [6]
21	Steve Woolgar	[16]
22	Hong Zhu	[12] [14] [15] [17] [18]

Colors in the list of coauthors