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

TACAS 2002 + (October 19, 2001)
CC 2002 + (October 19, 2001)
CRYPTO 2002 + (February 11, 2002)
ISWC 2002 + (February 15, 2002)
CSL 2002 + (April 7, 2002)
TACAS 2003 + (October 18, 2002)
CRYPTO 2003 + (February 10, 2003)
FSE 2003 + (March 14, 2003)
ISWC 2003 + (May 2, 2003)
CAIP 2003 + (March 3, 2003)
CSL 2003 + (June 18, 2003)
OPODIS 2003 + (September 2, 2003)
TACAS 2004 + (October 17, 2003)
CRYPTO 2004 + (February 10, 2004)
ICIAR 2004 + (April 27, 2004)
ISWC 2004 + (April 30, 2004)
TACAS 2005 + (October 15, 2004)
FASE 2005 + (October 15, 2004)
ESOP 2005 + (October 15, 2004)
CC 2005 + (October 15, 2004)
ETAPS 2005 + (October 15, 2004)
AIED 2005 + (February 11, 2005)
CRYPTO 2005 + (February 14, 2005)
ICIAR 2005 + (February 22, 2005)
FCT 2005 + (March 7, 2005)
ISWC 2005 + (April 30, 2005)
OPODIS 2005 + (August 17, 2005)

CC 2006 + (October 14, 2005)
ESOP 2006 + (October 14, 2005)
ETAPS 2006 + (October 14, 2005)
FASE 2006 + (October 14, 2005)
TACAS 2006 + (October 14, 2005)

ICIAR 2006 + (February 11, 2006)
CRYPTO 2006 + (February 23, 2006)
CSL 2006 + (April 24, 2006)
ISWC 2006 + (May 22, 2006)
TACAS 2007 + (October 13, 2006)
FASE 2007 + (October 13, 2006)
CC 2007 + (October 13, 2006)
DAMP 2007 + (November 3, 2006)
ICVS 2007 + (November 20, 2006)
RE 2007 + (February 5, 2007)
PASTE 2007 + (February 7, 2007)
ICIAR 2007 + (February 15, 2007)
ICWE 2007 + (February 17, 2007)
TESTCOM/FATES 2007 + (February 18, 2007)
CRYPTO 2007 + (February 19, 2007)
CBSE 2007 + (February 23, 2007)
SCC 2007 + (February 28, 2007)
SPLC 2007 + (February 28, 2007)
HERCMA 2007 + (March 10, 2007)
FCT 2007 + (March 11, 2007)
MODELS 2007 + (March 19, 2007)
EDOC 2007 + (March 30, 2007)
CAIP 2007 + (April 4, 2007)