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

• CADE 2011  + (80)
• CSMR 2010  + (80)
• PODS 2015  + (80)
• ICFP 2004  + (80)
• SEMANTiCS 2010  + (80)
• ICVIP 2018  + (80)
• Persuasive 2019  + (80)
• ARES 2011  + (80)
• QoMEX 2011  + (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)
• HCOMP 2017  + (83)

• CADE 2015  + (84)
• CAV 1993  + (84)
• CAV 1997  + (84)
• DLT 2018  + (84)
• ICDT 2005  + (84)
• ISSTA 2006  + (84)
• IWQoS 2000  + (84)
• MMNS 2004  + (84)
• PODS 1996  + (84)
• REFSQ 2020  + (84)
• SEMANTiCS 2017  + (84)

• CCS 1998  + (85)
• DSOM 2006  + (85)
• SEMANTiCS 2016  + (85)
• ACM GIS 2005  + (85)
• EuroCrypt 1990  + (85)
• CADE 1998  + (85)
• TPDL 2017  + (85)
• ICFP 2009  + (85)
• ICFP 2014  + (85)
• WebSci 2017  + (85)
• BuildSys 2019  + (85)
• Persuasive 2017  + (85)
• FOSSACS 2019  + (85)
• FOSSACS 2016  + (85)
• ARES 2016  + (85)
• ISCA 1978  + (86)
• DSOM 2003  + (86)
• IMC 2007  + (86)
• CSMR-WCRE 2014  + (86)
• IJCAR 2004  + (86)