| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2012 | — | conf |
Turing-100
|
| 2012 | J | jnl |
Comput. J.
|
| 2012 | J | jnl |
Comput. J.
|
| 2010 | J | jnl |
Ubiquity
|
| 2008 | J | jnl |
Minds Mach.
|
| 2006 | J | jnl |
Commun. ACM
|
| 2005 | C | conf |
CiE
|
| 2005 | — | conf |
FInCo@ETAPS
|
| 2004 | J | jnl |
Comput. J.
|
| 2003 | J | jnl |
Bull. EATCS
|
| 2003 | J | jnl |
Commun. ACM
|
| 2002 | — | conf |
Paraconsistent Computational Logic
|
| 2001 | — | ch. |
Unified Modeling Language: Systems Analysis, Design and Development Issues
|
| 2001 | — | conf |
EXPRESS
|
| 1999 | — | conf |
CMCS
|
| 1999 | J | jnl |
ACM Comput. Surv.
|
| 1998 | J | jnl |
ACM Comput. Surv.
|
| 1998 | J | jnl |
Theor. Comput. Sci.
|
| 1997 | — | ch. |
The Computer Science and Engineering Handbook
|
| 1997 | J | jnl |
Commun. ACM
|
| 1997 | — | conf |
Conceptual Modeling
|
| 1997 | — | ch. |
The Computer Science and Engineering Handbook
|
| 1997 | A | conf |
SIGCSE
|
| 1997 | J | jnl |
Commun. ACM
|
| 1996 | C | conf |
COORDINATION
|
| 1996 | J | jnl |
ACM Comput. Surv.
|
| 1996 | J | jnl |
ACM Comput. Surv.
|
| 1995 | J | jnl |
Theory Pract. Object Syst.
|
| 1995 | J | jnl |
ACM Comput. Surv.
|
| 1995 | J | jnl |
Computer
|
| 1995 | — | conf |
ACM Conference on Computer Science
|
| 1994 | — | conf |
Specification of Parallel Algorithms
|
| 1994 | — | conf |
ICCL
|
| 1994 | A | conf |
SIGCSE
|
| 1993 | — | conf |
ECOOP Workshop
|
| 1993 | B | conf |
LPAR
|
| 1992 | J | jnl |
Computer
|
| 1992 | — | ed. |
Object-Based Concurrent Computing
|
| 1992 | — | conf |
FGCS
|
| 1992 | A | conf |
OOPSLA
|
| 1992 | J | jnl |
Commun. ACM
|
| 1991 | — | conf |
Object-Based Concurrent Computing
|
| 1991 | — | ed. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming
|
| 1990 | J | jnl |
OOPS Messenger
|
| 1990 | — | conf |
OOPSLA/ECOOP
|
| 1990 | — | conf |
OOPSLA/ECOOP Addendum
|
| 1990 | — | conf |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming
|
| 1989 | J | jnl |
Guest Editor's Introduction to Special Issue of Computing Surveys on Programming Language Paradigms.
ACM Comput. Surv.
|
| 1989 | — | conf |
DBPL
|
| 1988 | — | conf |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming
|
| 1988 | A | conf |
ECOOP
|
| 1988 | — | ed. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming
|
| 1988 | J | jnl |
ACM SIGPLAN Notices
|
| 1987 | — | conf |
DBPL
|
| 1987 | A | conf |
OOPSLA
|
| 1987 | — | conf |
OOPSLA Addendum
|
| 1987 | — | book |
Research Directions in Object-Oriented Programming
|
| 1987 | — | ch. |
Research Directions in Object-Oriented Programming
|
| 1986 | — | conf |
OOPWORK
|
| 1986 | — | conf |
OOPWORK
|
| 1986 | — | conf |
OOPWORK
|
| 1986 | — | conf |
OOPWORK
|
| 1986 | — | conf |
OOPWORK
|
| 1986 | — | ed. |
OOPWORK
|
| 1986 | — | conf |
IFIP Congress
|
| 1985 | — | conf |
Data Types and Persistence (Appin), Informal Proceedings
|
| 1985 | — | conf |
Data Types and Persistence (Appin)
|
| 1985 | J | jnl |
ACM Comput. Surv.
|
| 1985 | — | conf |
SIGAda
|
| 1984 | J | jnl |
IEEE Softw.
|
| 1984 | J | jnl |
IEEE Softw.
|
| 1983 | A* | conf |
POPL
|
| 1983 | J | jnl |
IEEE Trans. Software Eng.
|
| 1982 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1982 | A | conf |
SIGCSE
|
| 1981 | J | jnl |
Commun. ACM
|
| 1980 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1978 | A* | conf |
ICSE
|
| 1978 | J | jnl |
ACM SIGPLAN Notices
|
| 1976 | J | jnl |
IEEE Trans. Computers
|
| 1976 | A* | conf |
ICSE
|
| 1974 | J | jnl |
Int. J. Parallel Program.
|
| 1974 | J | jnl |
SIGACT News
|
| 1972 | — | conf |
Proving Assertions About Programs
|
| 1972 | J | jnl |
ACM Comput. Surv.
|
| 1971 | — | conf |
IFIP Congress (2)
|
| 1971 | J | jnl |
ACM SIGPLAN Notices
|
| 1971 | J | jnl |
ACM SIGCSE Bull.
|
| 1971 | J | jnl |
ACM SIGPLAN Notices
|
| 1970 | J | jnl |
ACM SIGCSE Bull.
|
| 1970 | J | jnl |
Adv. Comput.
|
| 1969 | J | jnl |
ACM SIGPLAN Notices
|
| 1969 | J | jnl |
ACM SIGPLAN Notices
|
| 1969 | J | jnl |
J. ACM
|
| 1967 | — | conf |
ACM National Conference
|
| 1966 | — | conf |
SIGCPR
|
| 1962 | J | jnl |
Commun. ACM
|
| 1962 | J | jnl |
Commun. ACM
|
| 1962 | J | jnl |
Comput. J.
|
| 1961 | — | conf |
ACM National Meeting
|
| 1961 | — | conf |
ACM National Meeting
|
| 1960 | J | jnl |
Commun. ACM
|