| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | J | jnl |
Commun. ACM
|
| 2024 | J | jnl |
Ubiquity
|
| 2024 | J | jnl |
Comput. Sci. Rev.
|
| 2023 | J | jnl |
Ubiquity
|
| 2023 | J | jnl |
Commun. ACM
|
| 2021 | J | jnl |
Ubiquity
|
| 2020 | J | jnl |
Frontiers Appl. Math. Stat.
|
| 2020 | J | jnl |
Commun. ACM
|
| 2019 | J | jnl |
Commun. ACM
|
| 2018 | J | jnl |
Commun. ACM
|
| 2018 | J | jnl |
Ubiquity
|
| 2017 | J | jnl |
Ubiquity
|
| 2017 | J | jnl |
Cybersecurity skeptics now embracing formal methods: an interview with Gernot Heiser and Jim Morris.
Ubiquity
|
| 2017 | J | jnl |
Commun. ACM
|
| 2017 | J | jnl |
Ubiquity
|
| 2016 | J | jnl |
Cogn. Syst. Res.
|
| 2016 | J | jnl |
Cogn. Syst. Res.
|
| 2014 | J | jnl |
Int. J. Crit. Infrastructures
|
| 2013 | J | jnl |
Cogn. Syst. Res.
|
| 2011 | J | jnl |
Int. J. Cyber Warf. Terror.
|
| 2010 | J | jnl |
IEEE Netw.
|
| 2003 | C | conf |
CW
|
| 2000 | J | jnl |
Computer
|
| 2000 | J | jnl |
Computer
|
| 2000 | J | jnl |
Computer
|
| 2000 | J | jnl |
Computer
|
| 2000 | J | jnl |
Computer
|
| 2000 | J | jnl |
Computer
|
| 2000 | J | jnl |
Computer
|
| 2000 | J | jnl |
Computer
|
| 2000 | J | jnl |
Computer
|
| 2000 | J | jnl |
Computer
|
| 1999 | J | jnl |
Computer
|
| 1999 | J | jnl |
Computer
|
| 1999 | J | jnl |
Computer
|
| 1999 | J | jnl |
Computer
|
| 1999 | J | jnl |
Computer
|
| 1999 | J | jnl |
Computer
|
| 1999 | J | jnl |
Computer
|
| 1999 | J | jnl |
Computer
|
| 1999 | J | jnl |
Computer
|
| 1999 | J | jnl |
Computer
|
| 1999 | J | jnl |
Computer
|
| 1999 | J | jnl |
Computer
|
| 1998 | J | jnl |
IEEE Softw.
|
| 1998 | J | jnl |
Computer
|
| 1998 | J | jnl |
Computer
|
| 1998 | J | jnl |
Computer
|
| 1998 | J | jnl |
Computer
|
| 1998 | J | jnl |
Computer
|
| 1998 | J | jnl |
Computer
|
| 1998 | J | jnl |
Computer
|
| 1998 | J | jnl |
IEEE Internet Comput.
|
| 1998 | J | jnl |
IEEE Internet Comput.
|
| 1998 | J | jnl |
IEEE Internet Comput.
|
| 1998 | J | jnl |
IEEE Internet Comput.
|
| 1997 | — | conf |
Heterogeneous Computing Workshop
|
| 1997 | J | jnl |
Computer
|
| 1997 | J | jnl |
Computer
|
| 1997 | J | jnl |
Computer
|
| 1997 | J | jnl |
IEEE Internet Comput.
|
| 1997 | J | jnl |
Computer
|
| 1997 | J | jnl |
Computer
|
| 1997 | J | jnl |
IEEE Internet Comput.
|
| 1997 | J | jnl |
IEEE Internet Comput.
|
| 1997 | J | jnl |
IEEE Internet Comput.
|
| 1997 | J | jnl |
IEEE Internet Comput.
|
| 1997 | J | jnl |
IEEE Internet Comput.
|
| 1996 | J | jnl |
Computer
|
| 1996 | J | jnl |
J. Syst. Softw.
|
| 1996 | J | jnl |
Computer
|
| 1996 | J | jnl |
Computer
|
| 1996 | J | jnl |
Computer
|
| 1996 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
IEEE Softw.
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Computer
|
| 1994 | — | conf |
ICPP (2)
|
| 1994 | — | conf |
Annual Simulation Symposium
|
| 1994 | J | jnl |
Int. J. Parallel Program.
|
| 1994 | J | jnl |
Computer
|
| 1993 | J | jnl |
IEEE Parallel Distributed Technol. Syst. Appl.
|
| 1993 | J | jnl |
IEEE Parallel Distributed Technol. Syst. Appl.
|
| 1992 | J | jnl |
J. Parallel Distributed Comput.
|
| 1991 | J | jnl |
Computer
|
| 1991 | — | conf |
ACPC
|
| 1991 | — | conf |
ACM Conference on Computer Science
|
| 1990 | — | conf |
Compcon
|
| 1990 | J | jnl |
IEEE Softw.
|
| 1990 | C | conf |
SEKE
|
| 1990 | — | conf |
ICPP (3)
|
| 1990 | — | conf |
ICPP (2)
|
| 1990 | — | conf |
ICPP (2)
|
| 1990 | J | jnl |
J. Parallel Distributed Comput.
|
| 1990 | J | jnl |
IEEE Softw.
|
| 1989 | A | conf |
SC
|
| 1989 | J | jnl |
Computer
|
| 1988 | J | jnl |
IEEE Softw.
|
| 1988 | J | jnl |
Computer
|
| 1985 | J | jnl |
IEEE Trans. Software Eng.
|
| 1984 | J | jnl |
IEEE Softw.
|
| 1984 | J | jnl |
IEEE Trans. Software Eng.
|
| 1984 | J | jnl |
IEEE Softw.
|
| 1984 | J | jnl |
IEEE Softw.
|
| 1981 | J | jnl |
IEEE Trans. Software Eng.
|
| 1980 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1980 | J | jnl |
IEEE Trans. Computers
|
| 1980 | — | conf |
SIGSMALL
|
| 1979 | A* | conf |
ISCA
|
| 1978 | J | jnl |
ACM SIGPLAN Notices
|
| 1978 | A* | conf |
MICRO
|
| 1978 | — | conf |
SIGMINI
|
| 1978 | — | conf |
SIGMINI
|
| 1978 | J | jnl |
Computer
|
| 1977 | J | jnl |
IEEE Trans. Software Eng.
|
| 1976 | — | conf |
ACM Annual Conference
|
| 1976 | J | jnl |
Computer
|
| 1975 | J | jnl |
Computer
|
| 1975 | J | jnl |
ACM Comput. Surv.
|
| 1975 | — | conf |
ACM Annual Conference
|
| 1974 | A* | conf |
MICRO
|
| 1974 | — | conf |
ACM Annual Conference (2)
|
| 1974 | J | jnl |
ACM SIGCSE Bull.
|
| 1973 | J | jnl |
J. ACM
|
| 1972 | — | conf |
ACM Annual Conference (1)
|