Paul Hunter
University of East Anglia(GB)
Publications by Year
Research Areas
Formal Methods in Verification, Computability, Logic, AI Algorithms, Advanced Graph Theory Research, Logic, programming, and type systems, Logic, Reasoning, and Knowledge
Most-Cited Works
- → DAG-Width and Parity Games(2006)127 cited
- → Digraph measures: Kelly decompositions, games, and orderings(2008)100 cited
- → The dag-width of directed graphs(2012)86 cited
- → Organochlorine Contamination in Bald Eagle Eggs and Nestlings from the Canadian Great Lakes(1999)68 cited
- → Complexity Bounds for Regular Games(2005)44 cited
- → Expressive Completeness for Metric Temporal Logic(2013)33 cited
- → Non-Zero Sum Games for Reactive Synthesis(2016)30 cited
- → Complexity and infinite games on finite graphs(2021)23 cited
- → Benefits and Challenges of UAS Imagery for Eelgrass (Zostera marina) Mapping in Small Estuaries of the Canadian West Coast(2019)22 cited