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
- IDA 2014 + (33)
- ESOP 2015 + (33)
- IFM 2016 + (33)
- ALT 2018 + (33)
- IPCO 2019 + (33)
- IPCO 2016 + (33)
- IPCO 2013 + (33)
- ASSETS 2017 + (33)
- CAiSE 2020 + (33)
- CAV 1998 + (33)
- CAV 2001 + (33)
- CAV 2007 + (33)
- CAV 2008 + (33)
- SIGCOMM 1983 + (34)
- IEEE Cluster 2000 + (34)
- ASE 2008 + (34)
- ISCA 1990 + (34)
- ISCA 1994 + (34)
- IMC 2006 + (34)
- MMNS 2005 + (34)
- CRYPTO 2001 + (34)
- CRYPTO 2003 + (34)
- CRYPTO 2006 + (34)
- EuroCrypt 1996 + (34)
- EuroCrypt 1997 + (34)
- CADE 1998 + (34)
- WebSci 2016 + (36)
- WoWMoM 2023 + (36)
- EuroSys 2021 + (38)
- EuroSys 2016 + (38)
- SIGMOD 1993 + (39)
- ER 2001 + (39)
- ISCA 1992 + (39)
- CCGrid 2003 + (39)
- IMC 2004 + (39)
- MSWiM 2006 + (39)
- IMC 2002 + (39)
- DMS 2014 + (39)
- CHI 1988 + (39)
- CRYPTO 2002 + (39)
- CRYPTO 2010 + (39)
- EuroCrypt 2000 + (39)
- IJCAR 2008 + (39)
- LICS 1997 + (39)
- LICS 2007 + (39)
- LICS 2008 + (39)
- LICS 2009 + (39)
- PODC 2010 + (39)
- PODC 2014 + (39)
- PODC 2001 + (39)
- POPL 1994 + (39)
- POPL 1993 + (39)