Irene Greif - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2020

UIST+CSCW: A Celebration of Systems Research in Collaborative and Social ComputingMichael S. Bernstein, Irene Greif, Wendy E. Mackay, Hiroshi Ishii 0001, Jonathan Grudin, Karrie Karahalios, Meredith Ringel Morris, Aniket Kittur, Jaime Teevan, Amy X. Zhang, Niloufar Salehi. uist 2020: 1-3 [doi]

2016

What did we get right and wrong about CSCW during the past 30 years?Daniel R. Russell, Steven E. Poltrock, Irene Greif. cscw 2016: 201-203 [doi]

2010

The social life of hypertextIrene Greif. ht 2010: 317 [doi]

2006

PrefaceIrene Greif, Alexander Birman, John J. Ritsko. IBMSJ, 45(4):659-662, 2006. [doi]

IntroductionIrene Greif, Michael Rhodin. IBMSJ, 45(4):658, 2006. [doi]

2000

Research at internet speed: is it necessary?Irene Greif. cscw 2000: 363 [doi]

1998

Everyone is Talking About Knowledge Management (Panel)Irene Greif. cscw 1998: 405-406 [doi]

1994

Desktop Agents in Group-Enabled ProductsIrene Greif. CACM, 37(7):100-105, 1994.

1992

A Case Study Of CES: A Distributed Collaborative Editing System Implemented In ArgusIrene Greif, Robert Seliger, William E. Weihl. TSE, 18(9):827-839, 1992. [doi]

1988

Computer-supported cooperative work: breakthroughs for user acceptanceIrene Greif, John Seely Brown, Esther Dyson, Mitchell Kapor, Thomas W. Malone. CHI 1988: 113-114 [doi]

1987

Data Sharing in Group WorkIrene Greif, Sunil K. Sarin. tois, 5(2):187-211, 1987. [doi]

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: 227-228 [doi]

1986

Atomic Data Abstractions in a Distributed Collaborative Editing SystemIrene Greif, Robert Seliger, William E. Weihl. POPL 1986: 160-172

Data sharing in group workIrene Greif, Sunil K. Sarin. cscw 1986: 175-183 [doi]

1985

Microcomputer user interface toolkits (panel session): the commercial state-of-the-artIrene Greif, William Buxton, David R. Reed, Larry Tesler, Scott MacGregor. CHI 1985: 225 [doi]

Interfaces in organizations (panel session): supporting group workIrene Greif, John Seely Brown, Paul M. Cashman, Thomas W. Malone. CHI 1985: 65 [doi]

Computer-Based real-Time Conferencing SystemsSunil K. Sarin, Irene Greif. Computer, 18(10):33-45, 1985.

1984

Software for interactive on-line conferencesSunil K. Sarin, Irene Greif. cocs 1984: 46-58 [doi]

1981

Distributed Data Bases in a Callendar SystemIrene Greif. berkeley 1981: 67

Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and LauerIrene Greif, Albert R. Meyer. TOPLAS, 3(4):484-507, 1981. [doi]

1979

Specifying Programming Language SemanticsIrene Greif, Albert R. Meyer. POPL 1979: 180-189 [doi]

Can Partial Correctness Assertions Specify Programming Language Semantics?Albert R. Meyer, Irene Greif. tcs 1979: 25-26

1977

A Language for Formal Problem SpecificationIrene Greif. CACM, 20(12):931-935, 1977.

1976

On Proofs of Programs for SynchronizationIrene Greif. icalp 1976: 494-507

1975

Actor Semantics of Planner-73Irene Greif, Carl Hewitt. POPL 1975: 67-77

Semantics of communicating parallel processesIrene Greif. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 1975. [doi]

1974

A more mechanical approach to program verificationIrene Greif, Richard J. Waldinger. programm 1974: 109-119

Behavioral semantics of nonrecursive control structuresCarl Hewitt, Peter Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale. programm 1974: 385-407

1973

Actor Induction and Meta-EvaluationCarl Hewitt, Peter Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger. POPL 1973: 153-168

Sign in or sign up to see more results.

runs on WebDSL