| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2019 | — | conf |
ASYNC
|
| 2019 | J | jnl |
IEEE Trans. Circuits Syst. II Express Briefs
|
| 2018 | — | conf |
ASYNC
|
| 2018 | — | conf |
SIGGRAPH Panels
|
| 2017 | — | conf |
Haifa Verification Conference
|
| 2017 | Misc | conf |
ACSSC
|
| 2016 | J | jnl |
J. Comput. Sci. Technol.
|
| 2015 | — | conf |
ASYNC
|
| 2012 | — | conf |
ACM-TURING
|
| 2012 | J | jnl |
Commun. ACM
|
| 2011 | B | conf |
FMCAD
|
| 2011 | A | conf |
OOPSLA
|
| 2010 | — | conf |
ASYNC
|
| 2010 | — | conf |
Concurrency, Compositionality, and Correctness
|
| 2007 | — | conf |
ISSCC
|
| 2005 | — | conf |
Hot Interconnects
|
| 2005 | — | conf |
ASYNC
|
| 2005 | — | conf |
CHI Extended Abstracts
|
| 2005 | — | conf |
ASYNC
|
| 2004 | J | jnl |
IEEE J. Solid State Circuits
|
| 2003 | — | conf |
CICC
|
| 2001 | — | conf |
ASYNC
|
| 2001 | — | conf |
ASYNC
|
| 2001 | — | conf |
ASYNC
|
| 1999 | — | conf |
ASYNC
|
| 1999 | J | jnl |
Proc. IEEE
|
| 1998 | — | conf |
ASYNC
|
| 1998 | — | conf |
ASYNC
|
| 1994 | J | jnl |
IEEE Des. Test Comput.
|
| 1992 | B | conf |
Data Compression Conference
|
| 1989 | A* | conf |
SIGGRAPH
|
| 1989 | J | jnl |
Commun. ACM
|
| 1983 | J | jnl |
ACM Trans. Graph.
|
| 1981 | A* | conf |
SIGGRAPH
|
| 1974 | J | jnl |
ACM Comput. Surv.
|
| 1974 | J | jnl |
Commun. ACM
|
| 1974 | — | conf |
AFIPS National Computer Conference
|
| 1973 | J | jnl |
IEEE Trans. Computers
|
| 1973 | — | conf |
AFIPS National Computer Conference
|
| 1969 | J | jnl |
IEEE Trans. Computers
|
| 1969 | — | conf |
AFIPS Fall Joint Computing Conference
|
| 1968 | — | conf |
AFIPS Fall Joint Computing Conference (1)
|
| 1968 | J | jnl |
Commun. ACM
|
| 1968 | — | conf |
AFIPS Fall Joint Computing Conference (1)
|
| 1968 | J | jnl |
Commun. ACM
|
| 1966 | J | jnl |
IEEE Trans. Electron. Comput.
|
| 1966 | J | jnl |
IEEE Trans. Electron. Comput.
|
| 1964 | A* | conf |
DAC
|
| 1963 | — | book |
Sketchpad, A Man-Machine Graphical Communication System
|
| 1963 | — | conf |
AFIPS Spring Joint Computing Conference
|