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

Irene Greif IBM, USA Anita Borg Institute Women of Vision Awards https://dl.acm.org/profile/81100427186 https://mathscinet.ams.org/mathscinet/MRAuthorID/454236 https://mathgenealogy.org/id.php?id=112629 https://en.wikipedia.org/wiki/Irene_Greif https://www.wikidata.org/entity/Q16745311 https://id.loc.gov/authorities/names/n88005727 https://zbmath.org/authors/?q=ai:greif.irene Michael 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+CSCW: A Celebration of Systems Research in Collaborative and Social Computing. 1-3 2020 UIST https://doi.org/10.1145/3379337.3422374 conf/uist/2020 db/conf/uist/uist2020.html#BernsteinGM0GKM20 Daniel R. Russell Steven E. Poltrock Irene Greif What did we get right and wrong about CSCW during the past 30 years? 201-203 2016 CSCW Companion https://doi.org/10.1145/2818052.2893363 conf/cscw/2016c db/conf/cscw/cscw2016c.html#RussellPG16 Irene Greif The social life of hypertext. 317 2010 HT https://doi.org/10.1145/1810617.1810668 conf/ht/2010 db/conf/ht/ht2010.html#Greif10

Irene Greif Michael Rhodin Introduction. 658- 2006 45 IBM Syst. J. 4 https://doi.org/10.1147/sj.454.a db/journals/ibmsj/ibmsj45.html#GreifR06

Irene Greif Alexander Birman John J. Ritsko Preface. 659-662 2006 45 IBM Syst. J. 4 https://doi.org/10.1147/sj.454.0659 db/journals/ibmsj/ibmsj45.html#GreifBR06

Irene Greif Research at internet speed: is it necessary? 363 2000 conf/cscw/2000 CSCW https://doi.org/10.1145/358916.362077 db/conf/cscw/cscw2000.html#Greif00 Irene Greif Everyone is Talking About Knowledge Management (Panel). 405-406 1998 conf/cscw/1998 CSCW https://doi.org/10.1145/289444.289516 db/conf/cscw/cscw1998.html#Greif98

Irene Greif Desktop Agents in Group-Enabled Products. 100-105 1994 37 Commun. ACM 7 db/journals/cacm/cacm37.html#Greif94 https://doi.org/10.1145/176789.176800 https://www.wikidata.org/entity/Q128379701

Irene Greif Robert Seliger William E. Weihl A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus. 827-839 https://doi.org/10.1109/32.159831 http://doi.ieeecomputersociety.org/10.1109/32.159831 1992 18 IEEE Trans. Software Eng. 9 db/journals/tse/tse18.html#GreifSW92

Irene Greif John Seely Brown Esther Dyson Mitchell Kapor Thomas W. Malone Computer-supported cooperative work: breakthroughs for user acceptance. 113-114 1988 CHI https://doi.org/10.1145/57167.57185 conf/chi/1988 db/conf/chi/chi1988.html#GreifBDKM88 Irene Greif CSCW '88, Proceedings of the Conference on Computer-Supported Cooperative Work, Portland, OR, USA, September 26-28, 1988 CSCW 1988 ACM 0-89791-282-9 db/conf/cscw/cscw1988.html http://dl.acm.org/citation.cfm?id=62266

Irene Greif Sunil K. Sarin Data Sharing in Group Work. 187-211 1987 5 ACM Trans. Inf. Syst. 2 https://doi.org/10.1145/27636.27640 db/journals/tois/tois5.html#GreifS87

Irene Greif Bill Curtis Herb Krasner Thomas W. Malone Ben Shneiderman Computer-supported cooperative work (panel): is this REALLY a new field of research? 227-228 1987 CHI https://doi.org/10.1145/29933.275634 https://doi.org/10.1145/30851.275634 https://doi.org/10.1145/1165387.275634 conf/chi/1987 db/conf/chi/chi1987.html#GreifCKMS87 Irene Greif Sunil K. Sarin Data sharing in group work. 175-183 1986 CSCW https://doi.org/10.1145/637069.637092 conf/cscw/1986 db/conf/cscw/cscw1986.html#GreifS86 Irene Greif Robert Seliger William E. Weihl Atomic Data Abstractions in a Distributed Collaborative Editing System. 160-172 1986 conf/popl/1986 POPL db/conf/popl/popl86.html#GreifSW86 https://doi.org/10.1145/512644.512659 Herb Krasner Irene Greif CSCW '86, Proceedings of the 1986 ACM conference on Computer-supported cooperative work, Austin, Texas, USA, December 3-5, 1986 CSCW 1986 ACM http://dl.acm.org/citation.cfm?id=637069 db/conf/cscw/cscw1986.html

