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

• CSMR-WCRE 2014  + (31.4)
• CSMR 2009  + (31.4)
• POPL 1982  + (31.4)
• ICLR 2019  + (31.4)
• EKAW 2008  + (31.4)
• ETAPS 2019  + (31.4)
• TACAS 2019  + (31.4)
• ACIIDS 2018  + (31.4)
• SBAC-PAD 2017  + (31.5)
• HPCA 1999  + (31.6)
• ICFP 2002  + (31.6)
• ICWE 2018  + (31.6)
• ESOP 2018  + (31.6)
• FOSSACS 2020  + (31.6)
• COLT 2016  + (31.7)
• ICS 1999  + (31.7)
• DIS 2002  + (31.7)
• FOSSACS 2017  + (31.7)
• CAV 2008  + (31.7)
• IPDPS 2004  + (31.8)
• ICDCS 2001  + (31.8)
• ECCV 2018  + (31.8)
• CAV 1999  + (31.8)
• INFOCOM 1997  + (31.9)
• MICRO 1996  + (31.9)
• QoSA 2014  + (31.9)
• FOCS 2012  + (31.9)
• ICDT 2020  + (31.9)

• COLT 2017  + (32)
• DEXA 2015  + (32)
• DS-RT 2019  + (32)
• ICPP 2006  + (32)
• ICPP 2010  + (32)
• ISCA 2020  + (32)
• SOFSEM 2020  + (32)

• ICML 2001  + (32.1)
• ICML 2004  + (32.1)
• ICML 2003  + (32.1)
• LICS 1995  + (32.1)
• SAC 2007  + (32.1)
• KDD 2019  + (32.1)
• ICFP 1997  + (32.1)
• ESOP 2017  + (32.1)
• DAIS 2019  + (32.1)
• KSEM 2019  + (32.1)
• EPS 2018  + (32.1)
• ISCA 1983  + (32.2)
• CCS 1996  + (32.2)
• CCGrid 2008  + (32.3)
• CCGrid 2005  + (32.3)
• ER 1997  + (32.3)
• DSOM 2000  + (32.3)
• ICNP 1996  + (32.3)
• ICPP 2009  + (32.3)
• SEMANTiCS 2011  + (32.3)
• SafeComp 2019  + (32.3)
• ESWC 2005  + (32.4)