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

• KR 1994  + (May 27, 1994)
• CAV 1994  + (June 23, 1994)
• PLDI 1994  + (June 24, 1994)
• LICS 1994  + (July 7, 1994)
• ICML 1994  + (July 13, 1994)
• COLT 1994  + (July 15, 1994)
• ICS 1994  + (July 15, 1994)
• ISSAC 1994  + (July 22, 1994)
• PODC 1994  + (August 18, 1994)
• ICPP 1994  + (August 19, 1994)
• DEXA 1994  + (September 9, 1994)
• VLDB 1994  + (September 15, 1994)
• EKAW 1994  + (September 29, 1994)
• CSCW 1994  + (October 26, 1994)
• OOPSLA 1994  + (October 27, 1994)
• TREC 1994  + (November 4, 1994)
• OSDI 1994  + (November 17, 1994)
• FOCS 1994  + (November 22, 1994)
• CIKM 1994  + (December 2, 1994)
• EuroCrypt 1994  + (December 5, 1994)
• DIS 1995  + (1995)
• ICDT 1995  + (January 13, 1995)
• HPCA 1995  + (January 25, 1995)
• POPL 1995  + (January 25, 1995)
• NIPS 1995  + (February 12, 1995)

• SAC 1995  + (February 28, 1995)

• BTU 1995  + (March 15, 1995)
• DMS 1995  + (April 2, 1995)
• INFOCOM 1995  + (April 6, 1995)
• ECML 1995  + (April 27, 1995)
• ICSE 1995  + (April 30, 1995)
• SIGMOD 1995  + (May 25, 1995)
• EuroCrypt 1995  + (May 25, 1995)
• PODS 1995  + (May 25, 1995)
• CAV 1995  + (June 5, 1995)
• PLDI 1995  + (June 21, 1995)
• LICS 1995  + (June 29, 1995)
• ICCV 1995  + (June 30, 1995)
• ICS 1995  + (July 7, 1995)
• ICML 1995  + (July 12, 1995)
• COLT 1995  + (August 7, 1995)
• ICPP 1995  + (August 18, 1995)
• PODC 1995  + (August 23, 1995)
• IJCAI-95  + (August 25, 1995)
• FCT 1995  + (August 25, 1995)
• CRYPTO 1995  + (August 31, 1995)
• DEXA 1995  + (September 8, 1995)
• VLDB 1995  + (September 15, 1995)
• FSE 1995  + (October 1995)
• OOPSLA 1995  + (October 19, 1995)
• FOCS 1995  + (October 25, 1995)