| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2021 | C | conf |
ICTAC
|
| 2020 | A | conf |
ECOOP
|
| 2020 | — | conf |
NFM
|
| 2020 | — | conf |
LSFA
|
| 2019 | B | conf |
CPP
|
| 2018 | — | conf |
FACS
|
| 2018 | A | conf |
SIGCSE
|
| 2017 | — | conf |
WPTE@FSCD
|
| 2016 | J | jnl |
Sci. Comput. Program.
|
| 2014 | — | conf |
GRAPHITE
|
| 2014 | C | conf |
ICTAC
|
| 2014 | — | conf |
WPTE@RTA/TLCA
|
| 2013 | — | conf |
NASA Formal Methods
|
| 2012 | — | conf |
ATACCS
|
| 2012 | B | conf |
ITP
|
| 2011 | A | conf |
ISSTA
|
| 2011 | J | jnl |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
|
| 2011 | A | conf |
ICFP
|
| 2011 | B | conf |
SMC
|
| 2011 | B | conf |
SMC
|
| 2010 | B | conf |
ITP
|
| 2010 | B | conf |
FoSSaCS
|
| 2010 | A* | conf |
LICS
|
| 2009 | — | conf |
HICSS
|
| 2009 | — | conf |
LFMTP
|
| 2008 | J | jnl |
Theor. Comput. Sci.
|
| 2008 | — | conf |
Formal Aspects in Security and Trust
|
| 2007 | A | conf |
RTSS
|
| 2006 | B | conf |
SMC
|
| 2005 | J | jnl |
J. Funct. Program.
|
| 2005 | J | jnl |
Formal Aspects Comput.
|
| 2005 | — | conf |
TGC
|
| 2004 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2004 | — | conf |
FGUC
|
| 2003 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2003 | — | conf |
FOCLASA
|
| 2003 | — | conf |
Verification: Theory and Practice
|
| 2002 | A | conf |
TACAS
|
| 2002 | — | conf |
RV@FLoC
|
| 2001 | A | conf |
TACAS
|
| 2000 | — | conf |
ICRE
|
| 2000 | J | jnl |
IEEE Softw.
|
| 2000 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 2000 | A* | conf |
CAV
|
| 2000 | Misc | conf |
PDPTA
|
| 1999 | A | conf |
TACAS
|
| 1998 | — | conf |
TPHOLs
|
| 1998 | — | conf |
TPHOLs
|
| 1997 | — | ed. |
TPHOLs
|
| 1995 | — | conf |
TPHOLs
|
| 1995 | J | jnl |
Comput. J.
|
| 1994 | C | conf |
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications.
DEXA
|
| 1994 | — | conf |
TPHOLs
|
| 1993 | — | conf |
HUG
|
| 1993 | J | jnl |
Inf. Comput.
|
| 1993 | — | conf |
HUG
|
| 1992 | — | conf |
TPHOLs
|
| 1991 | — | conf |
TACS
|
| 1991 | — | conf |
TPHOLs
|
| 1990 | A | conf |
CADE
|
| 1989 | — | conf |
ELP
|
| 1989 | B | conf |
Mathematical Foundations of Programming Semantics
|
| 1988 | A | conf |
CADE
|