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
- ADMA 2018 + (104)
- CAV 2008 + (104)
- ESOP 2008 + (104)
- EuroCrypt 1997 + (104)
- IPSN 2017 + (104)
- ISMAR 2008 + (104)
- LICS 2001 + (104)
- PROFES 2019 + (104)
- MFCS 1995 + (104)
- ADMA 2016 + (105)
- CGO 2018 + (105)
- FCT 2005 + (105)
- ISMAR 2006 + (105)
- ISMAR 2012 + (105)
- L@S 2017 + (105)
- International Conference on Management of Multimedia Networks and Services + (105)
- PLDI 1995 + (105)
- POPL 1977 + (105)
- FSTTCS 1987 + (105)
- CAV 2001 + (106)
- HAIS 2020 + (106)
- ICMR 2019 + (106)
- ISCA 1984 + (106)
- IWQoS'97 + (106)
- JCDL 2020 + (106)
- OPODIS 2007 + (106)
- FSTTCS 1995 + (106)
- FOSSACS 2014 + (106)
- COCOA 2018 + (106)
- ICWE 2019 + (106)
- CAV 1999 + (107)
- COLT 2004 + (107)
- DGO.2019 + (107)
- DSN 2013 + (107)
- EKAW 2012 + (107)
- FOSSACS 2006 + (107)
- ISMAR 2010 + (107)
- MFCS 1984 + (107)
- TACAS 2000 + (107)
- USENIX'02 + (107)
- ASE 1997 + (108)
- ASSETS 2018 + (108)
- CCGRID '02 + (108)
- CSL 2005 + (108)
- CSL 2006 + (108)
- CSL 2013 + (108)
- 16th European Conference on Software Maintenance and Reengineering + (108)
- EMCIS 2018 + (108)
- FASE 2016 + (108)
- FOSSACS 2005 + (108)
- International Conference on Database Theory (ICDT) 2007 + (108)
- ICNP 1998 + (108)
- IJCAR 2018 + (108)
- ISMAR 2005 + (108)
- JCDL 2014 + (108)
- LICS 1997 + (108)
- MICRO 1998 + (108)
- POPL 1987 + (108)
- SBAC-PAD 2018 + (108)
- SecureComm 2018 + (108)