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
- DISC 1998 + (June 17, 1998)
- ICMI 1999 + (September 30, 1998)
- I3D 1999 + (December 14, 1998)
- DISC 1999 + (June 16, 1999)
- FASE 2000 + (December 13, 1999)
- ETAPS 2000 + (December 13, 1999)
- TACAS 2000 + (December 13, 1999)
- FOSSACS 2000 + (December 13, 1999)
- ADBIS 2000 + (May 5, 2000)
- DISC 2000 + (June 16, 2000)
- ETAPS 2001 + (December 15, 2000)
- TACAS 2001 + (December 15, 2000)
- FASE 2001 + (December 15, 2000)
- ESOP 2001 + (December 15, 2000)
- FOSSACS 2001 + (December 15, 2000)
- TARK 2001 + (April 14, 2001)
- CRYPTO 2001 + (April 25, 2001)
- WABI 2001 + (May 15, 2001)
- SFP 2001 + (May 18, 2001)
- DISC 2001 + (June 16, 2001)
- ALT 2001 + (July 1, 2001)
- TACAS 2002 + (December 14, 2001)
- ETAPS 2002 + (December 14, 2001)
- FASE 2002 + (December 14, 2001)
- ESOP 2002 + (December 14, 2001)
- FOSSACS 2002 + (December 14, 2001)
- CC 2002 + (December 14, 2001)
- SIGMOD 2002 + (January 22, 2002)
- CRYPTO 2002 + (April 19, 2002)
- ADBIS 2002 + (April 30, 2002)
- KI 2002 + (May 27, 2002)
- DISC 2002 + (June 24, 2002)
- MM 2002 + (July 7, 2002)
- ALT 2002 + (July 12, 2002)
- TACAS 2003 + (December 13, 2002)
- ETAPS 2003 + (December 13, 2002)
- FASE 2003 + (December 13, 2002)
- FOSSACS 2003 + (December 13, 2002)
- ESOP 2003 + (December 13, 2002)
- IEEE SMC-IT 2003 + (January 31, 2003)
- MEMOCODE 2003 + (March 15, 2003)
- HotOS 2003 + (March 17, 2003)
- IWLS 2003 + (April 4, 2003)
- CAIP 2003 + (April 25, 2003)
- CRYPTO 2003 + (April 28, 2003)
- CSL 2003 + (June 2, 2003)
- ATMOS 2003 + (June 20, 2003)
- ACNS 2003 + (June 28, 2003)
- ICFEM 2003 + (July 7, 2003)