Patrick A. V. Hall - Concepedia

Author

Patrick A. V. Hall

Also Known As

P A Hall, P HALL, P Hall, P. A. V. Hall, P. Hall, P.A.V Hall, P.A.V. Hall, PATRICK A. V. HALL, Patrick A V Hall, Patrick A. V. Hall

Publications

2.5K

Citations

H-Index

Concepts

All Affiliations

The Open University City, University of London Brunel University of London

About

Patrick A. V. Hall is an author at The Open University specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	299
2	Education	3	3	67
3	Language Studies	3	3	150
4	Arts	1	1	18
5	Management	1	1	68

Patrick A. V. Hall

Publications

466

Citations

H-Index

Page 1

	Year	Citations
Relations and Entities. Patrick A. V. Hall, J. Owlett, Stephen Todd Formal SemanticsRelationship ExtractionLanguage StudiesSemanticsLinguistics	1976	101
Optimization of Single Expressions in a Relational Data Base System Patrick A. V. Hall IBM Journal of Research and Development Relational DatabaseEngineeringInformation RetrievalData ScienceData Mining	1976	68
Equivalence between AND/OR graphs and context-free grammars Patrick A. V. Hall Communications of the ACM Artificial IntelligenceContext-free GrammarsEngineeringSemanticsSemantic Web	1973	36
Test data adequacy measurement Hong Zhu, Patrick A. V. Hall Software Engineering Journal Measurement TheoryEngineeringMeasurementVerificationAccuracy And Precision	1993	36
An algebra of relations for machine computation Patrick A. V. Hall, Peter B. Hitchcock, Stephen Todd Algebraic LogicDatabase TheoryRelational DatabaseEngineeringRelational Algebra	1975	33
Towards testing with respect to formal specification Patrick A. V. Hall EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	1988	29
Object oriented module interconnection languages Patrick A. V. Hall, Ray Weedon EngineeringObject-oriented ModelingSoftware SystemsPrototypical Programming LanguageComputer Architecture	2002	23
Branch-and-bound and beyond Patrick A. V. Hall International Joint Conference on Artificial Intelligence Branch-and-bound AlgorithmEngineeringLower BoundComputational ComplexityDiscrete Mathematics	1971	22
Inductive inference and software testing Hong Zhu, Patrick A. V. Hall, John H R May Software Testing Verification and Reliability Artificial IntelligenceEngineeringVerificationSoftware SystemsSoftware Engineering	1992	21
Comparison of manual data coding errors in two hospitals. Patrick A. V. Hall, Nancy Lemoine Journal of Clinical Pathology	1986	20

Page 1