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
- ISCA 1986 + (171)
- LCN 2007 + (171)
- LICS 2012 + (171)
- EKAW 2016 + (171)
- ICS 2003 + (171)
- ECOOP 2005 + (172)
- IEEE Visualization 2002 + (172)
- LCN 2006 + (172)
- ISWC 2015 + (172)
- ACM GIS 2010 + (172)
- ACNS 2011 + (172)
- ASPLOS 2013 + (172)
- COLT 2000 + (172)
- HPCA 2006 + (172)
- KR 2000 + (172)
- POPL 2005 + (172)
- MobiSys 2019 + (172)
- APCC 2019 + (172)
- CIKM 1999 + (172)
- 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)
- DEXA 2013 + (174)
- DSN 2008 + (174)
- DSN 2010 + (174)
- HPCA 2007 + (174)
- LICS 2020 + (174)
- OOPSLA 2005 + (174)
- PERCOM 2013 + (174)
- PLDI 2006 + (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)