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

• LICS 2018  + (42.4)
• ICTAC 2017  + (42.5)
• IMX 2021  + (42.5)
• IEEE Visualization 1996  + (42.6)
• IJCAR 2018  + (42.6)
• ICRA 2009  + (42.8)
• IGARSS 2018  + (42.8)
• QoMEX 2019  + (42.8)
• MICRO 1994  + (42.9)
• MICRO 1993  + (42.9)
• ISCA 1977  + (42.9)
• CADE 2015  + (42.9)
• APLAS 2017  + (42.9)
• SEA 2018  + (42.9)
• DGO.2018  + (42.9)
• ICISC 2018  + (42.9)
• DMS 2013  + (43.0)
• PODC 2012  + (43.0)
• ICRA 2023  + (43.0)
• ICS 1996  + (43.1)
• APLAS 2018  + (43.1)
• SPIRE 2018  + (43.1)
• ICRA 2022  + (43.1)
• ICML 2000  + (43.3)
• FCT 2009  + (43.3)

• OPENSYM 2015  + (43.4)

• IPDPS 1999  + (43.5)
• VMCAI 2019  + (43.5)
• CADE 2013  + (43.7)
• CADE 2011  + (43.8)
• ProvSec 2018  + (43.8)
• FCT 2005  + (43.8)
• CP 2018  + (43.9)
• CSCL 2015  + (44.0)
• DMSVIVA 2018  + (44.0)
• DMS 2018  + (44.0)
• APLAS 2019  + (44.0)
• CAV 1993  + (44.0)
• ISC 2018  + (44.1)
• SEA 2017  + (44.1)
• QoMEX 2013  + (44.1)
• ISCA 1978  + (44.2)
• CCS 1994  + (44.3)
• IJCAR 2016  + (44.3)
• ISCA 1981  + (44.4)
• LICS 2016  + (44.5)
• COLT 2007  + (44.6)
• IJCAR 2014  + (44.6)
• IDA 2018  + (44.6)
• IDA 2015  + (44.6)
• ICASSP 2022  + (44.6)