Actor Induction and Meta-Evaluation. - Carl Hewitt; Peter Boehler Bishop; Irene Greif; Brian Cantwell Smith; Todd Matson; Richard Steiger (POPL, 1973)

A more mechanical approach to program verification. - Irene Greif; Richard J. Waldinger (Symposium on Programming, 1974)

Behavioral semantics of nonrecursive control structures. - Carl Hewitt; Peter Boehler Bishop; Richard Steiger; Irene Greif; Brian Cantwell Smith; Todd Matson; Roger Hale (Symposium on Programming, 1974)

Actor Semantics of Planner-73. - Irene Greif; Carl Hewitt (POPL, 1975)

Semantics of communicating parallel processes. - Irene Greif (1975)

On Proofs of Programs for Synchronization. - Irene Greif (ICALP, 1976)

A Language for Formal Problem Specification. - Irene Greif (Commun. ACM, 1977)

Specifying Programming Language Semantics. - Irene Greif; Albert R. Meyer (POPL, 1979)

Can Partial Correctness Assertions Specify Programming Language Semantics?. - Albert R. Meyer; Irene Greif (Theoretical Computer Science, 1979)

Distributed Data Bases in a Callendar System. - Irene Greif (Berkeley Workshop, 1981)

Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer. - Irene Greif; Albert R. Meyer (ACM Trans. Program. Lang. Syst., 1981)

Software for interactive on-line conferences. - Sunil K. Sarin; Irene Greif (COCS, 1984)

Interfaces in organizations (panel session): supporting group work. - Irene Greif; John Seely Brown; Paul M. Cashman; Thomas W. Malone (CHI, 1985)

Microcomputer user interface toolkits (panel session): the commercial state-of-the-art. - Irene Greif; William Buxton; David R. Reed; Larry Tesler; Scott MacGregor (CHI, 1985)

Computer-Based real-Time Conferencing Systems. - Sunil K. Sarin; Irene Greif (Computer, 1985)

Atomic Data Abstractions in a Distributed Collaborative Editing System. - Irene Greif; Robert Seliger; William E. Weihl (POPL, 1986)

Computer-supported cooperative work (panel): is this REALLY a new field of research? - Irene Greif; Bill Curtis; Herb Krasner; Thomas W. Malone; Ben Shneiderman (CHI, 1987)

Data Sharing in Group Work. - Irene Greif; Sunil K. Sarin (ACM Trans. Inf. Syst., 1987)

Computer-supported cooperative work: breakthroughs for user acceptance. - Irene Greif; John Seely Brown; Esther Dyson; Mitchell Kapor; Thomas W. Malone (CHI, 1988)

A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus. - Irene Greif; Robert Seliger; William E. Weihl (IEEE Trans. Software Eng., 1992)

Desktop Agents in Group-Enabled Products. - Irene Greif (Commun. ACM, 1994)

Everyone is Talking About Knowledge Management (Panel). - Irene Greif (CSCW, 1998)

Research at internet speed: is it necessary? - Irene Greif (CSCW, 2000)

Preface. - Irene Greif; Alexander Birman; John J. Ritsko (IBM Syst. J., 2006)

Introduction. - Irene Greif; Michael Rhodin (IBM Syst. J., 2006)

The social life of hypertext. - Irene Greif (HT, 2010)

What did we get right and wrong about CSCW during the past 30 years? - Daniel R. Russell; Steven E. Poltrock; Irene Greif (CSCW Companion, 2016)

UIST+CSCW: A Celebration of Systems Research in Collaborative and Social Computing. - Michael S. Bernstein; Irene Greif; Wendy E. Mackay; Hiroshi Ishii 001; Jonathan Grudin; Karrie Karahalios; Meredith Ringel Morris; Aniket Kittur; Jaime Teevan; Amy X. Zhang; Niloufar Salehi (UIST, 2020)