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

• ICSE 2007  + (July 5, 2007)
• AAAI 2007  + (July 26, 2007)
• ICSE 2008  + (May 18, 2008)
• AAAI 2008  + (July 17, 2008)
• POPL 2008  + (December 1, 2008)
• POPL 2009  + (January 23, 2009)
• ICSE 2009  + (May 24, 2009)
• POPL 2010  + (January 23, 2010)
• AAAI 2010  + (July 15, 2010)
• ICSE 2010  + (August 5, 2010)
• POPL 2011  + (January 28, 2011)
• ICSE 2011  + (May 28, 2011)
• AAAI 2011  + (August 11, 2011)
• POPL 2012  + (January 28, 2012)
• AAAI 2012  + (July 26, 2012)
• POPL 2013  + (January 25, 2013)
• ICSE 2013  + (May 26, 2013)
• AAAI 2013  + (July 18, 2013)
• POPL 2014  + (January 24, 2014)
• ICSE 2014  + (July 6, 2014)
• AAAI 2014  + (July 31, 2014)
• POPL 2015  + (January 18, 2015)

• AAAI 2015  + (January 30, 2015)

• ICSE 2015  + (May 24, 2015)
• POPL 2016  + (January 23, 2016)
• AAAI 2016  + (February 17, 2016)
• ICSE 2016  + (May 22, 2016)
• AAAI 2017  + (February 9, 2017)
• ICSE 2017  + (May 28, 2017)
• POPL 2018  + (January 13, 2018)
• AAAI 2018  + (February 7, 2018)
• ICSE 2018  + (June 3, 2018)
• POPL 2019  + (January 19, 2019)
• AAAI 2019  + (February 1, 2019)
• ICSE 2019  + (May 31, 2019)
• POPL 2020  + (January 25, 2020)
• AAAI 2020  + (February 12, 2020)
• 3DUI 2020  + (March 26, 2020)
• ICSE 2020  + (May 29, 2020)
• POPL 2021  + (January 22, 2021)
• AAAI 2021  + (February 9, 2021)
• Test Event 1  + (March 22, 2021)
• Test  + (April 1, 2021)
• ICSE 2021  + (May 30, 2021)