Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- PLDI 1998 + (31)
- PLDI 1997 + (31)
- PODS 2016 + (31)
- POPL 1991 + (31)
- POPL 2005 + (31)
- PERCOM 2004 + (31)
- ICSC 2018 + (31)
- ISSTA 2017 + (31)
- ISSTA 2018 + (31)
- DIS 2004 + (31)
- IPSN 2010 + (31)
- JCDL 2014 + (31)
- DS-RT 2018 + (31)
- IWOCA 2018 + (31)
- FOSSACS 2020 + (31)
- FOSSACS 2018 + (31)
- FOSSACS 2016 + (31)
- PSIVT 2019 + (31)
- SIGSOFT 2008 + (31)
- ICSME 2019 + (31)
- CADE 2017 + (31)
- VLDB 2020 + (31)
- CAV 1992 + (31)
- CAV 1995 + (31)
- MobiCom 2008 + (31)
- MobiCom 2016 + (31)
- WoWMoM 2021 + (31)
- SIGCOMM 1988 + (32)
- POPL 2006 + (33)
- SIGCOMM 1984 + (33)
- SIGCOMM 2003 + (33)
- SIGGRAPH 1987 + (33)
- SIGMETRICS 2004 + (33)
- WICSA 2011 + (33)
- COLT 1999 + (35)
- CRYPTO 1997 + (35)
- HPCA 2009 + (35)
- ICS 2011 + (35)
- ICFP 2008 + (35)
- IJCAR 2016 + (35)
- CADE 2011 + (35)
- ISSAC 2002 + (35)
- POPL 2008 + (35)
- DEXA 2009 + (35)
- ICS 2004 + (35)
- DEXA 2018 + (35)
- EDBT 2018 + (35)
- ICNP 2018 + (35)
- IEA/AIE 2018 + (35)
- LAK 2018 + (35)
- SOFSEM 2019 + (35)
- LION 2017 + (35)
- CAV 2000 + (35)
- CAV 2002 + (35)
- CAV 2006 + (35)
- ADMA 2020 + (35)