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

• PODS 1995  + (May 22, 1995)
• SIGMOD 1995  + (May 22, 1995)
• ECIS 1995  + (June 1, 1995)
• CAV 1995  + (June 3, 1995)
• PLDI 1995  + (June 18, 1995)
• ICCV 1995  + (June 20, 1995)
• AIME 1995  + (June 25, 1995)
• LICS 1995  + (June 26, 1995)
• ICML 1995  + (July 9, 1995)
• ICPP 1995  + (August 14, 1995)
• IJCAI-95  + (August 20, 1995)
• PODC 1995  + (August 20, 1995)
• FCT 1995  + (August 22, 1995)
• CRYPTO 1995  + (August 27, 1995)
• DEXA 1995  + (September 4, 1995)
• VLDB 1995  + (September 11, 1995)
• ICIAP 1995  + (September 13, 1995)
• CSL 1995  + (September 22, 1995)
• ESEC 1995  + (September 25, 1995)
• ISSAC 1995  + (October 6, 1995)
• FSE 1995  + (October 10, 1995)
• OOPSLA 1995  + (October 15, 1995)
• FOCS 1995  + (October 23, 1995)
• TREC 1995  + (November 1, 1995)
• MUC-6  + (November 26, 1995)

• NIPS 1995  + (November 27, 1995)

• WWW Fall 1995  + (December 11, 1995)
• POPL 1996  + (January 21, 1996)
• NIPS 1996  + (February 12, 1996)
• SAC 1996  + (February 17, 1996)
• HPCA 1996  + (March 2, 1996)
• PODS 1996  + (March 6, 1996)
• CRYPTO 1996  + (March 11, 1996)
• CCS 1996  + (March 14, 1996)
• ICSE 1996  + (March 25, 1996)
• TACAS 1996  + (March 27, 1996)
• ISSAC 1996  + (April 7, 1996)
• CHI 1996  + (April 13, 1996)
• ESOP 1996  + (April 22, 1996)
• CC 1996  + (April 24, 1996)
• WWW 1996  + (May 6, 1996)
• KR 1996  + (May 11, 1996)
• EKAW 1996  + (May 14, 1996)
• PLDI 1996  + (May 21, 1996)
• PODC 1996  + (May 23, 1996)
• ICFP 1996  + (May 24, 1996)
• ICS 1996  + (May 25, 1996)
• SIGMOD 1996  + (June 4, 1996)
• OOPSLA 1996  + (June 10, 1996)
• ACISP 1996  + (June 24, 1996)
• DMS 1996  + (June 25, 1996)