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
- MMNS 2005 + (66)
- ISPA 2015 + (66)
- ICFP 2001 + (66)
- ECOOP 2018 + (66)
- APPROX 2019 + (66)
- VL/HCC 2018 + (66)
- IDA 2017 + (66)
- SCN 2018 + (66)
- REFSQ 2019 + (66)
- PODS 2014 + (67)
- SEMANTiCS 2018 + (67)
- ISPASS 2018 + (67)
- DS-RT 2018 + (67)
- CGO 2019 + (67)
- SCN 2016 + (67)
- AOSD 2013 + (67)
- FCT 2009 + (67)
- IPTPS 2008 + (68)
- ISSAC 2003 + (68)
- ISPEC 2019 + (68)
- SEA 2017 + (68)
- AOSD 2009 + (68)
- ISSTA 1996 + (69)
- SEMANTiCS 2009 + (69)
- ISEC 2018 + (69)
- ADBIS 2018 + (69)
- ICDT 2020 + (69)
- EDOC 2018 + (69)
- ICAC 2015 + (69)
- SBAC-PAD 2019 + (69)
- ANTS 2018 + (69)
- IWOCA 2018 + (69)
- CADE 2017 + (69)
- SIGCOMM 1984 + (70)
- SSTD 2001 + (70)
- SSTD 1993 + (70)
- CCS 1994 + (70)
- CSMR 2009 + (70)
- QoSA 2015 + (70)
- BIS 2015 + (70)
- JIST 2019 + (70)
- WebSci 2016 + (70)
- IDA 2014 + (70)
- I3D 2018 + (70)
- SEA 2018 + (70)
- MMSys 2017 + (70)
- ICISC 2017 + (70)
- KEOD 2019 + (70)
- JIST 2014 + (71)
- COLT 1997 + (71)
- COLT 1999 + (71)
- WICSA 2011 + (71)
- CADE 2013 + (71)
- ISSAC 2015 + (71)
- JCDL 2018 + (71)
- SPIRE 2017 + (71)
- GameSec 2017 + (71)
- BIS 2017 + (72)
- PROFES 2017 + (72)
- FCT 1997 + (72)
- ISSTA 2000 + (73)
- IWQoS 2008 + (73)
- ISSAC 2009 + (73)
- ICAC 2017 + (73)
- SBAC-PAD 2017 + (73)
- ISPEC 2018 + (73)
- IWOCA 2019 + (73)
- LION 2017 + (73)
- FCT 2003 + (73)
- IEEE Cluster 2001 + (74)
- USENIX 1997 + (74)
- FASE 2001 + (74)
- WICSA 2015 + (74)
- ICSC 2014 + (74)
- ICFP 2006 + (74)
- FASE 2019 + (74)
- BIR 2019 + (74)
- WWW 1994 + (75)
- ICDT 2001 + (75)
- JIST 2018 + (75)
- TPDL 2019 + (75)
- EDOC 2019 + (75)
- IDA 2016 + (75)
- IVA 2018 + (75)
- PAM 2019 + (75)
- LION 2020 + (75)
- CAV 1992 + (75)
- HCOMP 2018 + (75)
- DSOM 2001 + (76)
- MMNS 2002 + (76)
- SSTD 2007 + (76)
- ICFP 2002 + (76)
- IFIP SEC 2019 + (76)
- DaWaK 2018 + (76)
- SSTD 2005 + (77)
- CADE 2009 + (77)
- ICFP 1998 + (77)
- JCDL 2017 + (77)
- SBAC-PAD 2016 + (77)
- REFSQ 2017 + (77)
- DocEng 2019 + (77)
- ICADL 2018 + (77)
- CAV 1995 + (77)
- CADE 2005 + (78)
- ICFP 1997 + (78)
- ACIVS 2020 + (78)
- ALT 2019 + (78)
- FCT 2011 + (78)
- MobiCom 1995 + (79)
- MICRO 1992 + (79)
- ESWC 2004 + (79)
- IJCAR 2016 + (79)
- K-CAP 2017 + (79)
- DocEng 2018 + (79)
- AOSD 2008 + (79)
- AOSD 2012 + (79)
- ISCA 1976 + (80)
- CSMR 2013 + (80)
- CADE 2011 + (80)
- CSMR 2010 + (80)
- PODS 2015 + (80)
- ICFP 2004 + (80)
- SEMANTiCS 2010 + (80)
- ICVIP 2018 + (80)
- Persuasive 2019 + (80)
- ARES 2011 + (80)
- QoMEX 2011 + (80)
- MSWiM 2002 + (81)
- ICNP 1997 + (81)
- ICFP 1999 + (81)
- TPDL 2018 + (81)
- ECOOP 2017 + (81)
- ISEC 2017 + (81)
- ISPASS 2017 + (81)
- ARES 2014 + (81)
- USENIX 2001 + (82)
- MobiHoc 2000 + (82)
- IPSN 2018 + (82)
- ATVA 2018 + (82)
- CSL 2020 + (82)
- CCS 1999 + (83)
- MMNS 1997 + (83)
- IJCAR 2014 + (83)
- CADE 2003 + (83)
- ISSAC 2011 + (83)
- ICFP 1996 + (83)
- CPM 2015 + (83)
- HCOMP 2017 + (83)
- PODS 1996 + (84)
- ISSTA 2006 + (84)
- IWQoS 2000 + (84)
- MMNS 2004 + (84)
- ICDT 2005 + (84)
- CADE 2015 + (84)
- SEMANTiCS 2017 + (84)
- DLT 2018 + (84)
- REFSQ 2020 + (84)
- CAV 1993 + (84)
- CAV 1997 + (84)
- CCS 1998 + (85)
- DSOM 2006 + (85)
- SEMANTiCS 2016 + (85)
- ACM GIS 2005 + (85)
- EuroCrypt 1990 + (85)
- CADE 1998 + (85)
- TPDL 2017 + (85)
- ICFP 2009 + (85)
- ICFP 2014 + (85)
- WebSci 2017 + (85)
- BuildSys 2019 + (85)
- Persuasive 2017 + (85)
- FOSSACS 2019 + (85)
- FOSSACS 2016 + (85)
- ARES 2016 + (85)
- ISCA 1978 + (86)
- DSOM 2003 + (86)
- IMC 2007 + (86)
- CSMR-WCRE 2014 + (86)
- IJCAR 2004 + (86)
- ISSAC 2002 + (86)
- ESOP 2019 + (86)
- ALENEX 2019 + (86)
- ISC 2019 + (86)
- BIS 2020 + (86)
- QoMEX 2022 + (86)
- USENIX 1998 + (87)
- DSOM 2005 + (87)
- ER 1993 + (87)
- CADE1997 + (87)
- ISMAR 2014 + (87)
- BIS 2016 + (87)
- ICFP 2005 + (87)
- OPODIS 2019 + (87)
- PAM 2017 + (87)
- CAV 2003 + (87)
- HCOMP 2019 + (87)
- ECOOP 2003 + (88)
- ICFP 2012 + (88)
- ISPASS 2019 + (88)
- JCDL 2019 + (88)
- WADS 2019 + (88)
- WINE 2017 + (88)
- FASE 2003 + (89)
- ICDT 1999 + (89)
- IJCAR 2010 + (89)
- IFIP SEC 2018 + (89)
- ESOP 2016 + (89)
- I-SPAN 2019 + (89)
- SEFM 2019 + (89)
- DSOM 2004 + (90)
- MICRO 1995 + (90)
- USENIX 2000 + (90)
- ISCA 1982 + (90)
- ISCA 1981 + (90)
- IPTPS 2006 + (90)
- MobiCom 1996 + (90)
- IPTPS 2007 + (90)
- ECOOP 1995 + (90)
- ICWE 2011 + (90)
- ICWE 2009 + (90)
- ACM GIS 2004 + (90)
- WICSA 2014 + (90)
- ICSC 2016 + (90)
- POPL 1976 + (90)
- ICVIP - Ei 2017 + (90)
- IEEE Visualization 1994 + (91)
- FASE 2004 + (91)
- ICDT 2003 + (91)
- JCDL 2012 + (91)
- FASE 2017 + (91)
- IPSN 2019 + (91)
- ACIVS 2018 + (91)
- ARES 2013 + (91)
- CAV 2000 + (91)
- QoMEX 2021 + (91)
- ASPLOS1991 + (92)
- SIGMETRICS 1999 + (92)
- FSE 2000 + (92)
- ICWE 2013 + (92)
- COLT 2003 + (92)
- COLT 2007 + (92)
- ICFP 2011 + (92)
- SOFSEM 2019 + (92)
- AOSD 2011 + (92)
- Cluster 2008 + (92)
- ISSTA 2004 + (93)
- ER 1997 + (93)
- IMC 2002 + (93)
- IM 1989 + (93)
- TPDL 2016 + (93)
- ECML-PKDD 2017 + (93)
- CASES 2018 + (93)
- FOSSACS 2015 + (93)
- CAV 1996 + (93)
- QoMEX 2012 + (93)
- ASE 2002 + (94)
- CAV 2002 + (94)
- HPSR 2007 + (94)
- ICSC 2015 + (94)
- MICRO 1996 + (94)
- PODS 1995 + (94)
- PODS 2016 + (94)
- SIGCOMM 1987 + (94)
- SIGCOMM 1989 + (94)
- SIGCOMM 1994 + (94)
- ER 1998 + (95)
- ISWC 2002 + (95)
- JCDL 2013 + (95)
- ICFP 2003 + (95)
- IFM 2019 + (95)
- CGO 2020 + (95)
- ALT 2018 + (95)
- ECOOP 2002 + (96)
- ICNP 1996 + (96)
- WICSA 2012 + (96)
- ISSAC 2012 + (96)
- ISSAC 2014 + (96)
- OSDI 1999 + (96)
- BIS 2018 + (96)
- ICNP 2018 + (96)
- ISSRE 2018 + (96)
- AVI 2016 + (96)
- DESRIST 2018 + (96)
- ADMA 2020 + (96)
- ISSAC 2006 + (97)
- PODS 2009 + (97)
- PODS 2013 + (97)
- SEMANTiCS 2015 + (97)
- ISC 2017 + (97)
- DMS 2009 + (98)
- ICWE 2012 + (98)
- IJCAR 2008 + (98)
- ISSAC 2000 + (98)
- ISSAC 2007 + (98)
- COLT 2013 + (98)
- IPCO 2013 + (98)
- FOSSACS 2020 + (98)
- PODS 2001 + (99)
- CIKM 1996 + (99)
- IPTPS 2002 + (99)
- ACM GIS 2006 + (99)
- ICFP 2008 + (99)
- ISSAC 2008 + (99)
- ICFP 2010 + (99)
- IFM 2016 + (99)
- FASE 2005 + (99)
- ASE 2000 + (100)
- ISSTA 2008 + (100)
- IM 1993 + (100)
- MSWiM 2003 + (100)
- LCN 2001 + (100)
- DMS 2014 + (100)
- DMS 2012 + (100)
- DMS 2008 + (100)
- DMS 2006 + (100)
- DMS 2005 + (100)
- DMS 2004 + (100)
- DMS 2007 + (100)
- DMS 2003 + (100)
- DMS 2013 + (100)
- ICWE 2014 + (100)
- POPL 1973 + (100)
- POPL 1975 + (100)
- HPDC 2017 + (100)
- DS-RT 2019 + (100)
- ARES 2012 + (100)
- Cluster 2009 + (100)
- IEEE Visualization 1996 + (101)
- Eurographics 1998 + (101)
- MobiCom 1997 + (101)
- CSMR 2011 + (101)
- PODS 2012 + (101)
- FOSSACS 2017 + (101)
- ARES 2019 + (101)
- CCC 2020 + (101)
- SIGCOMM 1990 + (102)
- IEEE Visualization 1995 + (102)
- SIGMETRICS 1990 + (102)
- COLT 2006 + (102)
- JCDL 2009 + (102)
- ECDL 2010 + (102)
- EKAW 2008 + (102)
- ASAP 2019 + (102)
- INLG 2018 + (102)
- FCT 1999 + (102)
- USENIX 2003 + (103)
- HPDC 2008 + (103)
- ECOOP 1997 + (103)
- ISMAR 2013 + (103)
- ICFP 2007 + (103)
- ISMAR 2015 + (103)
- ADBIS 2019 + (103)
- FOSSACS 2018 + (103)
- PSIVT 2017 + (103)
- EuroCrypt 1997 + (104)
- ISMAR 2008 + (104)
- LICS 2001 + (104)
- IPSN 2017 + (104)
- EKAW 2018 + (104)
- ADMA 2018 + (104)
- PROFES 2019 + (104)
- HAIS 2018 + (104)
- CAV 2008 + (104)
- WoWMoM 2017 + (104)
- MMNS 2001 + (105)
- ISMAR 2012 + (105)
- ISMAR 2006 + (105)
- PLDI 1995 + (105)
- POPL 1977 + (105)
- CGO 2018 + (105)
- L@S 2017 + (105)
- FCT 2005 + (105)
- WoWMoM 2019 + (105)
- ISCA 1984 + (106)
- IWQoS 1997 + (106)
- HPDC 2019 + (106)
- ICWE 2019 + (106)
- ICMR 2019 + (106)
- JCDL 2020 + (106)
- COCOA 2018 + (106)
- CAV 2001 + (106)
- WoWMoM 2021 + (106)
- USENIX 2002 + (107)
- EKAW 2012 + (107)
- COLT 2004 + (107)
- DSN 2013 + (107)
- ISMAR 2010 + (107)
- DGO.2019 + (107)
- CAV 1999 + (107)
- SIGMETRICS 1992 + (108)
- ICDT 2007 + (108)
- MICRO 1998 + (108)
- HiPC 2001 + (108)
- ASE 1997 + (108)
- ICNP 1998 + (108)
- CCGrid 2002 + (108)
- CSMR 2012 + (108)
- ISMAR 2005 + (108)
- LICS 1997 + (108)
- POPL 1987 + (108)
- IJCAR 2018 + (108)
- JCDL 2014 + (108)
- SecureComm 2018 + (108)
- SBAC-PAD 2018 + (108)
- COCOA 2019 + (108)
- SOFSEM 2018 + (108)
- ASSETS 2018 + (108)
- ASPLOS1996 + (109)
- PODS 2002 + (109)
- ICNP 2000 + (109)
- ECOOP 2000 + (109)
- IMC 2003 + (109)
- ASPLOS 2003 + (109)
- ISSRE 2017 + (109)
- WADS 2017 + (109)
- WoWMoM 2018 + (109)
- ER 1996 + (110)
- CoNEXT 2005 + (110)
- SIGMETRICS 1996 + (110)
- HPCA 2001 + (110)
- SIGGRAPH 1979 + (110)
- IM 1991 + (110)
- SIGMETRICS 1994 + (110)
- HPSR 2002 + (110)
- MICRO 2000 + (110)
- ICWE 2015 + (110)
- ISSAC 2010 + (110)
- OSDI 1996 + (110)
- PODC 2009 + (110)
- JCDL 2010 + (110)
- ICFP 2000 + (110)
- ISI 2018 + (110)
- FC 2018 + (110)
- AIME 2015 + (110)
- CSCWD 2019 + (110)
- TEI 2019 + (110)
- OSDI 2000 + (111)
- HPDC 2018 + (111)
- ACNS 2019 + (111)
- SIGDIAL 2018 + (111)
- WINE 2019 + (111)
- ISCA 1996 + (112)
- IJCAR 2001 + (112)
- PLDI 1996 + (112)
- ESOP 2017 + (112)
- PRIMA 2019 + (112)
- ARES 2018 + (112)
- CONCUR 2020 + (112)
- PODS 2011 + (113)
- PODS 2010 + (113)
- ASPLOS 2010 + (113)
- EuroCrypt 1995 + (113)
- WebSci 2018 + (113)
- SEAA 2019 + (113)
- ESOP 2015 + (113)
- ASPLOS2000 + (114)
- CCGrid 2003 + (114)
- ASPLOS1989 + (114)
- HPSR 2006 + (114)
- ASPLOS 2005 + (114)
- ICS 1994 + (114)
- LICS 2011 + (114)
- CP 2018 + (114)
- ESOP 2018 + (114)
- IPCO 2019 + (114)
- IDA 2020 + (114)
- PODS 1993 + (115)
- IJCAR 2012 + (115)
- CP 2017 + (115)
- LAK 2018 + (115)
- BPM 2019 + (115)
- MMSys 2018 + (115)
- QoMEX 2023 + (115)
- SIGCOMM 1988 + (116)
- ICDT 1995 + (116)
- PODS 1999 + (116)
- HPSR 2003 + (116)
- IEEE Cluster 2002 + (116)
- ICS 1996 + (116)
- LICS 2008 + (116)
- FPGA 2018 + (116)
- DCOSS 2008 + (116)
- PODS 1994 + (117)
- HPCA 1999 + (117)
- EuroCrypt 1993 + (117)
- OOPSLA 2008 + (117)
- PODC 1996 + (117)
- PODC 2000 + (117)
- JCDL 2008 + (117)
- CNSM 2018 + (117)
- CAV 1998 + (117)
- IEEE Visualization 1998 + (118)
- PODS 1997 + (118)
- SIGGRAPH 1984 + (118)
- USENIX 2005 + (118)
- PODC 2001 + (118)
- ISSTA 2017 + (118)
- CANS 2020 + (118)
- QoMEX 2013 + (118)
- MDM 2009 + (119)
- ISCC 1999 + (119)
- ICDT 1997 + (119)
- PODS 1998 + (119)
- PODS 2000 + (119)
- JCDL 2007 + (119)
- ISMAR 2018 + (119)
- EKAW 2006 + (119)
- WINE 2018 + (119)
- ER 1995 + (120)
- IWQoS 1999 + (120)