BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hunter:Paul

Contributed to:

FoSSaCS 20152015
CSL 20132013
LICS 20132013
HCI/HCD 20092009
CSL 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.