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
- SIGMOD 1985 + (1985)
- POPL 1985 + (January 14, 1985)
- PODS 1985 + (March 25, 1985)
- CHI 1985 + (April 14, 1985)
- PODC 1985 + (May 8, 1985)
- VLDB 1985 + (August 21, 1985)
- EuroCrypt 1985 + (September 4, 1985)
- FCT 1985 + (September 9, 1985)
- ICPP 1986 + (1986)
- OOPSLA 1986 + (1986)
- SIGMOD 1986 + (1986)
- POPL 1986 + (1986)
- EWSL 1986 + (February 3, 1986)
- PODS 1986 + (March 24, 1986)
- CHI 1986 + (April 13, 1986)
- EuroCrypt 1986 + (May 20, 1986)
- LICS 1986 + (June 16, 1986)
- CADE1986 + (July 27, 1986)
- AAAI 1986 + (August 11, 1986)
- VLDB 1986 + (August 25, 1986)
- PODC 1986 + (November 8, 1986)
- ICML 1987 + (1987)
- ICPP 1987 + (1987)
- NIPS 1987 + (1987)
- SIGMOD 1987 + (1987)
- POPL 1987 + (January 21, 1987)
- PODS 1987 + (March 23, 1987)
- EuroCrypt 1987 + (April 13, 1987)
- CHI 1987 + (May 4, 1987)
- EWSL 1987 + (May 13, 1987)
- LICS 1987 + (June 22, 1987)
- FCT 1987 + (June 22, 1987)
- PLDI 1987 + (June 24, 1987)
- AAAI 1987 + (July 13, 1987)
- ICS 1987 + (August 6, 1987)
- ICCV 1987 + (August 7, 1987)
- VLDB 1987 + (September 1, 1987)
- ASPLOS1987 + (October 5, 1987)
- PODC 1987 + (October 8, 1987)
- ICPP 1988 + (1988)
- NIPS 1988 + (1988)
- SIGMOD 1988 + (1988)
- PODS 1988 + (March 21, 1988)
- ISSAC 1988 + (April 7, 1988)
- ICS 1988 + (April 7, 1988)
- LICS 1988 + (May 7, 1988)
- ICCV 1988 + (May 12, 1988)
- CADE1988 + (May 23, 1988)
- EuroCrypt 1988 + (May 25, 1988)
- ICML 1988 + (June 12, 1988)
- CHI 1988 + (June 15, 1988)
- PLDI 1988 + (June 22, 1988)
- COLT 1988 + (August 3, 1988)
- PODC 1988 + (August 15, 1988)
- AAAI 1988 + (August 21, 1988)
- VLDB 1988 + (August 29, 1988)
- OOPSLA 1988 + (September 25, 1988)
- OOPSLA 1987 + (September 26, 1988)
- POPL 1988 + (October 1, 1988)
- EWSL 1988 + (October 3, 1988)
- SSTD 1989 + (1989)
- ICPP 1989 + (1989)
- SIGMOD 1989 + (1989)
- SAC 1989 + (1989)
- OOPSLA 1989 + (January 10, 1989)
- PODS 1989 + (March 29, 1989)
- CHI 1989 + (April 30, 1989)
- LICS 1989 + (May 6, 1989)
- ICS 1989 + (May 6, 1989)
- KR 1989 + (May 15, 1989)
- CAV 1989 + (June 12, 1989)
- PLDI 1989 + (June 21, 1989)
- ICML 1989 + (June 26, 1989)
- COLT 1989 + (July 31, 1989)
- PODC 1989 + (August 14, 1989)
- ISSAC 1989 + (August 17, 1989)
- FCT 1989 + (August 21, 1989)
- VLDB 1989 + (August 22, 1989)
- EuroCrypt 1989 + (October 4, 1989)
- FOCS 1989 + (October 30, 1989)
- POPL 1989 + (November 1, 1989)
- NIPS 1989 + (November 27, 1989)
- EWSL 1989 + (December 4, 1989)
- ICPP 1990 + (1990)
- SIGMOD 1990 + (1990)
- POPL 1990 + (1990)
- SAC 1990 + (1990)
- PODS 1990 + (February 4, 1990)
- CHI 1990 + (April 1, 1990)
- LICS 1990 + (April 6, 1990)
- ICCV 1990 + (April 12, 1990)
- EuroCrypt 1990 + (May 21, 1990)
- COLT 1990 + (June 8, 1990)
- CAV 1990 + (June 18, 1990)
- PLDI 1990 + (June 20, 1990)
- ICML 1990 + (June 21, 1990)
- FOGA 1990 + (July 15, 1990)
- CADE1990 + (July 24, 1990)
- AAAI 1990 + (July 29, 1990)
- VLDB 1990 + (August 13, 1990)
- ISSAC 1990 + (August 20, 1990)
- PODC 1990 + (August 22, 1990)
- DEXA 1990 + (August 29, 1990)
- OOPSLA 1990 + (October 21, 1990)
- FOCS 1990 + (October 22, 1990)
- ICS 1990 + (November 6, 1990)
- NIPS 1990 + (November 26, 1990)
- SSTD 1991 + (1991)
- ICML 1991 + (1991)
- ICPP 1991 + (1991)
- SIGMOD 1991 + (1991)
- DEXA 1991 + (1991)
- SAC 1991 + (1991)
- FOCS 1991 + (January 10, 1991)
- POPL 1991 + (January 21, 1991)
- NIPS 1991 + (February 12, 1991)
- EWSL 1991 + (March 6, 1991)
- KR 1991 + (April 22, 1991)
- CHI 1991 + (April 28, 1991)
- COLT 1991 + (May 8, 1991)
- PODS 1991 + (May 29, 1991)
- OOPSLA 1991 + (June 10, 1991)
- PLDI 1991 + (June 26, 1991)
- CAV 1991 + (July 1, 1991)
- AAAI 1991 + (July 14, 1991)
- ISSAC 1991 + (July 15, 1991)
- LICS 1991 + (July 15, 1991)
- ICS 1991 + (July 17, 1991)
- EuroCrypt 1991 + (August 4, 1991)
- PODC 1991 + (August 19, 1991)
- VLDB 1991 + (September 3, 1991)
- FCT 1991 + (September 9, 1991)
- SIGMOD 1992 + (1992)
- DEXA 1992 + (1992)
- POPL 1992 + (January 19, 1992)
- PODS 1992 + (February 6, 1992)
- SAC 1992 + (March 1, 1992)
- CHI 1992 + (March 5, 1992)
- EKAW 1992 + (May 18, 1992)
- EuroCrypt 1992 + (May 24, 1992)
- ICML 1992 + (June 1, 1992)
- CADE1992 + (June 15, 1992)
- PLDI 1992 + (June 17, 1992)
- LICS 1992 + (June 22, 1992)
- CAV 1992 + (June 29, 1992)
- AAAI 1992 + (July 12, 1992)
- ICS 1992 + (July 19, 1992)
- FOGA 1992 + (July 26, 1992)
- COLT 1992 + (July 27, 1992)
- ISSAC 1992 + (July 27, 1992)
- ICPP 1992 + (August 17, 1992)
- VLDB 1992 + (August 23, 1992)
- PODC 1992 + (October 8, 1992)
- OOPSLA 1992 + (October 18, 1992)
- FOCS 1992 + (October 24, 1992)
- KR 1992 + (October 25, 1992)
- TREC 1992 + (November 4, 1992)
- CIKM 1992 + (November 8, 1992)
- NIPS 1992 + (November 30, 1992)
- SSTD 1993 + (1993)
- ACMMM 1993 + (1993)
- NIPS 1993 + (1993)
- POPL 1993 + (1993)
- RE 1993 + (January 4, 1993)
- SAC 1993 + (February 14, 1993)
- CCS 1993 + (March 11, 1993)
- FOCS 1993 + (March 11, 1993)
- BTU 1993 + (March 15, 1993)
- ECML 1993 + (April 5, 1993)
- CHI 1993 + (April 24, 1993)
- EuroCrypt 1993 + (May 23, 1993)
- PODS 1993 + (May 25, 1993)
- SIGMOD 1993 + (May 26, 1993)
- ISSAC 1993 + (June 7, 1993)
- LICS 1993 + (June 19, 1993)
- PLDI 1993 + (June 23, 1993)
- ICML 1993 + (June 27, 1993)
- CAV 1993 + (June 28, 1993)
- AAAI 1993 + (July 11, 1993)
- ICS 1993 + (July 20, 1993)
- COLT 1993 + (July 26, 1993)
- PODC 1993 + (August 15, 1993)
- ICPP 1993 + (August 16, 1993)
- FCT 1993 + (August 23, 1993)
- VLDB 1993 + (August 24, 1993)
- TREC 1993 + (August 31, 1993)
- EKAW 1993 + (September 6, 1993)
- DEXA 1993 + (September 6, 1993)
- OOPSLA 1993 + (September 26, 1993)
- CIKM 1993 + (November 1, 1993)
- ICCV 1993 + (November 5, 1993)
- ER 1994 + (1994)
- ACMMM 1994 + (1994)
- NIPS 1994 + (1994)
- POPL 1994 + (January 17, 1994)
- EDBT 1994 + (February 2, 1994)
- CCS 1994 + (February 11, 1994)
- DMS 1994 + (February 26, 1994)
- SAC 1994 + (March 6, 1994)
- ECML 1994 + (April 6, 1994)
- LICS 1994 + (April 7, 1994)
- CHI 1994 + (April 24, 1994)
- SIGMOD 1994 + (May 24, 1994)
- KR 1994 + (May 24, 1994)
- PODS 1994 + (May 24, 1994)
- PLDI 1994 + (June 20, 1994)
- CAV 1994 + (June 21, 1994)
- CADE1994 + (June 26, 1994)
- ICML 1994 + (July 10, 1994)
- ISSAC 1994 + (July 20, 1994)
- FOGA 1994 + (July 31, 1994)
- AAAI 1994 + (July 31, 1994)
- PODC 1994 + (August 14, 1994)
- ICPP 1994 + (August 15, 1994)
- EuroCrypt 1994 + (September 5, 1994)
- DEXA 1994 + (September 7, 1994)
- VLDB 1994 + (September 12, 1994)
- EKAW 1994 + (September 26, 1994)
- CSCW 1994 + (October 22, 1994)
- OOPSLA 1994 + (October 23, 1994)
- TREC 1994 + (November 2, 1994)
- ICS 1994 + (November 7, 1994)
- OSDI 1994 + (November 14, 1994)
- FOCS 1994 + (November 20, 1994)
- CIKM 1994 + (November 29, 1994)
- COLT 1994 + (December 7, 1994)
- SSTD 1995 + (1995)
- ACMMM 1995 + (1995)
- DIS 1995 + (1995)
- ICDT 1995 + (January 11, 1995)
- HPCA 1995 + (January 22, 1995)
- POPL 1995 + (January 22, 1995)
- SAC 1995 + (February 26, 1995)
- ICS 1995 + (March 7, 1995)
- BTU 1995 + (March 13, 1995)
- DMS 1995 + (March 31, 1995)
- INFOCOM 1995 + (April 2, 1995)
- ICSE 1995 + (April 23, 1995)
- ECML 1995 + (April 25, 1995)
- COLT 1995 + (May 7, 1995)
- EuroCrypt 1995 + (May 21, 1995)
- SIGMOD 1995 + (May 22, 1995)
- PODS 1995 + (May 22, 1995)
- CAV 1995 + (June 3, 1995)
- PLDI 1995 + (June 18, 1995)
- ICCV 1995 + (June 20, 1995)
- LICS 1995 + (June 26, 1995)
- CHI 1995 + (July 5, 1995)
- ICML 1995 + (July 9, 1995)
- ICPP 1995 + (August 14, 1995)
- PODC 1995 + (August 20, 1995)
- IJCAI-95 + (August 20, 1995)
- FCT 1995 + (August 22, 1995)
- CRYPTO 1995 + (August 27, 1995)
- DEXA 1995 + (September 4, 1995)
- VLDB 1995 + (September 11, 1995)
- FSE 1995 + (October 1995)
- ISSAC 1995 + (October 6, 1995)
- OOPSLA 1995 + (October 15, 1995)
- FOCS 1995 + (October 23, 1995)
- TREC 1995 + (November 1, 1995)
- MUC-6 + (November 1995)
- MobiCom 1995 + (November 13, 1995)
- NIPS 1995 + (November 27, 1995)
- CIKM 1995 + (November 29, 1995)
- ACMMM 1996 + (1996)
- 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)
- FOGA 1996 + (March 8, 1996)
- CRYPTO 1996 + (March 11, 1996)
- CCS 1996 + (March 14, 1996)
- INFOCOM 1996 + (March 24, 1996)
- ICSE 1996 + (March 25, 1996)
- ISSAC 1996 + (April 7, 1996)
- CHI 1996 + (April 13, 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)
- DMS 1996 + (June 25, 1996)
- COLT 1996 + (June 28, 1996)
- ICML 1996 + (July 3, 1996)
- LICS 1996 + (July 27, 1996)
- CADE1996 + (July 30, 1996)
- CAV 1996 + (July 31, 1996)
- AAAI 1996 + (August 4, 1996)
- VLDB 1996 + (September 3, 1996)
- DEXA 1996 + (September 9, 1996)
- FOCS 1996 + (October 14, 1996)
- PAST 1996 + (October 15, 1996)
- OSDI 1996 + (October 28, 1996)
- MobiCom 1996 + (November 10, 1996)
- CIKM 1996 + (November 12, 1996)
- TREC 1996 + (November 20, 1996)
- EuroCrypt 1996 + (December 5, 1996)
- ICPP 1996 + (December 8, 1996)
- SSTD 1997 + (1997)
- ACMMM 1997 + (1997)
- NIPS 1997 + (1997)
- DIS 1997 + (1997)
- HPCA 1997 + (January 2, 1997)
- ICDT 1997 + (January 8, 1997)
- ECDL 1997 + (January 9, 1997)
- POPL 1997 + (January 15, 1997)
- SAC 1997 + (February 28, 1997)
- BTU 1997 + (March 11, 1997)
- CHI 1997 + (March 22, 1997)
- WWW 1997 + (April 7, 1997)
- INFOCOM 1997 + (April 7, 1997)
- ECML 1997 + (April 23, 1997)
- OOPSLA 1997 + (May 10, 1997)
- SIGMOD 1997 + (May 13, 1997)
- ICSE 1997 + (May 17, 1997)
- COLT 1997 + (June 7, 1997)
- PLDI 1997 + (June 15, 1997)
- CAV 1997 + (June 22, 1997)
- PKDD 1997 + (June 24, 1997)
- LICS 1997 + (June 29, 1997)
- ICS 1997 + (July 7, 1997)
- ICML 1997 + (July 8, 1997)
- CADE1997 + (July 13, 1997)
- ISSAC 1997 + (July 21, 1997)
- DMS 1997 + (July 23, 1997)
- AAAI 1997 + (July 27, 1997)
- CRYPTO 1997 + (August 17, 1997)
- PODC 1997 + (August 21, 1997)
- IJCAI-97 + (August 23, 1997)
- VLDB 1997 + (August 25, 1997)
- DEXA 1997 + (September 1, 1997)
- FCT 1997 + (September 1, 1997)
- ICFP 1997 + (September 6, 1997)
- MobiCom 1997 + (September 26, 1997)
- CSCL 1997 + (October 12, 1997)
- EKAW 1997 + (October 15, 1997)
- FOCS 1997 + (October 19, 1997)
- ASE 1997 + (November 1, 1997)
- EuroCrypt 1997 + (November 5, 1997)
- ICPP 1997 + (November 8, 1997)
- CIKM 1997 + (November 10, 1997)
- TREC 1997 + (November 19, 1997)
- Annual IEEE/ACM International Symposium on Microarchitecture 1997 + (December 1, 1997)
- MICRO 1997 + (December 1, 1997)
- PODS 1997 + (December 5, 1997)
- ACMMM 1998 + (1998)
- PODS 1998 + (January 6, 1998)
- POPL 1998 + (January 19, 1998)
- HPCA 1998 + (January 31, 1998)
- KR 1998 + (February 6, 1998)
- CCS 1998 + (February 11, 1998)
- SAC 1998 + (February 27, 1998)
- INFOCOM 1998 + (March 29, 1998)
- ICCV 1998 + (April 1, 1998)
- WWW 1998 + (April 14, 1998)
- CHI 1998 + (April 18, 1998)
- ICSE 1998 + (April 19, 1998)
- ECML 1998 + (April 21, 1998)
- CADE 1998 + (May 7, 1998)
- LREC 1998 + (May 28, 1998)
- EuroCrypt 1998 + (May 31, 1998)
- SIGMOD 1998 + (June 2, 1998)
- PLDI 1998 + (June 17, 1998)
- LICS 1998 + (June 21, 1998)
- PODC 1998 + (June 28, 1998)
- CAV 1998 + (June 28, 1998)
- ICS 1998 + (July 13, 1998)
- DMS 1998 + (July 23, 1998)
- COLT 1998 + (July 24, 1998)
- ICML 1998 + (July 24, 1998)
- AAAI 1998 + (July 26, 1998)
- FOCS 1998 + (August 11, 1998)
- ISSAC 1998 + (August 13, 1998)
- CRYPTO 1998 + (August 23, 1998)
- DEXA 1998 + (August 24, 1998)
- VLDB 1998 + (August 24, 1998)
- ECDL 1998 + (September 21, 1998)
- PKDD 1998 + (September 23, 1998)
- FOGA 1998 + (September 24, 1998)
- ICFP 1998 + (September 26, 1998)
- ICPP 1998 + (October 8, 1998)
- ASE 1998 + (October 13, 1998)
- OOPSLA 1998 + (October 18, 1998)
- MobiCom 1998 + (October 25, 1998)
- CIKM 1998 + (November 2, 1998)
- TREC 1998 + (November 9, 1998)
- CSCW 1998 + (November 14, 1998)
- NIPS 1998 + (November 30, 1998)
- SSTD 1999 + (1999)
- ACMMM 1999 + (1999)
- PLDI 1999 + (January 5, 1999)
- ICDT 1999 + (January 10, 1999)
- CCS 1999 + (January 11, 1999)
- OOPSLA 1999 + (January 11, 1999)
- POPL 1999 + (January 20, 1999)
- EuroCrypt 1999 + (February 5, 1999)
- LICS 1999 + (February 7, 1999)
- OSDI 1999 + (February 22, 1999)
- SAC 1999 + (February 28, 1999)
- PODC 1999 + (March 5, 1999)
- BTU 1999 + (March 9, 1999)
- INFOCOM 1999 + (March 21, 1999)
- WWW 1999 + (May 11, 1999)
- CHI 1999 + (May 15, 1999)
- ICSE 1999 + (May 16, 1999)
- EKAW 1999 + (May 26, 1999)
- PODS 1999 + (May 31, 1999)
- SIGMOD 1999 + (June 1, 1999)
- RE 1999 + (June 7, 1999)
- ICS 1999 + (June 20, 1999)
- ICML 1999 + (June 27, 1999)
- CAV 1999 + (July 6, 1999)
- COLT 1999 + (July 7, 1999)
- CADE1999 + (July 7, 1999)
- AAAI 1999 + (July 18, 1999)
- DMS 1999 + (July 26, 1999)
- ISSAC 1999 + (July 28, 1999)
- IJCAI-99 + (July 31, 1999)
- CRYPTO 1999 + (August 15, 1999)
- MobiCom 1999 + (August 15, 1999)
- DEXA 1999 + (August 30, 1999)
- FCT 1999 + (August 30, 1999)
- HPCA 1999 + (September 1, 1999)
- VLDB 1999 + (September 7, 1999)
- PKDD 1999 + (September 15, 1999)
- ICCV 1999 + (September 20, 1999)
- ICPP 1999 + (September 21, 1999)
- ECDL 1999 + (September 22, 1999)
- ICFP 1999 + (September 27, 1999)
- ASE 1999 + (October 12, 1999)
- FOCS 1999 + (October 17, 1999)
- CIKM 1999 + (November 2, 1999)
- TREC 1999 + (November 17, 1999)
- NIPS 1999 + (November 29, 1999)
- CSCL 1999 + (December 12, 1999)
- RMITUP 2009 + (January 1, 2000)
- Structural Dynamics & Mat. 2009 + (January 1, 2000)
- ACMMM 2000 + (2000)
- NIPS 2000 + (2000)
- CHI 2000 + (January 4, 2000)
- CCS 2000 + (January 11, 2000)
- POPL 2000 + (January 19, 2000)
- SAC 2000 + (March 19, 2000)
- INFOCOM 2000 + (March 26, 2000)
- ICSE 2000 + (April 6, 2000)
- ISMAR 2000 + (May 10, 2000)
- EuroCrypt 2000 + (May 14, 2000)
- WWW 2000 + (May 15, 2000)
- SIGMOD 2000 + (May 15, 2000)
- PODS 2000 + (May 15, 2000)
- PAST 2000 + (May 21, 2000)
- ECML 2000 + (May 30, 2000)
- LREC 2000 + (May 31, 2000)
- 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)