| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
CoRR
|
| 2023 | J | jnl |
Commun. ACM
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
TACAS (1)
|
| 2013 | J | jnl |
Int. J. Adapt. Resilient Auton. Syst.
|
| 2012 | J | jnl |
Computer
|
| 2011 | — | conf |
CCE
|
| 2010 | J | jnl |
IEEE Trans. Software Eng.
|
| 2010 | J | jnl |
Int. J. Inf. Technol. Manag.
|
| 2009 | J | jnl |
VLDB J.
|
| 2008 | — | conf |
ICDE Workshops
|
| 2007 | J | jnl |
J. Manag. Inf. Syst.
|
| 2006 | A* | conf |
ICSE
|
| 2003 | J | jnl |
IBM Syst. J.
|
| 2001 | — | conf |
LCTES/OM
|
| 2001 | — | conf |
OM@PLDI
|
| 1997 | J | jnl |
IEEE Trans. Inf. Theory
|
| 1997 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1996 | J | jnl |
ACM SIGPLAN Notices
|
| 1994 | — | conf |
Workshop on Interface Definition Languages
|
| 1994 | J | jnl |
Theor. Comput. Sci.
|
| 1994 | A* | ed. |
POPL
|
| 1994 | A | conf |
OOPSLA
|
| 1993 | J | jnl |
IEEE Trans. Software Eng.
|
| 1993 | J | jnl |
Inf. Process. Lett.
|
| 1993 | J | jnl |
Acta Informatica
|
| 1992 | — | conf |
OOPSLA Addendum
|
| 1992 | A* | conf |
SODA
|
| 1992 | A* | conf |
POPL
|
| 1992 | — | conf |
ICCL
|
| 1992 | J | jnl |
J. Algorithms
|
| 1991 | — | book |
|
| 1991 | — | conf |
CASCON
|
| 1991 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1990 | A* | conf |
SODA
|
| 1988 | — | book |
|
| 1988 | A* | conf |
PLDI
|
| 1986 | J | jnl |
Acta Informatica
|
| 1986 | J | jnl |
IEEE Trans. Software Eng.
|
| 1985 | A* | conf |
ICSE
|