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
- SIGCSE 1983 + (84)
- FSTTCS 1999 + (84)
- GIS 2005 + (85)
- BuildSys 2019 + (85)
- CADE 1998 + (85)
- International Workshop on Distributed Systems: Operations and Management 2006 + (85)
- EuroCrypt 1990 + (85)
- FoSSaCS 2016 + (85)
- ICFP 2014 + (85)
- Persuasive 2017 + (85)
- SEMANTiCS 2016 + (85)
- WebSci 2017 + (85)
- FoSSaCS 2019 + (85)
- ICFEM 2012 + (85)
- FOSSACS 2023 + (85)
- ARES 2016 + (85)
- CCS 1998 + (85)
- TPDL 2017 + (85)
- ALENEX 2019 + (86)
- BIS 2020 + (86)
- CSL 2018 + (86)
- CSMR-WCRE 2014 Software Evolution Week + (86)
- International Workshop on Distributed Systems: Operations and Management 2003 + (86)
- FOSSACS 2010 + (86)
- IJCAR 2004 + (86)
- ISSAC 2002 + (86)
- SAS 2002 + (86)
- ISCA 1978 + (86)
- TACAS 2022 + (86)
- ESOP 2019 + (86)
- ISC 2019 + (86)
- BIS 2016 + (87)
- CADE 1997 + (87)
- CAV 2003 + (87)
- DISC 1998 + (87)
- ER 1993 + (87)
- ESOP 2006 + (87)
- ESOP 2020 + (87)
- ICFP 2005 + (87)
- ISMAR 2014 + (87)
- International Workshop on Distributed Systems: Operations and Management 2005 + (87)
- OPODIS 2019 + (87)
- PAM 2017 + (87)
- USENIX Annual Technical Conference 1998 + (87)
- CSL 2004 + (88)
- ECOOP 2003 + (88)
- FOSSACS 2021 + (88)
- ISPASS 2019 + (88)
- JCDL 2019 + (88)
- WADS 2019 + (88)
- WINE 2017 + (88)
- ICFEM 2013 + (88)
- EPIA 2001 + (88)
- CGO 2021 + (89)
- CSL 1990 + (89)
- FASE 2003 + (89)
- IFIP SEC 2018 + (89)
- IJCAR 2010 + (89)
- OPODIS 2012 + (89)
- SEFM 2019 + (89)
- ESOP 2016 + (89)
- GIS 2004 + (90)
- ADMA 2014 + (90)