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
- OOPSLA 2004 + (173)
- ISCA 1992 + (173)
- EuroCrypt 2007 + (173)
- PLDI 2000 + (173)
- POPL 1994 + (173)
- WI/IAT 2015 + (173)
- ACNS 2018 + (173)
- ODBASE 2018 + (173)
- PKC 2019 + (173)
- ECOOP 1996 + (173)
- OOPSLA 2005 + (174)
- DSN 2010 + (174)
- DSN 2008 + (174)
- HPCA 2007 + (174)
- PERCOM 2013 + (174)
- PLDI 2006 + (174)
- DEXA 2013 + (174)
- LICS 2020 + (174)
- VR 2017 + (174)
- SIGGRAPH 1985 + (175)
- ASPLOS 2006 + (175)
- CRYPTO 2002 + (175)
- HPCA 2010 + (175)
- LICS 1996 + (175)
- PERCOM 2014 + (175)
- POPL 1998 + (175)
- IPSN 2010 + (175)
- RECOMB 2019 + (175)
- CHI 1983 + (176)
- COLT 2015 + (176)
- CSCW 2004 + (176)
- ICSME 2018 + (176)
- LICS 2015 + (176)
- MobiSys 2022 + (176)
- POPL 2004 + (176)
- POPL 1988 + (177)
- ICS 2017 + (177)
- AIED 2019 + (177)
- EDBT 1996 + (178)
- ESWC 2014 + (178)
- ACNS 2010 + (178)
- ICS 2016 + (178)
- OSDI 1994 + (178)
- PLDI 2007 + (178)
- ICMR 2017 + (178)
- FC 2019 + (178)
- CAiSE 2017 + (178)
- CIKM 2000 + (179)
- PODC 2010 + (179)
- DEXA 2012 + (179)
- SAC 1998 + (179)
- ESWC 2018 + (179)
- ICSOC 2017 + (179)
- IMC 2017 + (179)
- ICSI 2019 + (179)
- ICIAR 2018 + (179)
- CAiSE 2018 + (179)
