Travelled to:1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:J.Worrell ∅ J.Ouaknine S.Love M.Anaman G.A.Pérez J.Raskin T.Antonopoulos S.Raza
Talks about:logic (3) express (2) complet (2) tempor (2) metric (2) real (2) industri (1) discount (1) accommod (1) variabl (1)
Person: Paul Hunter
DBLP: Hunter:Paul
Contributed to:
2015
2013
2013
20092016Wrote 5 papers:
- FoSSaCS-2015-AntonopoulosHRW #logic #realtime
- Three Variables Suffice for Real-Time Logic (TA, PH, SR, JW), pp. 361–374.
- CSL-2013-Hunter #logic #metric #question
- When is Metric Temporal Logic Expressively Complete? (PH), pp. 380–394.
- LICS-2013-HunterOW #logic #metric
- Expressive Completeness for Metric Temporal Logic (PH, JO, JW), pp. 349–357.
- HCD-2009-LoveHA #case study #design #industrial #mobile #process #requirements
- Accommodating Real User and Organisational Requirements in the Human Centered Design Process: A Case Study from the Mobile Phone Industry (SL, PH, MA), pp. 758–764.
- CSL-2016-HunterPR #game studies
- Minimizing Regret in Discounted-Sum Games (PH, GAP, JFR), p. 17.