Travelled to:
1 × Australia
1 × Austria
1 × Italy
1 × Japan
2 × USA
Collaborated with:
T.Sakurai Y.Kameyama T.Saito T.Kiriyama ∅ R.M.Burstall A.Igarashi
Talks about:
environ (2) interact (1) function (1) explicit (1) calculus (1) behavior (1) variabl (1) languag (1) context (1) concurr (1)
Person: Masahiko Sato
DBLP: Sato:Masahiko
Facilitated 2 volumes:
Contributed to:
Wrote 6 papers:
- HCI-NIMT-2009-SaitoS #exclamation #locality
- Fly! Little Me: Localization of Body-Image within Reduced-Self (TS, MS), pp. 255–260.
- HCI-VAD-2009-KiriyamaS #behaviour #interactive
- Analyzing Human Behaviors in an Interactive Art Installation (TK, MS), pp. 345–352.
- CSL-2003-SatoSKI #calculus
- Calculi of Meta-variables (MS, TS, YK, AI), pp. 484–497.
- FLOPS-2001-SatoSK #calculus
- A Simply Typed Context Calculus with First-Class Environments (MS, TS, YK), pp. 359–374.
- TLCA-1999-SatoSB
- Explicit Environments (MS, TS, RMB), pp. 340–354.
- ICLP-1987-Sato87 #concurrent #logic #named
- Quty: A Concurrent Language Based on Logic and Function (MS), pp. 1034–1056.