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
- IPCO 2016 + (33)
- IPCO 2013 + (33)
- ASSETS 2017 + (33)
- CAiSE 2020 + (33)
- CAV 1998 + (33)
- CAV 2001 + (33)
- CAV 2007 + (33)
- CAV 2008 + (33)
- SIGCOMM 1983 + (34)
- IEEE Cluster 2000 + (34)
- ASE 2008 + (34)
- ISCA 1990 + (34)
- ISCA 1994 + (34)
- IMC 2006 + (34)
- MMNS 2005 + (34)
- CRYPTO 2001 + (34)
- CRYPTO 2003 + (34)
- CRYPTO 2006 + (34)
- EuroCrypt 1996 + (34)
- EuroCrypt 1997 + (34)
- CADE 1998 + (34)
- LICS 2003 + (34)
- PLDI 2008 + (34)
- PODC 2011 + (34)
- POPL 1996 + (34)
- ICS 2014 + (34)
- ACNS 2017 + (34)
- DIS 2006 + (34)
- SYMPOSIUM ISWC 2019 + (34)
- ISSRE 2017 + (34)
- CPM 2015 + (34)
- POPL 2007 + (36)
- POPL 2009 + (36)
- QoMEX 2011 + (36)
- SIGMETRICS 2008 + (36)
- SIGMOD 1995 + (36)
- TEI 2019 + (36)
- UMAP 2018 + (36)
- VL/HCC 2019 + (36)
- WINE 2018 + (36)
- WINE 2019 + (36)
- WebSci 2016 + (36)
- WoWMoM 2023 + (36)
- IFIP SEC 2017 + (38)
- ACIVS 2017 + (38)
- ALT 2020 + (38)
- CoopIS 2019 + (38)
- LION 2019 + (38)
- CCC 2020 + (38)
- ACM GIS 2009 + (38)
- ISWC 2020 + (38)
- MobiCom 2015 + (38)
- MobiSys 2022 + (38)
- EuroSys 2021 + (38)
- EuroSys 2016 + (38)
- SIGMOD 1993 + (39)
- ER 2001 + (39)
- ISCA 1992 + (39)
- CCGrid 2003 + (39)
- IMC 2004 + (39)
- MSWiM 2006 + (39)
- IMC 2002 + (39)