The SCEAS System
Navigation Menu

Search the dblp DataBase


Irene Greif: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Irene Greif, Sunil K. Sarin
    Data Sharing in Group Work. [Citation Graph (3, 0)][DBLP]
    ACM Trans. Inf. Syst., 1987, v:5, n:2, pp:187-211 [Journal]
  2. Irene Greif, Robert Seliger, William E. Weihl
    Atomic Data Abstractions in a Distributed Collaborative Editing System. [Citation Graph (2, 0)][DBLP]
    POPL, 1986, pp:160-172 [Conf]
  3. Irene Greif, Albert R. Meyer
    Specifying Programming Language Semantics. [Citation Graph (1, 0)][DBLP]
    POPL, 1979, pp:180-189 [Conf]
  4. Sunil K. Sarin, Irene Greif
    Computer-Based real-Time Conferencing Systems. [Citation Graph (1, 0)][DBLP]
    IEEE Computer, 1985, v:18, n:10, pp:33-45 [Journal]
  5. Irene Greif, Albert R. Meyer
    Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1981, v:3, n:4, pp:484-507 [Journal]
  6. Irene Greif, Robert Seliger, William E. Weihl
    A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:9, pp:827-839 [Journal]
  7. Irene Greif
    Distributed Data Bases in a Callendar System. [Citation Graph (0, 0)][DBLP]
    Berkeley Workshop, 1981, pp:67- [Conf]
  8. Irene Greif
    Research at internet speed: is it necessary? [Citation Graph (0, 0)][DBLP]
    CSCW, 2000, pp:363- [Conf]
  9. Irene Greif
    Everyone is Talking About Knowledge Management (Panel). [Citation Graph (0, 0)][DBLP]
    CSCW, 1998, pp:405-406 [Conf]
  10. Irene Greif
    On Proofs of Programs for Synchronization. [Citation Graph (0, 0)][DBLP]
    ICALP, 1976, pp:494-507 [Conf]
  11. Irene Greif, Carl Hewitt
    Actor Semantics of Planner-73. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:67-77 [Conf]
  12. Carl Hewitt, Peter Bishop, Irene Greif, Brian Smith, Todd Matson, Richard Steiger
    Actor Induction and Meta-Evaluation. [Citation Graph (0, 0)][DBLP]
    POPL, 1973, pp:153-168 [Conf]
  13. Irene Greif, Richard J. Waldinger
    A more mechanical approach to program verification. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1974, pp:109-119 [Conf]
  14. Carl Hewitt, Peter Bishop, Richard Steiger, Irene Greif, Brian Smith, Todd Matson, Roger Hale
    Behavioral semantics of nonrecursive control structures. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1974, pp:385-407 [Conf]
  15. Albert R. Meyer, Irene Greif
    Can Partial Correctness Assertions Specify Programming Language Semantics?. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1979, pp:25-26 [Conf]
  16. Irene Greif
    A Language for Formal Problem Specification. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:12, pp:931-935 [Journal]
  17. Irene Greif
    Desktop Agents in Group-Enabled Products. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1994, v:37, n:7, pp:100-105 [Journal]

  18. The social life of hypertext. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002