Irene Greif

Publication Activity (10 Years)

Years Active: 1973-2020
Publications (10 Years): 2

Top Venues

CSCW Companion

UIST

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

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
UIST+CSCW: A Celebration of Systems Research in Collaborative and Social Computing. UIST (2020)
Daniel R. Russell, Steven E. Poltrock, Irene Greif
What did we get right and wrong about CSCW during the past 30 years? CSCW Companion (2016)
Irene Greif
The social life of hypertext. HT (2010)
Irene Greif, Alexander Birman, John J. Ritsko
Preface. IBM Syst. J. 45 (4) (2006)
Irene Greif, Michael Rhodin
Introduction. IBM Syst. J. 45 (4) (2006)
Irene Greif
Research at internet speed: is it necessary? CSCW (2000)
Irene Greif
Everyone is Talking About Knowledge Management (Panel). CSCW (1998)
Irene Greif
Desktop Agents in Group-Enabled Products. Commun. ACM 37 (7) (1994)
Irene Greif, Robert Seliger, William E. Weihl
A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus. IEEE Trans. Software Eng. 18 (9) (1992)
Irene Greif, John Seely Brown, Esther Dyson, Mitchell Kapor, Thomas W. Malone
Computer-supported cooperative work: breakthroughs for user acceptance. CHI (1988)
Irene Greif, Bill Curtis, Herb Krasner, Thomas W. Malone, Ben Shneiderman
Computer-supported cooperative work (panel): is this REALLY a new field of research? CHI (1987)
Irene Greif, Sunil K. Sarin
Data Sharing in Group Work. ACM Trans. Inf. Syst. 5 (2) (1987)
Irene Greif, Robert Seliger, William E. Weihl
Atomic Data Abstractions in a Distributed Collaborative Editing System. POPL (1986)
Irene Greif, Sunil K. Sarin
Data sharing in group work. CSCW (1986)
Irene Greif, William Buxton, David R. Reed, Larry Tesler, Scott MacGregor
Microcomputer user interface toolkits (panel session): the commercial state-of-the-art. CHI (1985)
Irene Greif, John Seely Brown, Paul M. Cashman, Thomas W. Malone
Interfaces in organizations (panel session): supporting group work. CHI (1985)
Sunil K. Sarin, Irene Greif
Computer-Based real-Time Conferencing Systems. Computer 18 (10) (1985)
Sunil K. Sarin, Irene Greif
Software for interactive on-line conferences. COCS (1984)
Irene Greif
Distributed Data Bases in a Callendar System. Berkeley Workshop (1981)
Irene Greif, Albert R. Meyer
Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer. ACM Trans. Program. Lang. Syst. 3 (4) (1981)
Irene Greif, Albert R. Meyer
Specifying Programming Language Semantics. POPL (1979)
Albert R. Meyer, Irene Greif
Can Partial Correctness Assertions Specify Programming Language Semantics?. Theoretical Computer Science (1979)
Irene Greif
A Language for Formal Problem Specification. Commun. ACM 20 (12) (1977)
Irene Greif
On Proofs of Programs for Synchronization. ICALP (1976)
Irene Greif, Carl Hewitt
Actor Semantics of Planner-73. POPL (1975)
Irene Greif, Richard J. Waldinger
A more mechanical approach to program verification. Symposium on Programming (1974)
Carl Hewitt, Peter Boehler Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale
Behavioral semantics of nonrecursive control structures. Symposium on Programming (1974)
Carl Hewitt, Peter Boehler Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger
Actor Induction and Meta-Evaluation. POPL (1973)

Irene Greif.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Irene Greif