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
- TEI 2018 + (130)
- HAIS 2017 + (130)
- HPCA 1996 + (131)
- MICRO 1999 + (131)
- ICNP 1999 + (131)
- ACNS 2008 + (131)
- ISSAC 2004 + (131)
- PLDI 2003 + (131)
- ICSE 2018 + (131)
- LATIN 2016 + (131)
- DAS 2018 + (131)
- ECOOP 2004 + (132)
- SIGGRAPH 1981 + (132)
- CCS 2000 + (132)
- PODC 1995 + (132)
- ISSTA 2018 + (132)
- SOFSEM 2009 + (132)
- PACLIC 33 + (132)
- TEI 2020 + (132)
- HPDC 2005 + (133)
- COLT 2010 + (133)
- ICS 2001 + (133)
- LICS 2007 + (133)
- PODC 1994 + (133)
- ICFP 2013 + (133)
- ICSC 2018 + (133)
- ICSM 2010 + (133)
- ODBASE 2016 + (133)
- ICIAR 2017 + (133)
- ACIVS 2017 + (134)
- CAV 2007 + (134)
- DIS 2006 + (134)
- ESWC 2019 + (134)
- HAIS 2019 + (134)
- ISSRE 2019 + (134)
- MICRO 2003 + (134)
- MobiHoc 2002 + (134)
- ISCA 1999 + (135)
- ICS 1997 + (135)
- LICS 2002 + (135)
- PLDI 2005 + (135)
- POPL 1978 + (135)
- ICSME 2019 + (135)
- CAV 2009 + (135)
- SIGMETRICS 1998 + (136)
- SIGMETRICS 1989 + (136)
- PODS 2003 + (136)
- PLDI 1998 + (136)
- POPL 1999 + (136)
- ICMR 2018 + (136)
- FSE 2001 + (137)
- EuroCrypt 1994 + (137)
- LICS 1995 + (137)
- ISPA 2013 + (137)
- DEXA 2016 + (137)
- ACIVS 2016 + (137)
- ICER 2019 + (137)
- SecureComm 2016 + (137)