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

• IDA 2016  + (75)
• IVA 2018  + (75)
• JIST 2018  + (75)
• LION 2020  + (75)
• PAM 2019  + (75)
• TPDL 2019  + (75)
• CSL 1996  + (75)
• ESOP 1990  + (75)
• GD 2020  + (75)
• DSOM 2001  + (76)
• MMNS 2002  + (76)
• DaWaK 2018  + (76)
• ICFP 2002  + (76)
• IFIP SEC 2019  + (76)
• SSTD 2007  + (76)
• CADE 2021  + (76)
• ESOP 2001  + (76)
• CADE 2009  + (77)
• CAV 1995  + (77)
• DocEng 2019  + (77)
• ICADL 2018  + (77)
• ICFP 1998  + (77)
• JCDL 2017  + (77)
• REFSQ 2017  + (77)
• SBAC-PAD 2016  + (77)
• SSTD 2005  + (77)
• CC 2016  + (77)
• CC 1994  + (77)

• ACIVS 2020  + (78)
• ALT 2019  + (78)
• AdHoc-Now 2014  + (78)
• CADE 2005  + (78)
• FCT 2011  + (78)
• ICFP 1997  + (78)
• TACAS 1998  + (78)

• AOSD 2008  + (79)
• MICRO 1992  + (79)
• AOSD 2012  + (79)
• MobiCom 1995  + (79)
• DocEng 2018  + (79)
• ESWC 2004  + (79)
• IJCAR 2016  + (79)
• K-CAP 2017  + (79)
• CANS 2018  + (79)
• ICADL 2020  + (79)
• ESOP 2021  + (79)
• ANTS 2006  + (79)
• ISCA 1976  + (80)
• CADE 2011  + (80)
• CSMR 2010  + (80)
• CSMR 2013  + (80)
• ICFP 2004  + (80)
• ARES 2011  + (80)
• ICVIP 2018  + (80)
• PODS 2015  + (80)
• Persuasive 2019  + (80)
• SEMANTiCS 2010  + (80)