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

• ICSE 1995  + (155)
• SEAA 2018  + (155)
• TACAS 2020  + (155)
• OOPSLA 2007  + (156)
• ISCA 1998  + (156)
• CRYPTO 2001  + (156)
• EuroCrypt 2003  + (156)
• ICSM 2008  + (156)
• ODBASE 2019  + (156)
• CoopIS 2019  + (156)
• EuRAD 2018  + (156)
• PODS 2005  + (157)
• OOPSLA 2006  + (157)
• IMC 2004  + (157)
• ICNP 2001  + (157)
• ACNS 2015  + (157)
• SAC 1999  + (157)
• EDBT 2019  + (157)
• WebSci 2015  + (157)
• DEXA 2019  + (157)
• ACM-BCB 2019  + (157)
• ACNS 2005  + (158)
• MICRO 2004  + (158)
• ER 2006  + (158)
• ASPLOS 2008  + (158)
• PLDI 1997  + (158)
• ASSETS 2019  + (158)

• DEXA 2014  + (159)
• ISPA 2011  + (159)
• PODS 2008  + (159)
• QoMEX 2019  + (159)

• ECOOP 2007  + (160)
• MSWiM 2006  + (160)
• ECOOP 2006  + (160)
• CRYPTO 1997  + (160)
• POPL 2009  + (160)
• PERCOM 2008  + (160)
• ICS 2014  + (160)
• ICS 2015  + (160)
• DEXA 2018  + (160)
• DIS 2004  + (160)
• ARES 2009  + (160)
• IM 1999  + (161)
• MSWiM 2007  + (161)
• EuroCrypt 1998  + (161)
• HPCA 2008  + (161)
• ICS 2011  + (161)
• ICS 2012  + (161)
• LATIN 2018  + (161)
• CAADRIA 2018  + (161)
• FPGA 2019  + (161)
• SIGGRAPH 1988  + (161)
• CAV 2011  + (161)
• EuroSys 2022  + (161)