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 × USA
Collaborated with:
S.Datta A.Goscinski J.Silcock
Talks about:
transpar (1) parallel (1) interact (1) perform (1) within (1) system (1) servic (1) messag (1) genesi (1) formal (1)

Person: Michael Hobbs

DBLP DBLP: Hobbs:Michael

Contributed to:

HCI p1 20112011
PDP 20002000

Wrote 2 papers:

HCI-DDA-2011-DattaH #design #formal method #interactive
A Formal Model of Mixed-Initiative Interaction in Design Exploration (SD, MH), pp. 185–193.
PDP-2000-GoscinskiHS #message passing #operating system #parallel #performance
Performance and transparency of message passing and DSM services within the GENESIS operating system for managing parallelism on COWs (AG, MH, JS), pp. 110–117.

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.