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
- ICFP 2003 + (95)
- IFM 2019 + (95)
- CGO 2020 + (95)
- ALT 2018 + (95)
- ECOOP 2002 + (96)
- ICNP 1996 + (96)
- WICSA 2012 + (96)
- ISSAC 2012 + (96)
- ISSAC 2014 + (96)
- OSDI 1999 + (96)
- BIS 2018 + (96)
- ICNP 2018 + (96)
- ISSRE 2018 + (96)
- AVI 2016 + (96)
- DESRIST 2018 + (96)
- ADMA 2020 + (96)
- ISSAC 2006 + (97)
- PODS 2009 + (97)
- PODS 2013 + (97)
- SEMANTiCS 2015 + (97)
- ISC 2017 + (97)
- DMS 2009 + (98)
- ICWE 2012 + (98)
- IJCAR 2008 + (98)
- ISSAC 2000 + (98)
- ISSAC 2007 + (98)
- COLT 2013 + (98)
- IPCO 2013 + (98)
- FOSSACS 2020 + (98)
- ACM GIS 2006 + (99)
- CIKM 1996 + (99)
- FASE 2005 + (99)
- ICFP 2008 + (99)
- ICFP 2010 + (99)
- IFM 2016 + (99)
- IPTPS 2002 + (99)
- ISSAC 2008 + (99)
- PODS 2001 + (99)
- ASE 2000 + (100)
- ISSTA 2008 + (100)
- IM 1993 + (100)
- MSWiM 2003 + (100)
- LCN 2001 + (100)
- DMS 2014 + (100)
- DMS 2012 + (100)
- DMS 2008 + (100)
- DMS 2006 + (100)
- DMS 2005 + (100)
- DMS 2004 + (100)
- DMS 2007 + (100)
- DMS 2003 + (100)
- DMS 2013 + (100)
- ICWE 2014 + (100)
- POPL 1973 + (100)
- POPL 1975 + (100)
- HPDC 2017 + (100)
- DS-RT 2019 + (100)
- ARES 2012 + (100)
- Cluster 2009 + (100)