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

• CAV 1992  + (75)
• HCOMP 2018  + (75)
• DSOM 2001  + (76)
• MMNS 2002  + (76)
• SSTD 2007  + (76)
• ICFP 2002  + (76)
• IFIP SEC 2019  + (76)
• DaWaK 2018  + (76)
• SSTD 2005  + (77)
• CADE 2009  + (77)
• ICFP 1998  + (77)
• JCDL 2017  + (77)
• SBAC-PAD 2016  + (77)
• REFSQ 2017  + (77)
• DocEng 2019  + (77)
• ICADL 2018  + (77)
• CAV 1995  + (77)
• CADE 2005  + (78)
• ICFP 1997  + (78)
• ACIVS 2020  + (78)
• ALT 2019  + (78)
• FCT 2011  + (78)
• MobiCom 1995  + (79)
• MICRO 1992  + (79)
• ESWC 2004  + (79)
• IJCAR 2016  + (79)
• K-CAP 2017  + (79)
• DocEng 2018  + (79)
• AOSD 2008  + (79)
• AOSD 2012  + (79)

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

• MSWiM 2002  + (81)
• ICNP 1997  + (81)
• ICFP 1999  + (81)
• TPDL 2018  + (81)
• ECOOP 2017  + (81)
• ISEC 2017  + (81)
• ISPASS 2017  + (81)
• ARES 2014  + (81)
• USENIX 2001  + (82)
• MobiHoc 2000  + (82)
• IPSN 2018  + (82)
• ATVA 2018  + (82)
• CSL 2020  + (82)
• CCS 1999  + (83)
• MMNS 1997  + (83)
• IJCAR 2014  + (83)
• CADE 2003  + (83)
• ISSAC 2011  + (83)
• ICFP 1996  + (83)
• CPM 2015  + (83)