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 2006  + (December 9, 2005)
• FASE 2006  + (December 9, 2005)
• ESOP 2006  + (December 9, 2005)
• CC 2006  + (December 9, 2005)
• ETAPS 2006  + (December 9, 2005)
• ICIAR 2006  + (April 19, 2006)
• CRYPTO 2006  + (May 2, 2006)
• CSL 2006  + (June 12, 2006)
• OPODIS 2006  + (September 18, 2006)

• CC 2007  + (December 8, 2006)
• FASE 2007  + (December 8, 2006)
• TACAS 2007  + (December 8, 2006)

• PASTE 2007  + (March 10, 2007)
• ICWE 2007  + (April 1, 2007)
• TESTCOM/FATES 2007  + (April 2, 2007)
• CBSE 2007  + (April 15, 2007)
• ICIAR 2007  + (April 16, 2007)
• SCC 2007  + (April 23, 2007)
• RE 2007  + (April 27, 2007)
• FCT 2007  + (April 27, 2007)
• SPLC 2007  + (May 5, 2007)
• CRYPTO 2007  + (May 7, 2007)
• CAIP 2007  + (May 14, 2007)
• SEFM 2007  + (May 29, 2007)
• ICSM 2007  + (June 1, 2007)
• MODELS 2007  + (June 11, 2007)
• SEMANTiCS 2007  + (June 18, 2007)
• EDOC 2007  + (June 30, 2007)
• ICSOC 2007  + (July 1, 2007)
• SwSTE 2007  + (July 15, 2007)
• ICFEM 2007  + (July 17, 2007)
• WCRE 2007  + (July 20, 2007)
• ISSRE 2007  + (July 22, 2007)
• HICCS 2008  + (September 15, 2007)
• Metrics for Visual Analytics 2007  + (September 30, 2007)
• ALTA 2007  + (October 5, 2007)