| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2013 | — | conf |
AGERE!@SPLASH
|
| 2008 | J | jnl |
CoRR
|
| 2008 | Misc | conf |
SAC
|
| 2006 | C | conf |
BROADNETS
|
| 2006 | — | conf |
OOPSLA Companion
|
| 2005 | J | jnl |
Int. J. Parallel Program.
|
| 2004 | — | conf |
IPDPS Next Generation Software Program - NSFNGS - PI Workshop
|
| 2003 | J | jnl |
Sci. Program.
|
| 2002 | — | conf |
Generic Programming
|
| 2002 | C | conf |
ICFEM
|
| 2002 | A | conf |
IPDPS
|
| 2002 | J | jnl |
Inf. Softw. Technol.
|
| 2001 | — | conf |
GCSE
|
| 2001 | C | conf |
SCAM
|
| 2001 | B | conf |
CC
|
| 2000 | — | ed. |
Generic Programming
|
| 1998 | J | jnl |
CLEI Electron. J.
|
| 1998 | — | conf |
Generic Programming
|
| 1998 | — | conf |
Generic Programming
|
| 1997 | J | jnl |
IEEE Trans. Software Eng.
|
| 1997 | J | jnl |
Softw. Pract. Exp.
|
| 1996 | B | conf |
ISSAC
|
| 1996 | — | book |
STL tutorial and reference guide - C++ programming with the standard template library.
|
| 1994 | J | jnl |
Softw. Pract. Exp.
|
| 1994 | J | jnl |
Theor. Comput. Sci.
|
| 1992 | — | conf |
Formal Methods in Databases and Software Engineering
|
| 1991 | J | jnl |
Theor. Comput. Sci.
|
| 1991 | — | conf |
RTA
|
| 1988 | B | conf |
ISSAC
|
| 1988 | J | jnl |
J. Symb. Comput.
|
| 1988 | — | conf |
FSTTCS
|
| 1987 | — | conf |
SIGAda
|
| 1987 | J | jnl |
Artif. Intell.
|
| 1986 | A* | conf |
LICS
|
| 1985 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1985 | A* | conf |
ICRA
|
| 1983 | J | jnl |
SIAM J. Comput.
|
| 1983 | J | jnl |
SIAM J. Comput.
|
| 1982 | A* | conf |
ICALP
|
| 1982 | — | conf |
EUROCAM
|
| 1981 | — | conf |
SYMSACC
|
| 1981 | — | conf |
FPCA
|
| 1981 | — | conf |
Program Specification
|
| 1980 | J | jnl |
IEEE Trans. Software Eng.
|
| 1980 | — | conf |
IFIP Congress
|
| 1980 | A* | conf |
POPL
|
| 1980 | A | conf |
CADE
|
| 1978 | J | jnl |
Commun. ACM
|
| 1978 | J | jnl |
J. ACM
|
| 1977 | J | jnl |
Inf. Process. Lett.
|
| 1977 | — | conf |
Language Design for Reliable Software
|
| 1976 | — | conf |
ACM Annual Conference
|
| 1976 | A* | conf |
ICSE
|
| 1975 | J | jnl |
J. ACM
|
| 1974 | J | jnl |
SIGSAM Bull.
|
| 1974 | — | conf |
ACM Annual Conference (1)
|
| 1973 | A | conf |
SIGCSE
|