Irene Greif

According to our database, Irene Greif authored at least 28 papers between 1973 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

UIST+CSCW: A Celebration of Systems Research in Collaborative and Social Computing.

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

Proceedings of the UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020

2016

What did we get right and wrong about CSCW during the past 30 years?

Daniel R. Russell, Steven E. Poltrock, Irene Greif

Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing, 2016

2010

The social life of hypertext.

Irene Greif

Proceedings of the HT'10, 2010

2006

Introduction.

Irene Greif, Michael Rhodin

IBM Syst. J., 2006

Preface.

Irene Greif, Alexander Birman, John J. Ritsko

IBM Syst. J., 2006

2000

Research at internet speed: is it necessary?

Irene Greif

Proceedings of the CSCW 2000, 2000

1998

Everyone is Talking About Knowledge Management (Panel).

Irene Greif

Proceedings of the CSCW '98, 1998

1994

Desktop Agents in Group-Enabled Products.

Irene Greif

Commun. ACM, 1994

1992

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

1988

Computer-supported cooperative work: breakthroughs for user acceptance.

Irene Greif, John Seely Brown, Esther Dyson, Mitchell Kapor, Thomas W. Malone

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 1988

1987

Data Sharing in Group Work.

Irene Greif, Sunil K. Sarin

ACM Trans. Inf. Syst., 1987

Computer-supported cooperative work (panel): is this REALLY a new field of research?

Irene Greif, Bill Curtis, Herb Krasner, Thomas W. Malone, Ben Shneiderman

Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface, 1987

1986

Atomic Data Abstractions in a Distributed Collaborative Editing System.

Irene Greif, Robert Seliger, William E. Weihl

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1985

Computer-Based real-Time Conferencing Systems.

Sunil K. Sarin, Irene Greif

Computer, 1985

Microcomputer user interface toolkits (panel session): the commercial state-of-the-art.

Irene Greif, William Buxton, David R. Reed, Larry Tesler, Scott MacGregor

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 1985

Interfaces in organizations (panel session): supporting group work.

Irene Greif, John Seely Brown, Paul M. Cashman, Thomas W. Malone

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 1985

1984

Software for interactive on-line conferences.

Sunil K. Sarin, Irene Greif

Proceedings of the Second ACM-SIGOA Conference on Office Information Systems, 1984

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

Distributed Data Bases in a Callendar System.

Irene Greif

Proceedings of the Fifth Berkeley Workshop on Distributed Data Management and Computer Networks, 1981

1979

Can Partial Correctness Assertions Specify Programming Language Semantics?.

Albert R. Meyer, Irene Greif

Proceedings of the Theoretical Computer Science, 1979

Specifying Programming Language Semantics.

Irene Greif, Albert R. Meyer

Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

1977

A Language for Formal Problem Specification.

Irene Greif

Commun. ACM, 1977

1976

On Proofs of Programs for Synchronization.

Irene Greif

Proceedings of the Third International Colloquium on Automata, 1976

1975

Semantics of communicating parallel processes.

Irene Greif

PhD thesis, 1975

Actor Semantics of Planner-73.

Irene Greif, Carl Hewitt

Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975

1974

Behavioral semantics of nonrecursive control structures.

Carl Hewitt, Peter Boehler Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale

Proceedings of the Programming Symposium, 1974

A more mechanical approach to program verification.

Irene Greif, Richard J. Waldinger

Proceedings of the Programming Symposium, 1974

1973

Actor Induction and Meta-Evaluation.

Carl Hewitt, Peter Boehler Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger

Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973