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

• ESOP 1998  + (28.8)
• ESOP 2002  + (28.8)
• CHI 1995  + (28.9)
• CAV 2006  + (28.9)
• FOCS 2019  + (28.9)
• ICSC 2016  + (28.9)
• IPCO 2019  + (28.9)
• PODC 2002  + (28.9)
• AOSD 2010  + (29.0)
• ECML-PKDD 2017  + (29.0)
• GMP 2019  + (29.0)
• ICCV 2017  + (29.0)
• ICMT-1 2017  + (29.0)
• FOSSACS 2012  + (29.0)
• MSWiM 2001  + (29.1)
• CVPR 2018  + (29.1)
• ESWC 2019  + (29.1)
• FOCS 2011  + (29.1)
• ICCV 1988  + (29.1)
• ICPP 2018  + (29.1)
• JCDL 2010  + (29.1)
• SAC 2009  + (29.1)
• FOSSACS 2010  + (29.1)
• ICDT 1999  + (29.2)
• IPDPS 2003  + (29.2)
• ISCA 1986  + (29.2)
• CARDIS 2017  + (29.2)
• ESOP 2015  + (29.2)
• EuroCrypt 1995  + (29.2)
• FOIS 2018  + (29.2)
• TACAS 2018  + (29.2)

• AINA 2016  + (29.3)
• ARES 2015  + (29.3)
• CAV 2014  + (29.3)
• HiPC 2003  + (29.3)
• ICALP 2018  + (29.3)
• ICC 2004  + (29.3)
• IEEE Cluster 2003  + (29.3)
• LICS 2007  + (29.3)
• OOPSLA 2018  + (29.3)
• SEFM 2018  + (29.3)
• TCC 2019  + (29.3)
• USENIX 2001  + (29.3)

• IMC 2003  + (29.4)
• AAAI 2013  + (29.4)
• EuroCrypt 2015  + (29.4)
• Euro-Par 2018  + (29.4)
• PKAW 2018  + (29.4)
• PACLIC 32  + (29.4)
• OPODIS 2004  + (29.4)
• OPODIS 2008  + (29.4)
• FOSSACS 2009  + (29.4)
• AIED 2015  + (29.4)
• MMNS 2006  + (29.5)
• COLT 2012  + (29.5)
• HCII 2019  + (29.5)
• ISPASS 2019  + (29.5)
• IWSEC 2019  + (29.5)
• JCDL 2019  + (29.5)
• JCDL 2013  + (29.5)
• ASE 1997  + (29.6)
• LCN 2004  + (29.6)