| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
IEEE Trans. Software Eng.
|
| 2022 | — | ch. |
Edsger Wybe Dijkstra
|
| 2022 | J | jnl |
Commun. ACM
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | ch. |
Edsger Wybe Dijkstra
|
| 2022 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2021 | A | conf |
CSF
|
| 2019 | — | ch. |
Concurrency: the Works of Leslie Lamport
|
| 2019 | — | ch. |
Concurrency: the Works of Leslie Lamport
|
| 2019 | — | ch. |
Concurrency: the Works of Leslie Lamport
|
| 2019 | — | conf |
F-IDE@FM
|
| 2019 | — | ch. |
Concurrency: the Works of Leslie Lamport
|
| 2019 | — | ch. |
Concurrency: the Works of Leslie Lamport
|
| 2019 | — | ch. |
Concurrency: the Works of Leslie Lamport
|
| 2019 | — | ch. |
Concurrency: the Works of Leslie Lamport
|
| 2019 | — | ch. |
Concurrency: the Works of Leslie Lamport
|
| 2018 | J | jnl |
Bull. EATCS
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
CoRR
|
| 2015 | J | jnl |
Commun. ACM
|
| 2015 | J | jnl |
Commun. ACM
|
| 2014 | A* | conf |
PODC
|
| 2014 | — | conf |
ARQNL@IJCAR
|
| 2014 | J | jnl |
CoRR
|
| 2013 | A | conf |
DISC
|
| 2012 | B | conf |
FM
|
| 2012 | J | jnl |
CoRR
|
| 2011 | A | conf |
DISC
|
| 2011 | A | conf |
DISC
|
| 2011 | J | jnl |
Int. J. Softw. Informatics
|
| 2010 | — | conf |
Concurrency, Compositionality, and Correctness
|
| 2010 | J | jnl |
SIGACT News
|
| 2010 | C | conf |
ICTAC
|
| 2010 | J | jnl |
Distributed Comput.
|
| 2010 | J | jnl |
CoRR
|
| 2010 | A | conf |
IJCAR
|
| 2009 | — | conf |
NASA Formal Methods
|
| 2009 | J | jnl |
SIGACT News
|
| 2009 | C | conf |
ICTAC
|
| 2009 | A* | conf |
PODC
|
| 2008 | J | jnl |
CoRR
|
| 2008 | — | conf |
LPAR Workshops
|
| 2008 | J | jnl |
Distributed Comput.
|
| 2008 | A | conf |
DISC
|
| 2007 | A | conf |
DISC
|
| 2007 | J | jnl |
J. Log. Algebraic Methods Program.
|
| 2006 | A | conf |
DISC
|
| 2006 | J | jnl |
ACM Trans. Database Syst.
|
| 2006 | J | jnl |
Distributed Comput.
|
| 2006 | J | jnl |
Distributed Comput.
|
| 2006 | C | conf |
FORTE
|
| 2006 | B | conf |
NCA
|
| 2005 | A | conf |
DSN
|
| 2005 | — | conf |
CHARME
|
| 2004 | A | conf |
DSN
|
| 2004 | J | jnl |
CoRR
|
| 2004 | — | conf |
WSFM
|
| 2004 | A | conf |
DSN
|
| 2003 | J | jnl |
Distributed Comput.
|
| 2003 | J | jnl |
Formal Methods Syst. Des.
|
| 2003 | J | jnl |
Distributed Comput.
|
| 2003 | — | conf |
Future Directions in Distributed Computing
|
| 2002 | — | conf |
FMCO
|
| 2002 | B | conf |
OPODIS
|
| 2002 | — | book |
|
| 2002 | — | conf |
ACM SIGOPS European Workshop
|
| 2000 | A | conf |
DISC
|
| 2000 | A* | conf |
PODC
|
| 2000 | J | jnl |
Distributed Comput.
|
| 2000 | J | jnl |
Inf. Process. Lett.
|
| 1999 | — | conf |
World Congress on Formal Methods
|
| 1999 | J | jnl |
Distributed Comput.
|
| 1999 | — | conf |
CHARME
|
| 1999 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1998 | J | jnl |
Theor. Comput. Sci.
|
| 1998 | B | conf |
CONCUR
|
| 1998 | J | jnl |
ACM Trans. Comput. Syst.
|
| 1997 | — | conf |
COMPOS
|
| 1997 | J | jnl |
IEEE Trans. Computers
|
| 1997 | J | jnl |
Theor. Comput. Sci.
|
| 1996 | A | conf |
TACAS
|
| 1995 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1995 | — | book |
Das LaTeX-Handbuch.
|
| 1995 | J | jnl |
IEEE Trans. Software Eng.
|
| 1994 | — | conf |
Formal Systems Specification
|
| 1994 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1994 | — | conf |
PROCOMET
|
| 1994 | C | conf |
FORTE
|
| 1994 | J | jnl |
Formal Aspects Comput.
|
| 1994 | — | book |
LaTeX - A Document Preparation System: User's Guide and Reference Manual, Second Edition.
|
| 1994 | A* | conf |
PODC
|
| 1994 | — | conf |
FTRTFT
|
| 1994 | — | conf |
Specification of Parallel Algorithms
|
| 1994 | — | conf |
Z User Workshop
|
| 1994 | — | conf |
Formal Systems Specification
|
| 1994 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1993 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1993 | — | conf |
REX School/Symposium
|
| 1993 | A* | conf |
CAV
|
| 1992 | A* | conf |
CAV
|
| 1992 | J | jnl |
Distributed Comput.
|
| 1992 | — | conf |
Hybrid Systems
|
| 1992 | A* | conf |
CAV
|
| 1992 | — | conf |
Larch
|
| 1991 | — | conf |
REX Workshop
|
| 1991 | J | jnl |
Inf. Process. Lett.
|
| 1991 | J | jnl |
Theor. Comput. Sci.
|
| 1990 | J | jnl |
Distributed Comput.
|
| 1990 | J | jnl |
ACM Trans. Comput. Syst.
|
| 1990 | — | ch. |
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)
|
| 1989 | J | jnl |
Commun. ACM
|
| 1989 | — | conf |
REX Workshop
|
| 1989 | A* | conf |
ICALP
|
| 1988 | A* | conf |
PODC
|
| 1988 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1988 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1988 | A* | conf |
LICS
|
| 1988 | — | conf |
Concurrency
|
| 1987 | J | jnl |
ACM Trans. Comput. Syst.
|
| 1986 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1986 | — | book |
LaTeX: User's Guide & Reference Manual
|
| 1986 | J | jnl |
Distributed Comput.
|
| 1986 | J | jnl |
Distributed Comput.
|
| 1986 | J | jnl |
J. ACM
|
| 1986 | J | jnl |
J. ACM
|
| 1985 | A* | conf |
POPL
|
| 1985 | J | jnl |
ACM Trans. Comput. Syst.
|
| 1985 | — | ed. |
Advanced Course: Distributed Systems
|
| 1985 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1985 | J | jnl |
J. ACM
|
| 1985 | A* | conf |
POPL
|
| 1984 | — | conf |
Logics and Models of Concurrent Systems
|
| 1984 | — | conf |
Advanced Course: Distributed Systems
|
| 1984 | A* | conf |
PODC
|
| 1984 | — | conf |
Advanced Course: Distributed Systems
|
| 1984 | — | conf |
Advanced Course: Distributed Systems
|
| 1984 | A* | conf |
PODC
|
| 1984 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1984 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1983 | — | conf |
The Analysis of Concurrent Systems
|
| 1983 | A* | conf |
POPL
|
| 1983 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1983 | J | jnl |
J. ACM
|
| 1983 | — | conf |
IFIP Congress
|
| 1982 | J | jnl |
Sci. Comput. Program.
|
| 1982 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1982 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1981 | J | jnl |
Commun. ACM
|
| 1981 | — | conf |
Logic of Programs
|
| 1981 | — | conf |
Logic of Programs
|
| 1980 | A* | conf |
POPL
|
| 1980 | J | jnl |
J. ACM
|
| 1980 | J | jnl |
Acta Informatica
|
| 1979 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1979 | J | jnl |
ACM SIGPLAN Notices
|
| 1979 | J | jnl |
IEEE Trans. Computers
|
| 1979 | J | jnl |
Commun. ACM
|
| 1978 | J | jnl |
Commun. ACM
|
| 1978 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1978 | J | jnl |
Comput. Networks
|
| 1978 | — | conf |
Mathematical Studies of Information Processing
|
| 1978 | J | jnl |
Commun. ACM
|
| 1977 | J | jnl |
Commun. ACM
|
| 1977 | J | jnl |
IEEE Trans. Software Eng.
|
| 1976 | J | jnl |
Inf. Process. Lett.
|
| 1976 | J | jnl |
Acta Informatica
|
| 1975 | J | jnl |
Commun. ACM
|
| 1975 | — | conf |
Programming Languages and Compilers for Parallel and Vector Machines
|
| 1975 | — | conf |
Language Hierarchies and Interfaces
|
| 1974 | J | jnl |
Commun. ACM
|
| 1974 | — | conf |
Sagamore Computer Conference
|
| 1974 | J | jnl |
Commun. ACM
|
| 1970 | J | jnl |
Commun. ACM
|