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 2011  + (May 21, 2011)
• AAAI 2011  + (August 7, 2011)
• POPL 2010  + (January 17, 2012)
• POPL 2012  + (January 22, 2012)
• AAAI 2012  + (July 22, 2012)
• POPL 2013  + (January 23, 2013)
• ICSE 2013  + (May 18, 2013)
• AAAI 2013  + (July 14, 2013)
• POPL 2014  + (January 22, 2014)
• ICSE 2014  + (May 31, 2014)
• AAAI 2014  + (July 27, 2014)
• AAAI 2015  + (January 25, 2015)
• ICSE 2015  + (May 16, 2015)
• POPL 2015  + (December 1, 2015)
• POPL 2016  + (January 20, 2016)
• AAAI 2016  + (February 12, 2016)
• ICSE 2016  + (May 14, 2016)

• AAAI 2017  + (February 4, 2017)

• ICSE 2017  + (May 20, 2017)
• POPL 2018  + (January 7, 2018)
• AAAI 2018  + (February 2, 2018)
• ICSE 2018  + (May 27, 2018)
• POPL 2019  + (January 13, 2019)
• AAAI 2019  + (January 27, 2019)
• ICSE 2019  + (May 25, 2019)
• POPL 2020  + (January 19, 2020)
• AAAI 2020  + (February 7, 2020)
• 3DUI 2020  + (March 22, 2020)
• ICSE 2020  + (May 23, 2020)
• POPL 2021  + (January 17, 2021)
• AAAI 2021  + (February 2, 2021)
• Test Event 1  + (March 21, 2021)
• Test  + (April 1, 2021)
• ICSE 2021  + (May 22, 2021)