| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
Ubiquity
|
| 2025 | J | jnl |
IEEE Trans. Software Eng.
|
| 2024 | J | jnl |
IEEE Ann. Hist. Comput.
|
| 2024 | J | jnl |
CoRR
|
| 2023 | J | jnl |
IEEE Ann. Hist. Comput.
|
| 2022 | — | ch. |
Edsger Wybe Dijkstra
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
IEEE Ann. Hist. Comput.
|
| 2021 | J | jnl |
CoRR
|
| 2019 | — | ch. |
Carl Adam Petri: Ideas, Personality, Impact
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
ACSD
|
| 2018 | J | jnl |
IEEE Secur. Priv.
|
| 2017 | — | ch. |
The Turing Guide
|
| 2017 | — | ch. |
The Turing Guide
|
| 2017 | J | jnl |
IACR Cryptol. ePrint Arch.
|
| 2016 | — | conf |
PNSE @ Petri Nets
|
| 2015 | J | jnl |
IEEE Ann. Hist. Comput.
|
| 2014 | — | conf |
EVT/WOTE
|
| 2012 | B | conf |
CONCUR
|
| 2012 | — | conf |
Security Protocols Workshop
|
| 2012 | — | conf |
IPAW
|
| 2012 | — | conf |
Security Protocols Workshop
|
| 2011 | J | jnl |
Inroads
|
| 2011 | B | conf |
Petri Nets
|
| 2009 | J | jnl |
IEEE Secur. Priv.
|
| 2009 | J | jnl |
Fundam. Informaticae
|
| 2008 | B | conf |
COMPSAC
|
| 2008 | — | conf |
ECBS
|
| 2007 | J | jnl |
J. Inf. Technol.
|
| 2007 | A | conf |
ACSAC
|
| 2007 | C | conf |
ICTAC
|
| 2007 | A | conf |
DSN
|
| 2006 | J | jnl |
IEEE Secur. Priv.
|
| 2005 | — | conf |
NETGAMES
|
| 2005 | J | jnl |
SIGMOD Rec.
|
| 2005 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 2005 | — | conf |
Formal Aspects in Security and Trust
|
| 2004 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2004 | — | conf |
IFIP Congress Topical Sessions
|
| 2004 | B | conf |
SRDS
|
| 2004 | — | conf |
Atomicity in System Design and Execution
|
| 2004 | — | conf |
IFIP Congress Topical Sessions
|
| 2003 | — | conf |
WORDS Fall
|
| 2003 | — | conf |
FME
|
| 2002 | — | conf |
Symposium on Object-Oriented Real-Time Distributed Computing
|
| 2002 | J | jnl |
IEEE Trans. Computers
|
| 2001 | A | conf |
ACSAC
|
| 2001 | C | conf |
ISORC
|
| 2000 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 2000 | J | jnl |
IEEE Trans. Parallel Distributed Syst.
|
| 2000 | J | jnl |
Comput. J.
|
| 1999 | C | conf |
ISADS
|
| 1999 | — | conf |
FTCS
|
| 1999 | J | jnl |
Softw. Pract. Exp.
|
| 1998 | A | conf |
ICDCS
|
| 1998 | — | conf |
FTCS
|
| 1998 | C | conf |
ISORC
|
| 1998 | J | jnl |
Comput. J.
|
| 1997 | J | jnl |
J. Syst. Archit.
|
| 1996 | J | jnl |
IEEE Ann. Hist. Comput.
|
| 1996 | A | conf |
ICDCS
|
| 1996 | B | conf |
ICPADS
|
| 1995 | — | conf |
FTCS
|
| 1994 | Misc | conf |
EDCC
|
| 1994 | Misc | conf |
EDCC
|
| 1994 | J | jnl |
IEEE Ann. Hist. Comput.
|
| 1993 | J | jnl |
Softw. Pract. Exp.
|
| 1992 | A | conf |
ESORICS
|
| 1992 | J | jnl |
IEEE Ann. Hist. Comput.
|
| 1992 | — | conf |
25th Anniversary of INRIA
|
| 1991 | — | conf |
Operating Systems of the 90s and Beyond
|
| 1991 | J | jnl |
RFC
|
| 1989 | — | conf |
IFIP Congress
|
| 1987 | — | conf |
Experiences with Distributed Systems
|
| 1987 | J | jnl |
IEEE Ann. Hist. Comput.
|
| 1987 | J | jnl |
Proc. IEEE
|
| 1986 | — | conf |
S&P
|
| 1986 | J | jnl |
IEEE Trans. Software Eng.
|
| 1986 | — | conf |
ACM SIGOPS European Workshop
|
| 1986 | — | conf |
Symposium on Reliability in Distributed Software and Database Systems
|
| 1986 | J | jnl |
Comput. J.
|
| 1985 | J | jnl |
SIGARCH Comput. Archit. News
|
| 1985 | J | jnl |
IEEE Trans. Software Eng.
|
| 1983 | — | conf |
S&P
|
| 1983 | J | jnl |
Computer
|
| 1983 | J | jnl |
IEEE Ann. Hist. Comput.
|
| 1983 | — | conf |
Symposium on Reliability in Distributed Software and Database Systems
|
| 1982 | J | jnl |
IEEE Ann. Hist. Comput.
|
| 1982 | J | jnl |
Softw. Pract. Exp.
|
| 1981 | J | jnl |
Acta Informatica
|
| 1981 | J | jnl |
IEEE Ann. Hist. Comput.
|
| 1979 | J | jnl |
IEEE Ann. Hist. Comput.
|
| 1979 | A* | conf |
ICSE
|
| 1978 | — | ed. |
Advanced Course: Operating Systems
|
| 1978 | J | jnl |
ACM Comput. Surv.
|
| 1978 | — | conf |
Advanced Course: Operating Systems
|
| 1977 | — | conf |
Language Design for Reliable Software
|
| 1975 | J | jnl |
IEEE Trans. Software Eng.
|
| 1975 | — | conf |
Reliable Software
|
| 1974 | — | conf |
Symposium on Operating Systems
|
| 1973 | J | jnl |
ACM Comput. Surv.
|
| 1971 | J | jnl |
Comput. J.
|
| 1971 | — | conf |
IFIP Congress (1)
|
| 1971 | J | jnl |
Acta Informatica
|
| 1969 | J | jnl |
Commun. ACM
|
| 1968 | — | conf |
AFIPS Fall Joint Computing Conference (2)
|
| 1968 | J | jnl |
Commun. ACM
|
| 1968 | — | conf |
IFIP Congress (2)
|
| 1967 | A* | conf |
SOSP
|
| 1964 | J | jnl |
J. ACM
|
| 1963 | J | jnl |
Commun. ACM
|
| 1962 | J | jnl |
Commun. ACM
|
| 1962 | J | jnl |
Commun. ACM
|
| 1962 | J | jnl |
Commun. ACM
|