Travelled to:1 × Hungary
1 × The Netherlands
1 × USA
Collaborated with:∅ Y.Harada K.Yamazaki C.Artho M.Hagiya Y.Tanabe F.Weitl M.Yamamoto
Talks about:user (2) distribut (1) techniqu (1) structur (1) selector (1) interfac (1) communic (1) abstract (1) softwar (1) program (1)
Person: Richard Potter
DBLP: Potter:Richard
Contributed to:
2013
2001
1993Wrote 3 papers:
- ASE-2013-ArthoHPTWY #communication #distributed #model checking
- Software model checking for distributed systems with selector-based, non-blocking communication (CA, MH, RP, YT, FW, MY), pp. 169–179.
- ECOOP-2001-HaradaYP #c #named
- CCC: User-Defined Object Structure in C (YH, KY, RP), pp. 118–129.
- INTERCHI-1993-Potter #automation #programming #user interface
- Guiding automation with pixels (abstract): a technique for programming in the user interface (RP), p. 530.