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

• ISSAC 2000  + (June 8, 2000)
• PLDI 2000  + (June 18, 2000)
• PADS 2009  + (June 22, 2000)
• DSN 2000  + (June 25, 2000)
• LICS 2000  + (June 26, 2000)
• COLT 2000  + (June 28, 2000)
• ICML 2000  + (June 29, 2000)
• CAV 2000  + (July 15, 2000)
• PODC 2000  + (July 16, 2000)
• CADE 2000  + (July 17, 2000)
• FOGA 2000  + (July 21, 2000)
• AAAI 2000  + (July 30, 2000)
• HPCA 2000  + (August 1, 2000)
• ICS 2000  + (August 5, 2000)
• MobiCom 2000  + (August 6, 2000)
• DIS 2000  + (August 17, 2000)
• CRYPTO 2000  + (August 20, 2000)
• ICPP 2000  + (August 21, 2000)
• DEXA 2000  + (September 4, 2000)
• VLDB 2000  + (September 10, 2000)
• ASE 2000  + (September 11, 2000)
• PKDD 2000  + (September 13, 2000)
• ECDL 2000  + (September 18, 2000)
• ICFP 2000  + (September 18, 2000)
• EKAW 2000  + (October 2, 2000)

• OOPSLA 2000  + (October 15, 2000)

• OSDI 2000  + (October 23, 2000)
• FSE 2000  + (November 2000)
• KR 2000  + (November 4, 2000)
• CIKM 2000  + (November 6, 2000)
• TREC 2000  + (November 13, 2000)
• MobiHoc 2000  + (November 20, 2000)
• GLOBECOM 2000  + (November 27, 2000)
• IEEE Cluster 2000  + (November 28, 2000)
• CSCW 2000  + (December 2, 2000)
• FOCS 2000  + (December 11, 2000)
• SSTD 2001  + (2001)
• SIGMOD 2001  + (2001)
• ACMMM 2001  + (2001)
• ICDT 2001  + (January 4, 2001)
• DSN 2001  + (January 7, 2001)
• POPL 2001  + (January 17, 2001)
• HPCA 2001  + (January 20, 2001)
• BTU 2001  + (March 6, 2001)
• ICPP 2001  + (March 9, 2001)
• ICFP 2001  + (March 9, 2001)
• SAC 2001  + (March 11, 2001)
• NIPS 2001  + (March 12, 2001)
• CSCL 2001  + (March 22, 2001)
• CHI 2001  + (March 31, 2001)
• ECDL 2001  + (April 9, 2001)