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
- 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)
- POPL 2004 + (176)
- LICS 2015 + (176)
- ICSME 2018 + (176)
- CSCW 2004 + (176)
- MobiSys 2022 + (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)
- CAiSE 2018 + (179)
- CIKM 2000 + (179)
- DEXA 2012 + (179)
- ESWC 2018 + (179)
- ICIAR 2018 + (179)
- ICSI 2019 + (179)
- ICSOC 2017 + (179)
- IMC 2017 + (179)
- PODC 2010 + (179)
- SAC 1998 + (179)
- UMAP 2019 + (179)
- Euro-Par 1995 + (180)
- ISCA 2002 + (180)
- ISCA 1995 + (180)
- EDBT 1994 + (180)
- ISWC 2014 + (180)
- CRYPTO 2005 + (180)
- ICS 2010 + (180)
- ICS 1999 + (180)
- IEA/AIE 2017 + (180)
- ODBASE 2017 + (180)
- CSCWD 2018 + (180)
- VRST 2019 + (180)
- EuroSys 2016 + (180)
- HPCA 2005 + (181)
- ASPLOS 2011 + (181)
- ICSM 2012 + (181)
- CHES 2018 + (181)
- EuroSys 2021 + (181)
- ER 2001 + (182)
- ECOOP 1999 + (183)
