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 1996 + (28)
- ICSC 2015 + (28)
- PODS 2008 + (28)
- POPL 1983 + (28)
- POPL 1988 + (28)
- POPL 2002 + (28)
- JCDL 2013 + (28)
- TPDL 2016 + (28)
- ER 2017 + (28)
- ICFP 2014 + (28)
- IDA 2017 + (28)
- ESOP 2019 + (28)
- CPM 2017 + (28)
- ICER 2019 + (28)
- ICER 2018 + (28)
- SPIRE 2019 + (28)
- PACLING 2017 + (28)
- FOSSACS 2015 + (28)
- ASSETS 2018 + (28)
- GameSec 2017 + (28)
- GameSec 2018 + (28)
- LION 2018 + (28)
- SAGT 2008 + (28)
- ANTS 2020 + (28)
- Cluster 2008 + (28)
- CAV 1995 + (31)
- MobiCom 2008 + (31)
- MobiCom 2016 + (31)
- WoWMoM 2021 + (31)
- SIGCOMM 1988 + (32)
- PODS 2005 + (32)
- ACNS 2003 + (32)
- ISCA 1993 + (32)
- EDBT 1998 + (32)
- PODS 1999 + (32)
- OOPSLA 2005 + (32)
- ASE 1997 + (32)
- ICNP 1997 + (32)
- ICNP 2002 + (32)
- IMC 2003 + (32)
- ASE 2001 + (32)
- FSE 2005 + (32)
- ACNS 2009 + (32)
- ACNS 2010 + (32)
- ASPLOS 2012 + (32)
- ASPLOS 2011 + (32)
- CRYPTO 2008 + (32)
- EuroCrypt 1999 + (32)
- EuroCrypt 2001 + (32)
- HPCA 2010 + (32)