Irene Greif

31 papers A* 10A 5Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2020 A* conf
UIST+CSCW: A Celebration of Systems Research in Collaborative and Social Computing.
UIST
Michael S. Bernstein, Irene Greif, Wendy E. Mackay, Hiroshi Ishii, Jonathan Grudin, Karrie Karahalios, Meredith Ringel Morris, Aniket Kittur, Jaime Teevan, Amy X. Zhang, Niloufar Salehi
2016 — conf
What did we get right and wrong about CSCW during the past 30 years?
CSCW Companion
Daniel R. Russell, Steven E. Poltrock, Irene Greif
2010 — conf
The social life of hypertext.
HT
Irene Greif
2006 J jnl
Introduction.
IBM Syst. J.
Irene Greif, Michael Rhodin
2006 J jnl
Preface.
IBM Syst. J.
Irene Greif, Alexander Birman, John J. Ritsko
2000 A conf
Research at internet speed: is it necessary?
CSCW
Irene Greif
1998 A conf
Everyone is Talking About Knowledge Management (Panel).
CSCW
Irene Greif
1994 J jnl
Desktop Agents in Group-Enabled Products.
Commun. ACM
Irene Greif
1992 J jnl
A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus.
IEEE Trans. Software Eng.
Irene Greif, Robert Seliger, William E. Weihl
1988 A ed.
CSCW '88, Proceedings of the Conference on Computer-Supported Cooperative Work, Portland, OR, USA, September 26-28, 1988
CSCW
Irene Greif
1988 A* conf
Computer-supported cooperative work: breakthroughs for user acceptance.
CHI
Irene Greif, John Seely Brown, Esther Dyson, Mitchell Kapor, Thomas W. Malone
1987 A* conf
Computer-supported cooperative work (panel): is this REALLY a new field of research?
CHI
Irene Greif, Bill Curtis, Herb Krasner, Thomas W. Malone, Ben Shneiderman
1987 J jnl
Data Sharing in Group Work.
ACM Trans. Inf. Syst.
Irene Greif, Sunil K. Sarin
1986 A* conf
Atomic Data Abstractions in a Distributed Collaborative Editing System.
POPL
Irene Greif, Robert Seliger, William E. Weihl
1986 A ed.
CSCW '86, Proceedings of the 1986 ACM conference on Computer-supported cooperative work, Austin, Texas, USA, December 3-5, 1986
CSCW
Herb Krasner, Irene Greif
1986 A conf
Data sharing in group work.
CSCW
Irene Greif, Sunil K. Sarin
1985 J jnl
Computer-Based real-Time Conferencing Systems.
Computer
Sunil K. Sarin, Irene Greif
1985 A* conf
Interfaces in organizations (panel session): supporting group work.
CHI
Irene Greif, John Seely Brown, Paul M. Cashman, Thomas W. Malone
1985 A* conf
Microcomputer user interface toolkits (panel session): the commercial state-of-the-art.
CHI
Irene Greif, William Buxton, David R. Reed, Larry Tesler, Scott MacGregor
1984 — conf
Software for interactive on-line conferences.
COCS
Sunil K. Sarin, Irene Greif
1981 — conf
Distributed Data Bases in a Callendar System.
Berkeley Workshop
Irene Greif
1981 J jnl
Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer.
ACM Trans. Program. Lang. Syst.
Irene Greif, Albert R. Meyer
1979 — conf
Can Partial Correctness Assertions Specify Programming Language Semantics?.
Theoretical Computer Science
Albert R. Meyer, Irene Greif
1979 A* conf
Specifying Programming Language Semantics.
POPL
Irene Greif, Albert R. Meyer
1977 J jnl
A Language for Formal Problem Specification.
Commun. ACM
Irene Greif
1976 A* conf
On Proofs of Programs for Synchronization.
ICALP
Irene Greif
1975 A* conf
Actor Semantics of Planner-73.
POPL
Irene Greif, Carl Hewitt
1975 — —
Semantics of communicating parallel processes.
Irene Greif
1974 — conf
A more mechanical approach to program verification.
Symposium on Programming
Irene Greif, Richard J. Waldinger
1974 — conf
Behavioral semantics of nonrecursive control structures.
Symposium on Programming
Carl Hewitt, Peter Boehler Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale
1973 A* conf
Actor Induction and Meta-Evaluation.
POPL
Carl Hewitt, Peter Boehler Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger