Concepedia

Patricia M. Hill

PM

24

Publications

1.4K

Citations

18

H-Index

1981

Active since

Affiliations

University of Leeds(Current)

University of Parma

Universidad de Málaga

University of British Columbia

Patricia M. Hill is an author at University of Leeds specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProgram AnalysisMathematical ProgrammingMedicineSoftware AnalysisComputational Geometry

Publications per year

1981–2009

24

Publications

24

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella · Science of Computer Programming · 2008 · 460 citations

Engineering, Hardware Verification Language, Complete Set +15

ECAI'92 – The 10th European Conference on Artificial Intelligence

Patricia M. Hill, Bogdan Filipič · AI Communications · 1992 · 126 citations

Artificial Intelligence, Ai Architecture, Engineering +4

Pretend Play and Patterns of Cognition in Down's Syndrome Children

Patricia M. Hill, Lorraine McCune-Nicolich · Child Development · 1981 · 98 citations

Neuropsychology, Developmental Cognitive Neuroscience, Cognition +23

Meta-Programming in Logic Progamming

Patricia M. Hill, John P. Gallagher · 1998 · 90 citations

Applied Logic, Logic Progamming, Engineering +16

Pretend Play and Patterns of Cognition in Down's Syndrome Children

Patricia M. Hill, Lorraine McCune-Nicolich · Child Development · 1981 · 83 citations

Down Syndrome, Child Psychology, Cognitive Science +12

Rows per page

1–5 of 24