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 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)
• ALT 2019  + (78)
• CADE 2005  + (78)
• ACIVS 2020  + (78)
• FCT 2011  + (78)
• ICFP 1997  + (78)
• TACAS 1998  + (78)
• AdHoc-Now 2014  + (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)

• ARES 2011  + (80)
• CADE 2011  + (80)
• CSL 2012  + (80)
• CSMR 2010  + (80)
• CSMR 2013  + (80)
• FASE 2015  + (80)
• ICFP 2004  + (80)
• ICIAR 2015  + (80)
• ICVIP 2018  + (80)
• ISCA 1976  + (80)
• PODS 2015  + (80)
• Persuasive 2019  + (80)
• SEMANTiCS 2010  + (80)

• ICNP 1997  + (81)
• MSWiM 2002  + (81)
• ARES 2014  + (81)
• ECOOP 2017  + (81)
• ICFP 1999  + (81)
• ISEC 2017  + (81)
• ISPASS 2017  + (81)
• TPDL 2018  + (81)
• FASE 2020  + (81)
• HAIS 2021  + (81)
• ANTS 2012  + (81)
• USENIX 2001  + (82)
• ATVA 2018  + (82)
• MobiHoc 2000  + (82)
• CSL 2020  + (82)
• IPSN 2018  + (82)
• CSL 2021  + (82)
• TACAS 1999  + (82)
• CADE 2003  + (83)