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
- IDA 2014 + (33)
- IFM 2016 + (33)
- IPCO 2013 + (33)
- IPCO 2016 + (33)
- IPCO 2019 + (33)
- ISCA 1998 + (33)
- ISMAR 2014 + (33)
- ISMAR 2018 + (33)
- JCDL 2008 + (33)
- JCDL 2020 + (33)
- OOPSLA 2007 + (33)
- OOPSLA 2008 + (33)
- PODC 2006 + (33)
- POPL 2006 + (33)
- WAC 1989 + (33)
- ACM SIGCOMM 1984 + (33)
- SIGCOMM 2003 + (33)
- SIGGRAPH 1987 + (33)
- SIGMETRICS 2004 + (33)
- TACAS 2000 + (33)
- TACAS 2005 + (33)
- 9th Working IEEE/IFIP Conference on Software Architecture + (33)
- ISAmI 2017 + (33)
- ACNS 2015 + (33)
- ACNS 2012 + (33)
- FSTTCS 1993 + (33)
- TACAS 2022 + (33)
- FOSSACS 2007 + (33)
- BIS 2016 + (33)
- TACAS 2003 + (35)
- TACAS 2009 + (35)
- TACAS 2009 + (35)
- TACAS 2010 + (35)
- TACAS 2019 + (35)
- TARK 2007 + (35)
- WABI 2005 + (35)
- WABI 2012 + (35)
- TACAS 2012 + (36)
- TEI 2019 + (36)
- UMAP 2018 + (36)
- VL/HCC 2019 + (36)
- WINE 2018 + (36)
- WINE 2019 + (36)
- SIGCSE 1984 + (36)
- ACNS 2018 + (36)
- ACNS 2004 + (36)
- WABI 2003 + (36)
- WABI 2006 + (36)
- ICFEM 2009 + (36)
- MSWiM '05 + (36)
- FSTTCS 2000 + (36)
- AVI 2020 + (36)
- AVI 1994 + (36)
- CSCW 2000 + (36)
- IMC 2005 + (36)
- AdHoc-Now 2019 + (37)
- ALT 2019 + (37)
- ASE 2007 + (37)