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
- WABI 2008 + (81)
- ICNP 1997 + (81)
- KI 2007 + (81)
- KI 2011 + (81)
- ATVA 2018 + (82)
- CSL 2020 + (82)
- CSL 2021 + (82)
- IPSN 2018 + (82)
- International Symposium on Mobile Ad Hoc Networking and Computing 2000 + (82)
- TACAS 1999 + (82)
- USENIX'01 + (82)
- KI 2019 + (82)
- CADE 2003 + (83)
- CC 2003 + (83)
- CPM 2015 + (83)
- IJCAR 2014 + (83)
- International Conference on Management of Multimedia Networks and Services + (83)
- WABI 2002 + (83)
- WABI 2010 + (83)
- CCS 1999 + (83)
- CADE 2015 + (84)
- CAV 1993 + (84)
- CAV 1997 + (84)
- DLT 2018 + (84)
- ESOP 2000 + (84)
- ISSTA 2006 + (84)
- International Workshop on Quality of Service 2000 + (84)
- International Conference on Management of Multimedia Networks and Services + (84)
- PODS 1996 + (84)
- REFSQ 2020 + (84)
- SEMANTiCS 2017 + (84)
- SIGCSE 1983 + (84)
- FSTTCS 1999 + (84)
- ARES 2016 + (85)
- BuildSys 2019 + (85)
- CADE 1998 + (85)
- CCS 1998 + (85)
- EuroCrypt 1990 + (85)
- FOSSACS 2023 + (85)
- FoSSaCS 2016 + (85)
- FoSSaCS 2019 + (85)
- GIS 2005 + (85)
- ICFEM 2012 + (85)
- ICFP 2014 + (85)
- International Workshop on Distributed Systems: Operations and Management 2006 + (85)
- Persuasive 2017 + (85)
- SEMANTiCS 2016 + (85)
- TPDL 2017 + (85)
- WebSci 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)
- CADE 1997 + (87)
- CAV 2003 + (87)
- International Workshop on Distributed Systems: Operations and Management 2005 + (87)
- ER 1993 + (87)