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

• 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)

• ASPLOS 2003  + (109)
• ASPLOS1996  + (109)
• ECOOP 2000  + (109)
• ICNP 2000  + (109)
• IMC 2003  + (109)
• ISSRE 2017  + (109)
• PODS 2002  + (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)