Irene Greif

Affiliations:
  • IBM, USA


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

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 1997, "For innovative development of group-enabled desktop applications, and for pioneering the field of Computer Supported Cooperative Work.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
UIST+CSCW: A Celebration of Systems Research in Collaborative and Social Computing.
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?
Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing, 2016

2010
The social life of hypertext.
Proceedings of the HT'10, 2010

2006
Introduction.
IBM Syst. J., 2006

Preface.
IBM Syst. J., 2006

2000
Research at internet speed: is it necessary?
Proceedings of the CSCW 2000, 2000

1998
Everyone is Talking About Knowledge Management (Panel).
Proceedings of the CSCW '98, 1998

1994
Desktop Agents in Group-Enabled Products.
Commun. ACM, 1994

1992
A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus.
IEEE Trans. Software Eng., 1992

1988
Computer-supported cooperative work: breakthroughs for user acceptance.
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 1988

1987
Data Sharing in Group Work.
ACM Trans. Inf. Syst., 1987

Computer-supported cooperative work (panel): is this REALLY a new field of research?
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.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1985
Computer-Based real-Time Conferencing Systems.
Computer, 1985

Microcomputer user interface toolkits (panel session): the commercial state-of-the-art.
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 1985

Interfaces in organizations (panel session): supporting group work.
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 1985

1984
Software for interactive on-line conferences.
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.
ACM Trans. Program. Lang. Syst., 1981

Distributed Data Bases in a Callendar System.
Proceedings of the Fifth Berkeley Workshop on Distributed Data Management and Computer Networks, 1981

1979
Can Partial Correctness Assertions Specify Programming Language Semantics?.
Proceedings of the Theoretical Computer Science, 1979

Specifying Programming Language Semantics.
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

1977
A Language for Formal Problem Specification.
Commun. ACM, 1977

1976
On Proofs of Programs for Synchronization.
Proceedings of the Third International Colloquium on Automata, 1976

1975
Semantics of communicating parallel processes.
PhD thesis, 1975

Actor Semantics of Planner-73.
Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975

1974
Behavioral semantics of nonrecursive control structures.
Proceedings of the Programming Symposium, 1974

A more mechanical approach to program verification.
Proceedings of the Programming Symposium, 1974

1973
Actor Induction and Meta-Evaluation.
Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973


  Loading...