Travelled to:
1 × Canada
1 × United Kingdom
6 × USA
Collaborated with:
∅ C.Hewitt S.K.Sarin A.R.Meyer R.Seliger W.E.Weihl P.Bishop B.C.Smith T.Matson R.Steiger
Talks about:
program (2) semant (2) actor (2) data (2) necessari (1) hypertext (1) distribut (1) synchron (1) research (1) internet (1)
Person: Irene Greif
DBLP: Greif:Irene
Facilitated 2 volumes:
Contributed to:
Wrote 8 papers:
- HT-2010-Greif #hypermedia #social
- The social life of hypertext (IG), p. 317.
- CSCW-2000-Greif #internet #question #research
- Research at internet speed: is it necessary? (IG), p. 363.
- CSCW-1986-GreifS
- Data sharing in group work (IG, SKS), pp. 175–183.
- POPL-1986-GreifSW #abstraction #collaboration #distributed #editing
- Atomic Data Abstractions in a Distributed Collaborative Editing System (IG, RS, WEW), pp. 160–172.
- POPL-1979-GreifM #programming language #semantics #specification
- Specifying Programming Language Semantics (IG, ARM), pp. 180–189.
- ICALP-1976-Greif #on the #proving #source code
- On Proofs of Programs for Synchronization (IG), pp. 494–507.
- POPL-1975-GreifH #semantics
- Actor Semantics of Planner-73 (IG, CH), pp. 67–77.
- POPL-1973-HewittBGSMS #induction
- Actor Induction and Meta-Evaluation (CH, PB, IG, BCS, TM, RS), pp. 153–168.