| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | A* | conf |
AAAI
|
| 2025 | — | conf |
ARRAY@PLDI
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Log. Methods Comput. Sci.
|
| 2024 | — | conf |
ARRAY@PLDI
|
| 2023 | J | jnl |
AI Soc.
|
| 2022 | J | jnl |
ACM Comput. Surv.
|
| 2022 | B | conf |
FSCD
|
| 2022 | J | jnl |
CoRR
|
| 2021 | A* | conf |
HPCA
|
| 2021 | — | conf |
FTfJP@ECOOP
|
| 2021 | — | conf |
FTfJP@ECOOP
|
| 2021 | C | conf |
MPLR
|
| 2020 | — | conf |
Haskell@ICFP
|
| 2020 | J | jnl |
IEEE Access
|
| 2020 | B | conf |
FSCD
|
| 2020 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2019 | A | conf |
ESOP
|
| 2019 | — | ch. |
Computing and Software Science
|
| 2018 | J | jnl |
Open Comput. Sci.
|
| 2018 | J | jnl |
CoRR
|
| 2017 | A* | conf |
POPL
|
| 2016 | — | conf |
Semantics, Logics, and Calculi
|
| 2016 | B | conf |
SAS
|
| 2015 | — | conf |
DFTS
|
| 2015 | J | jnl |
Sci. Comput. Program.
|
| 2014 | A | conf |
ICFP
|
| 2014 | — | conf |
Onward!
|
| 2014 | B | conf |
CC
|
| 2014 | — | ed. |
PLE@ECOOP
|
| 2014 | — | conf |
PLE@ECOOP
|
| 2014 | J | jnl |
CoRR
|
| 2013 | — | ch. |
Aliasing in Object-Oriented Programming
|
| 2013 | — | conf |
ICALP (2)
|
| 2013 | B | conf |
SAS
|
| 2013 | B | conf |
APLAS
|
| 2013 | — | ch. |
Aliasing in Object-Oriented Programming
|
| 2013 | A | conf |
MSR
|
| 2012 | — | conf |
IFL
|
| 2012 | J | jnl |
Dagstuhl Reports
|
| 2012 | B | conf |
SAS
|
| 2012 | B | conf |
SAS
|
| 2012 | — | conf |
PLACES
|
| 2012 | — | conf |
PLATEAU
|
| 2012 | C | conf |
ISORC
|
| 2011 | — | conf |
ICPP Workshops
|
| 2011 | — | conf |
DSL
|
| 2011 | C | conf |
Haskell
|
| 2011 | — | conf |
FoVeOOS
|
| 2011 | J | jnl |
CoRR
|
| 2011 | J | jnl |
Simul. Model. Pract. Theory
|
| 2011 | — | conf |
Euro-Par (2)
|
| 2010 | — | conf |
Euro-Par (1)
|
| 2010 | B | conf |
RV
|
| 2010 | J | jnl |
Int. J. Artif. Intell. Tools
|
| 2010 | — | ed. |
PLACES
|
| 2010 | B | conf |
SAS
|
| 2010 | — | conf |
DAMP
|
| 2009 | B | conf |
SPAA
|
| 2009 | C | conf |
ISMM
|
| 2009 | — | conf |
WODA
|
| 2009 | B | conf |
FASE
|
| 2008 | C | conf |
PEPM
|
| 2008 | A | conf |
ECOOP
|
| 2008 | B | conf |
FASE
|
| 2008 | — | conf |
LCPC
|
| 2008 | — | conf |
IWMSE@ICSE
|
| 2007 | B | conf |
PACT
|
| 2007 | J | jnl |
Sci. Comput. Program.
|
| 2007 | C | conf |
PDCAT
|
| 2007 | — | conf |
WWV
|
| 2007 | — | conf |
Euro-Par
|
| 2007 | B | conf |
SPAA
|
| 2007 | B | conf |
SAS
|
| 2007 | — | conf |
LCPC
|
| 2007 | J | jnl |
Int. J. Pervasive Comput. Commun.
|
| 2006 | Misc | conf |
ISWC
|
| 2006 | C | conf |
PEPM
|
| 2006 | B | ed. |
CC
|
| 2006 | A | conf |
ESOP
|
| 2005 | — | conf |
MCMP@MDM
|
| 2005 | B | conf |
CC
|
| 2004 | B | conf |
SAS
|
| 2004 | — | conf |
SIGDOC
|
| 2004 | A | conf |
ESOP
|
| 2004 | J | jnl |
J. Univers. Comput. Sci.
|
| 2004 | A | conf |
DATE
|
| 2004 | B | conf |
CC
|
| 2003 | J | jnl |
Comput. Lang. Syst. Struct.
|
| 2003 | B | conf |
CC
|
| 2003 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2003 | C | conf |
FDL
|
| 2003 | — | conf |
RV@CAV
|
| 2003 | — | conf |
POLICY
|
| 2003 | B | conf |
FASE
|
| 2003 | — | conf |
HICSS
|
| 2003 | — | conf |
Security and Management
|
| 2002 | — | conf |
MSP/ISMM
|
| 2001 | — | conf |
CHARME
|
| 2001 | — | conf |
WCRE
|
| 2001 | — | conf |
CHARME
|
| 2001 | A | conf |
TACAS
|
| 2001 | B | conf |
SAS
|
| 2000 | A* | conf |
ICALP
|
| 2000 | — | conf |
WFLP
|
| 1999 | A | conf |
ESOP
|
| 1996 | — | conf |
LOMAPS
|
| 1996 | J | jnl |
ACM Comput. Surv.
|
| 1995 | — | conf |
ASIAN
|
| 1995 | B | ed. |
|
| 1995 | — | conf |
PLILP
|
| 1995 | J | jnl |
J. Funct. Program.
|
| 1993 | C | conf |
PEPM
|
| 1992 | Misc | conf |
LFCS
|
| 1992 | — | conf |
WSA
|
| 1991 | A* | conf |
ICALP
|
| 1986 | A* | conf |
POPL
|
| 1985 | — | conf |
Programs as Data Objects
|
| 1984 | J | jnl |
Artif. Intell.
|
| 1984 | A | conf |
STACS
|
| 1984 | A* | conf |
ICALP
|
| 1984 | — | conf |
Symposium on Programming
|
| 1984 | — | conf |
SLP
|
| 1983 | B | conf |
Logic Programming Workshop
|
| 1983 | A* | conf |
ICALP
|
| 1982 | — | — |
|
| 1980 | — | conf |
Symposium on Programming
|