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
- LICS 2002 + (26.7)
- PLDI 1995 + (26.7)
- AAAI 2015 + (26.7)
- EDOC 2019 + (26.7)
- ISC 2019 + (26.7)
- PAM 2019 + (26.7)
- SANER 2018 + (26.7)
- CAV 2009 + (26.7)
- CHI 2011 + (26.8)
- LICS 2010 + (26.8)
- PODC 2016 + (26.8)
- PODS 2009 + (26.8)
- ESWC 2018 + (26.8)
- ICDE 2019 + (26.8)
- IPSN 2018 + (26.8)
- ACM-BCB 2019 + (26.8)
- HiPC 2001 + (26.9)
- CRYPTO 2013 + (26.9)
- LICS 1996 + (26.9)
- POPL 1987 + (26.9)
- SAC 2010 + (26.9)
- FOCS 2018 + (26.9)
- ICML 2009 + (26.9)
- PLDI 2019 + (26.9)
- ACMMM 2019 + (26.9)
- AAAI 2010 + (26.9)
- AOSD 2013 + (26.9)
- WoWMoM 2017 + (26.9)
- AINA 2013 + (27)
- AINA 2015 + (27)
- CAV 2015 + (27)
- CSCW 2014 + (27)
- EuroCrypt 1996 + (27)
- EuroCrypt 2002 + (27)
- ICS 2000 + (27)
- ISCA 1989 + (27.1)
- CHI 1989 + (27.1)
- SEMANTiCS 2014 + (27.1)
- ICSM 2010 + (27.1)
- Persuasive 2017 + (27.1)
- AVI 2016 + (27.1)
- SANER 2020 + (27.1)
- CAV 2020 + (27.1)
- AAAI 2007 + (27.2)
- COLT 2018 + (27.2)
- IEA/AIE 2019 + (27.2)
- SYMPOSIUM ISWC 2019 + (27.2)
- Eurographics 2005 + (27.3)
- IM 2007 + (27.3)
- AAAI 1999 + (27.3)
- ICML 2005 + (27.3)
- EuroCrypt 1998 + (27.3)
- ISPA 2015 + (27.3)
- AAMAS 2017 + (27.3)
- HCOMP 2020 + (27.3)
- FOCS 2015 + (27.4)
- OOPSLA 2010 + (27.4)