Sunil K. Sarin Irene Greif Computer-Based real-Time Conferencing Systems. 33-45 1985 18 Computer 10 db/journals/computer/computer18.html#SarinG85 https://doi.org/10.1109/MC.1985.1662711 http://doi.ieeecomputersociety.org/10.1109/MC.1985.1662711

Irene Greif John Seely Brown Paul M. Cashman Thomas W. Malone Interfaces in organizations (panel session): supporting group work. 65 1985 CHI https://doi.org/10.1145/317456.317468 https://doi.org/10.1145/1165385.317468 conf/chi/1985 db/conf/chi/chi1985.html#GreifBCM85 Irene Greif William Buxton David R. Reed Larry Tesler Scott MacGregor Microcomputer user interface toolkits (panel session): the commercial state-of-the-art. 225 1985 CHI https://doi.org/10.1145/317456.317497 https://doi.org/10.1145/1165385.317497 conf/chi/1985 db/conf/chi/chi1985.html#GreifBRTM85 Sunil K. Sarin Irene Greif Software for interactive on-line conferences. 46-58 1984 COCS https://doi.org/10.1145/800023.808333 conf/cocs/1984 db/conf/cocs/cocs1984.html#SarinG84

Irene Greif Albert R. Meyer Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer. 484-507 1981 3 ACM Trans. Program. Lang. Syst. 4 https://doi.org/10.1145/357146.357151 db/journals/toplas/toplas3.html#GreifM81

Irene Greif Distributed Data Bases in a Callendar System. 67 1981 conf/berkeley/1981 Berkeley Workshop db/conf/berkeley/berkeley81.html#Greif81 Irene Greif Albert R. Meyer Specifying Programming Language Semantics. 180-189 1979 conf/popl/79 POPL db/conf/popl/popl79.html#GreifM79 https://doi.org/10.1145/567752.567769 Albert R. Meyer Irene Greif Can Partial Correctness Assertions Specify Programming Language Semantics?. 25-26 1979 conf/tcs/1979 Theoretical Computer Science db/conf/tcs/tcs1979.html#MeyerG79 https://doi.org/10.1007/3-540-09118-1_3

Irene Greif A Language for Formal Problem Specification. 931-935 1977 20 Commun. ACM 12 db/journals/cacm/cacm20.html#Greif77 https://doi.org/10.1145/359897.359904

Irene Greif On Proofs of Programs for Synchronization. 494-507 1976 conf/icalp/1976 ICALP db/conf/icalp/icalp76.html#Greif76 Irene Greif Semantics of communicating parallel processes. 1975 Massachusetts Institute of Technology, Cambridge, MA, USA https://hdl.handle.net/1721.1/57710 ndltd.org (oai:dspace.mit.edu:1721.1/57710) Irene Greif Carl Hewitt Actor Semantics of Planner-73. 67-77 1975 conf/popl/1975 POPL db/conf/popl/popl75.html#GreifH75 https://doi.org/10.1145/512976.512984 Irene Greif Richard J. Waldinger A more mechanical approach to program verification. 109-119 1974 conf/programm/1974 Symposium on Programming db/conf/programm/programm1974.html#GreifW74 https://doi.org/10.1007/3-540-06859-7_128 Carl Hewitt Peter Boehler Bishop Richard Steiger Irene Greif Brian Cantwell Smith Todd Matson Roger Hale Behavioral semantics of nonrecursive control structures. 385-407 1974 conf/programm/1974 Symposium on Programming db/conf/programm/programm1974.html#HewittBSGSMH74 https://doi.org/10.1007/3-540-06859-7_147 Carl Hewitt Peter Boehler Bishop Irene Greif Brian Cantwell Smith Todd Matson Richard Steiger Actor Induction and Meta-Evaluation. 153-168 1973 conf/popl/1973 POPL db/conf/popl/popl73.html#HewittBGSMS73 https://doi.org/10.1145/512927.512942 Michael S. Bernstein Alexander Birman Peter Boehler Bishop John Seely Brown William Buxton Paul M. Cashman Bill Curtis Esther Dyson Jonathan Grudin Roger Hale Carl Hewitt Hiroshi Ishii 0001 Mitchell Kapor Karrie Karahalios Aniket Kittur Herb Krasner Scott MacGregor Wendy E. Mackay Thomas W. Malone Todd Matson Albert R. Meyer Meredith Ringel Morris Steven E. Poltrock David R. Reed Michael Rhodin John J. Ritsko Daniel R. Russell Niloufar Salehi Sunil K. Sarin Robert Seliger Ben Shneiderman Brian Cantwell Smith Richard Steiger Jaime Teevan Larry Tesler Richard J. Waldinger William E. Weihl Amy X. Zhang