| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
CHI Extended Abstracts
|
| 2024 | — | conf |
CSEE&T
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
J. Cybersecur.
|
| 2022 | A* | conf |
ICLR
|
| 2015 | J | jnl |
Commun. ACM
|
| 2015 | J | jnl |
J. Cybersecur.
|
| 2014 | C | conf |
PST
|
| 2014 | J | jnl |
GetMobile Mob. Comput. Commun.
|
| 2009 | — | ch. |
Encyclopedia of Complexity and Systems Science
|
| 2008 | J | jnl |
Commun. ACM
|
| 2006 | — | conf |
AAAI Spring Symposium: Semantic Web Meets eGovernment
|
| 2000 | J | jnl |
Commun. ACM
|
| 2000 | J | jnl |
Complex.
|
| 1998 | J | jnl |
High. Order Symb. Comput.
|
| 1998 | — | book |
Struktur und Interpretation von Computerprogrammen - eine Informatik-Einführung (3. Aufl.).
|
| 1996 | — | book |
Structure and Interpretation of Computer Programs, Second Edition
|
| 1993 | — | book |
Struktur und Interpretation von Computerprogrammen - eine Informatik-Einführung (2. Aufl.).
|
| 1990 | — | conf |
Jerusalem Conference on Information Technology
|
| 1989 | J | jnl |
Commun. ACM
|
| 1989 | J | jnl |
Artif. Intell. Eng. Des. Anal. Manuf.
|
| 1986 | J | jnl |
Commun. ACM
|
| 1985 | — | book |
Structure and Interpretation of Computer Programs
|
| 1982 | J | jnl |
Discret. Appl. Math.
|
| 1980 | J | jnl |
Commun. ACM
|
| 1980 | J | jnl |
J. ACM
|
| 1979 | J | jnl |
Inf. Process. Lett.
|
| 1978 | J | jnl |
Theor. Comput. Sci.
|
| 1978 | A* | conf |
FOCS
|
| 1978 | J | jnl |
Theor. Comput. Sci.
|
| 1977 | J | jnl |
Inf. Control.
|
| 1976 | — | conf |
ACM Annual Conference
|
| 1976 | — | conf |
ACM Annual Conference
|