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

• AAAI 2010  + (26.9)
• LICS 1996  + (26.9)
• PLDI 2019  + (26.9)
• POPL 1987  + (26.9)
• SAC 2010  + (26.9)
• AINA 2013  + (27.0)
• AINA 2015  + (27.0)
• CSCW 2014  + (27.0)
• CAV 2015  + (27.0)
• EuroCrypt 1996  + (27.0)
• EuroCrypt 2002  + (27.0)
• ICS 2000  + (27.0)
• OPODIS 2012  + (27.0)
• RE 2019  + (27.0)
• AVI 2016  + (27.1)
• CAV 2020  + (27.1)
• CHI 1989  + (27.1)
• ICSM 2010  + (27.1)
• ISCA 1989  + (27.1)
• Persuasive 2017  + (27.1)
• SANER 2020  + (27.1)
• SEMANTiCS 2014  + (27.1)
• OPODIS 2011  + (27.1)
• FSE 2016  + (27.1)
• AAAI 2007  + (27.2)
• COLT 2018  + (27.2)
• IEA/AIE 2019  + (27.2)
• SYMPOSIUM ISWC 2019  + (27.2)

• AAAI 1999  + (27.3)
• AAMAS 2017  + (27.3)
• EuroCrypt 1998  + (27.3)
• Eurographics 2005  + (27.3)
• ICML 2005  + (27.3)
• IM 2007  + (27.3)
• ISPA 2015  + (27.3)

• DEXA 2012  + (27.4)
• FOCS 2015  + (27.4)
• OOPSLA 2010  + (27.4)
• PODC 2000  + (27.4)
• TACAS 2015  + (27.4)
• IEEE Visualization 2004  + (27.5)
• CCGrid 2004  + (27.5)
• IM 2003  + (27.5)
• ICNP 2000  + (27.5)
• KR 2008  + (27.5)
• FASE 2017  + (27.5)
• ICSE 2018  + (27.5)
• IPSN 2019  + (27.5)
• JCDL 2012  + (27.5)
• ICNP 1999  + (27.5)
• POPL 2020  + (27.5)
• SEMANTiCS 2010  + (27.5)
• OPODIS 2005  + (27.5)
• PODS 1999  + (27.6)
• ISCA 1980  + (27.6)
• SIGCOMM 1988  + (27.6)
• WWW 1996  + (27.6)