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
- ICWE 2013 + (21)
- DSN 2013 + (21)
- WICSA 2015 + (21)
- FOGA 2011 + (21)
- CSMR 2010 + (21)
- OSDI 1994 + (21)
- ICFP 2004 + (21)
- SEMANTiCS 2017 + (21)
- SEMANTiCS 2012 + (21)
- SEMANTiCS 2009 + (21)
- FQAS 2017 + (21)
- ISPASS 2018 + (21)
- ICMR 2018 + (21)
- AdHoc-Now 2018 + (21)
- ICAC 2015 + (21)
- CNSM 2019 + (21)
- CGO 2019 + (21)
- ISPEC 2019 + (21)
- AIME 2017 + (21)
- ProvSec 2018 + (21)
- ECSCW 2018 + (21)
- EMAS 2018 + (21)
- FPGA 2020 + (21)
- VMCAI 2020 + (21)
- SafeComp 2019 + (21)
- ARES 2019 + (21)
- ICISC 2018 + (21)
- ARES 2016 + (21)
- AOSD 2011 + (21)
- ECOOP 1996 + (21)
- PODS 1996 + (22)
- FASE 2004 + (22)
- ISSTA 2006 + (22)
- ASPLOS1987 + (22)
- SIGMETRICS 1989 + (22)
- MobiHoc 2002 + (22)
- ASE 2003 + (22)
- FASE 2001 + (22)
- MMNS 2001 + (22)
- MMNS 2000 + (22)
- MMNS 1998 + (22)
- ASE 2006 + (22)
- MMNS 1997 + (22)
- ICWE 2011 + (22)
- ICWE 2009 + (22)
- ICDT 2012 + (22)
- ICDT 2013 + (22)
- ICDT 2011 + (22)
- CSMR 2009 + (22)
- HPCA 2006 + (22)
- PODS 2014 + (22)
- POPL 1973 + (22)
- TPDL 2015 + (22)
- K-CAP 2017 + (22)
- SEMANTiCS 2015 + (22)
- SEMANTiCS 2010 + (22)
- HPDC 2018 + (22)
- HPDC 2019 + (22)
- ISMAR 2015 + (22)
- IPSN 2018 + (22)
- ECDL 2010 + (22)
- ER 2019 + (22)
- EKAW 2010 + (22)
- ICDT 2020 + (22)
- LFCS 2018 + (22)
- AdHoc-Now 2017 + (22)
- ALENEX 2019 + (22)
- PPDP 2018 + (22)
- APLAS 2019 + (22)
- APLAS 2018 + (22)
- CHIIR 2018 + (22)
- SPIRE 2018 + (22)
- RECOMB 2017 + (22)
- DaWaK 2019 + (22)
- SafeComp 2018 + (22)
- RE 2016 + (22)
- ARES 2013 + (22)
- FASE 2005 + (22)
- MobiSys 2008 + (22)
- HCOMP 2018 + (22)
- HCOMP 2019 + (22)
- USENIX 1998 + (23)
- ASE 2000 + (23)
- DSOM 2005 + (23)
- USENIX 1997 + (23)
- PODS 1997 + (23)
- USENIX 1999 + (23)
- SIGMETRICS 1990 + (23)
- SIGMETRICS 2002 + (23)
- MobiCom 2005 + (23)
- MobiCom 1999 + (23)
- SIGCOMM 2001 + (23)
- IWQoS 2005 + (23)
- SSTD 1995 + (23)
- CRYPTO 2007 + (23)
- PERCOM 2006 + (23)
- ICSC 2012 + (23)
- POPL 1975 + (23)
- ICFP 2001 + (23)
- JIST 2018 + (23)
- JCDL 2017 + (23)
- BPM 2019 + (23)
- SIROCCO 2018 + (23)
- ISSRE 2018 + (23)
- CIAA 2018 + (23)
- SBAC-PAD 2017 + (23)
- Persuasive 2017 + (23)
- ISC 2019 + (23)
- ADMA 2018 + (23)
- Petri Nets 2019 + (23)
- REFSQ 2018 + (23)
- OPENSYM 2015 + (23)
- VR 2017 + (23)
- SIGCOMM 1997 + (24)
- ASPLOS2002 + (24)
- ECOOP 2005 + (24)
- SIGCOMM 1999 + (24)
- ECOOP 1998 + (24)
- ASPLOS2000 + (24)
- ISCA 2001 + (24)
- DSOM 1997 + (24)
- ECOOP 2002 + (24)
- USENIX 2001 + (24)
- SIGMETRICS 1996 + (24)
- PODS 2002 + (24)
- DSOM 1998 + (24)
- HPDC 2004 + (24)
- IWQoS 1997 + (24)
- ASPLOS1992 + (24)
- IPTPS 2006 + (24)
- ASE 1998 + (24)
- MobiHoc 2004 + (24)
- USENIX 2005 + (24)
- USENIX 2003 + (24)
- MobiHoc 2001 + (24)
- HPDC 2005 + (24)
- IWQoS 2004 + (24)
- ICDT 2005 + (24)
- SSTD 2005 + (24)
- SSTD 2011 + (24)
- ASPLOS 2006 + (24)
- ASPLOS 2007 + (24)
- ASPLOS 2005 + (24)
- ISMAR 2004 + (24)
- ISMAR 2005 + (24)
- ISMAR 2010 + (24)
- ISMAR 2009 + (24)
- OSDI 2000 + (24)
- PODS 2013 + (24)
- POPL 2001 + (24)
- POPL 1981 + (24)
- POPL 2003 + (24)
- POPL 1999 + (24)
- ICFP 2000 + (24)
- ICFP 2002 + (24)
- ICFP 2003 + (24)
- ICFP 2006 + (24)
- JIST 2017 + (24)
- FASE 2019 + (24)
- BIS 2017 + (24)
- ISPASS 2017 + (24)
- JIST 2019 + (24)
- ASAP 2019 + (24)
- ATVA 2019 + (24)
- MDAI 2018 + (24)
- SBAC-PAD 2019 + (24)
- IFM 2017 + (24)
- APLAS 2017 + (24)
- DESRIST 2018 + (24)
- ANTS 2018 + (24)
- CPM 2018 + (24)
- PROFES 2019 + (24)
- FPGA 2019 + (24)
- Petri Nets 2018 + (24)
- VMCAI 2018 + (24)
- MMSys 2017 + (24)
- SAFECOMP 2017 + (24)
- SAGT 2014 + (24)
- WSDM 2008 + (24)
- HCOMP 2017 + (24)
- ECOOP 2007 + (25)
- PODS 1995 + (25)
- ECOOP 2004 + (25)
- SIGCOMM 2002 + (25)
- ASE 1999 + (25)
- SIGMETRICS 1997 + (25)
- ICDT 2007 + (25)
- ASPLOS1996 + (25)
- SIGMETRICS 1998 + (25)
- FSE 2004 + (25)
- USENIX 2002 + (25)
- HPDC 2003 + (25)
- ASE 2004 + (25)
- SIGMETRICS 1994 + (25)
- FSE 2006 + (25)
- OOPSLA 2002 + (25)
- KESW 2013 + (25)
- SSTD 2001 + (25)
- PODS 2011 + (25)
- ASPLOS 2003 + (25)
- OOPSLA 2009 + (25)
- OSDI 2012 + (25)
- PERCOM 2014 + (25)
- PLDI 2004 + (25)
- PODS 2015 + (25)
- POPL 1977 + (25)
- JCDL 2012 + (25)
- ICFP 1996 + (25)
- ICFP 1999 + (25)
- TPDL 2018 + (25)
- FASE 2017 + (25)
- IPSN 2019 + (25)
- ISEC 2017 + (25)
- ICFP 1997 + (25)
- WebSci 2015 + (25)
- ICTAC 2018 + (25)
- Persuasive 2018 + (25)
- SEA 2016 + (25)
- IFM 2019 + (25)
- ISC 2017 + (25)
- CGO 2020 + (25)
- VRST 2019 + (25)
- ARES 2018 + (25)
- SAGT 2013 + (25)
- PODS 2000 + (26)
- OOPSLA 2000 + (26)
- ISSTA 2004 + (26)
- HPCA 1998 + (26)
- MDM 2009 + (26)
- PODS 2001 + (26)
- HPCA 2002 + (26)
- ISCA 1999 + (26)
- SIGCOMM 2000 + (26)
- PODS 1993 + (26)
- ICDT 2001 + (26)
- OOPSLA 2003 + (26)
- OOPSLA 2006 + (26)
- ISSTA 2008 + (26)
- SEFM 2019 + (27)
- SIGCOMM 1992 + (27)
- SIGCOMM 1996 + (27)
- SIGCOMM 1998 + (27)
- SIGCOMM 2005 + (27)
- SIGMETRICS 1995 + (27)
- TPDL 2011 + (27)
- USENIX 2000 + (27)
- VMCAI 2017 + (27)
- VMCAI 2019 + (27)
- Cluster 2008 + (28)
- FCT 2011 + (28)
- MobiCom 2013 + (28)
- MobiHoc 2021 + (28)
- WoWMoM 2017 + (28)
- EuroSys 2013 + (28)
- FSE 1999 + (29)
- FSE 1995 + (29)
- ER 1996 + (29)
- SIGCOMM 1994 + (29)
- SIGCOMM 1989 + (29)
- HPCA 1996 + (29)
- ICDT 1995 + (29)
- SIGMETRICS 2007 + (29)
- MICRO 2004 + (29)
- ASPLOS1994 + (29)
- HiPC 2001 + (29)
- FSE 2001 + (29)
- ISCA 2000 + (29)
- ICDT 1997 + (29)
- MICRO 2001 + (29)
- MobiHoc 2003 + (29)
- ASPLOS 2002 + (29)
- ASPLOS 2010 + (29)
- CSMR 2013 + (29)
- CSMR 2011 + (29)
- PERCOM 2015 + (29)
- POPL 2004 + (29)
- POPL 1987 + (29)
- JCDL 2009 + (29)
- ICS 2007 + (29)
- ICSC 2019 + (29)
- WebSci 2014 + (29)
- FC 2018 + (29)
- ACNS 2019 + (29)
- IDA 2018 + (29)
- IDA 2015 + (29)
- Persuasive 2019 + (29)
- ESOP 2016 + (29)
- PRIMA 2019 + (29)
- CPM 2019 + (29)
- CPM 2016 + (29)
- FOSSACS 2019 + (29)
- OPENSYM 2014 + (29)
- DaWaK 2018 + (29)
- SAGT 2009 + (29)
- WSDM 2009 + (29)
- DCOSS 2008 + (29)
- FCT 2009 + (29)
- MobiCom 2011 + (29)
- WoWMoM 2018 + (29)
- ISCA 1997 + (30)
- PODS 2004 + (30)
- EDBT 2000 + (30)
- OOPSLA 1999 + (30)
- SIGMETRICS 2006 + (30)
- ER 1997 + (30)
- SIGCOMM 1995 + (30)
- MobiCom 2001 + (30)
- ICNP 2000 + (30)
- ICNP 2003 + (30)
- MICRO 1996 + (30)
- ER 2002 + (30)
- HPCA 1997 + (30)
- FASE 2007 + (30)
- IWQoS 2001 + (30)
- SIGMETRICS 2001 + (30)
- ACM GIS 2004 + (30)
- ER 2010 + (30)
- ACNS 2008 + (30)
- CSMR 2012 + (30)
- ISMAR 2006 + (30)
- ICSOC 2007 + (30)
- PLDI 2000 + (30)
- PLDI 2001 + (30)
- POPL 1989 + (30)
- POPL 1992 + (30)
- POPL 2000 + (30)
- ICFP 1998 + (30)
- BIS 2018 + (30)
- ER 2018 + (30)
- WebSci 2018 + (30)
- WebSci 2017 + (30)
- BuildSys 2019 + (30)
- EDBT 2020 + (30)
- SIGMIS CPR 2019 + (30)
- MDAI 2019 + (30)
- SBAC-PAD 2018 + (30)
- CGO 2018 + (30)
- FUN 2018 + (30)
- SEA 2018 + (30)
- SEA 2017 + (30)
- IWOCA 2017 + (30)
- SCN 2018 + (30)
- SCN 2016 + (30)
- SimAUD 2015 + (30)
- MMSys 2018 + (30)
- CANS 2020 + (30)
- BIS 2020 + (30)
- MobiCom 2009 + (30)
- WoWMoM 2020 + (30)
- EDBT 1994 + (31)
- FSE 2008 + (31)
- ISCA 2004 + (31)
- SIGCOMM 1990 + (31)
- ER 2005 + (31)
- ACNS 2007 + (31)
- SIGMETRICS 2005 + (31)
- ICNP 1996 + (31)
- HPCA 2003 + (31)
- SIGCOMM 2004 + (31)
- MobiHoc 2006 + (31)
- MICRO 2000 + (31)
- IPTPS 2002 + (31)
- EDBT 1996 + (31)
- ACM GIS 2005 + (31)
- ACM GIS 2006 + (31)
- ER 2009 + (31)
- ACNS 2011 + (31)
- ASPLOS 2009 + (31)
- CCS 1994 + (31)
- CRYPTO 1996 + (31)
- EuroCrypt 2011 + (31)
- EuroCrypt 2008 + (31)
- HPCA 2008 + (31)
- ICS 2002 + (31)
- CADE 2013 + (31)
- ISCA 2006 + (31)
- PLDI 1998 + (31)
- PLDI 1997 + (31)
- PODS 2016 + (31)
- POPL 1991 + (31)
- POPL 2005 + (31)
- PERCOM 2004 + (31)
- ICSC 2018 + (31)
- ISSTA 2017 + (31)
- ISSTA 2018 + (31)
- DIS 2004 + (31)
- IPSN 2010 + (31)
- JCDL 2014 + (31)
- DS-RT 2018 + (31)
- IWOCA 2018 + (31)
- FOSSACS 2020 + (31)
- FOSSACS 2018 + (31)
- FOSSACS 2016 + (31)
- PSIVT 2019 + (31)
- SIGSOFT 2008 + (31)
- ICSME 2019 + (31)
- CADE 2017 + (31)
- VLDB 2020 + (31)
- CAV 1992 + (31)
- 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)
- IJCAR 2004 + (32)
- CADE 2009 + (32)
- ICSOC 2008 + (32)
- ICSOC 2012 + (32)
- OSDI 2010 + (32)
- PODC 2007 + (32)
- PODC 2000 + (32)
- POPL 1998 + (32)
- JCDL 2010 + (32)
- ICFP 2012 + (32)
- ICS 2010 + (32)
- ISSTA 2019 + (32)
- EKAW 2008 + (32)
- TOOLS 2019 + (32)
- CSL 2020 + (32)
- DS-RT 2019 + (32)
- CoNEXT 2019 + (32)
- CoNEXT 2018 + (32)
- I3D 2019 + (32)
- OPODIS 2019 + (32)
- I-SPAN 2019 + (32)
- DEXA 2019 + (32)
- FOSSACS 2017 + (32)
- VRST 2018 + (32)
- WASSA 2018 + (32)
- SecureComm 2016 + (32)
- CAV 1996 + (32)
- CAV 2003 + (32)
- CAV 2005 + (32)
- MobiCom 2012 + (32)
- SIGGRAPH 1987 + (33)
- SIGCOMM 1984 + (33)
- SIGCOMM 2003 + (33)
- SIGMETRICS 2004 + (33)
- ACNS 2006 + (33)
- OOPSLA 2007 + (33)
- ISCA 1998 + (33)
- FSE 2003 + (33)
- ER 1999 + (33)
- ICNP 2008 + (33)
- ER 1998 + (33)
- ICNP 2004 + (33)
- ICNP 2006 + (33)
- ESWC 2015 + (33)
- ACNS 2014 + (33)
- ACNS 2015 + (33)
- ACNS 2012 + (33)
- CRYPTO 2005 + (33)
- CRYPTO 2004 + (33)
- CRYPTO 1998 + (33)
- EuroCrypt 2006 + (33)
- EuroCrypt 2005 + (33)
- EuroCrypt 2002 + (33)
- EuroCrypt 1995 + (33)
- EuroCrypt 2009 + (33)
- EuroCrypt 2007 + (33)
- WICSA 2011 + (33)
- ISMAR 2014 + (33)
- OOPSLA 2008 + (33)
- PODC 2006 + (33)
- POPL 2006 + (33)
- JCDL 2008 + (33)
- ICFP 2010 + (33)
- ICFP 2011 + (33)
- ICS 2000 + (33)
- BIS 2016 + (33)
- HiPC 2018 + (33)
- ICSOC 2017 + (33)
- ISMAR 2018 + (33)