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
- CAV 1989 + (Verification Methods for Finite State Systems)
- VMCAI + (Verification, Model Checking and Abstract Interpretation)
- VSTTE 2008 + (Verified Software: Theories, Tools, and Experiments 2008)
- Victoria University of Wellington + (Victoria University of Wellington)
- VBIGA 2008 + (Virginia Bioinformatics Institute Genome Annotation Workshop)
- GeNeMe 2008 + (Virtual Enterprises, Communities & Social Networks - Gemeinschaften in Neuen Medien)
- GeNeMe 2009 + (Virtual Enterprises, Communities & Social Networks - Gemeinschaften in Neuen Medien)
- VRCAI 2009 + (Virtual Reality Continuum and its applications in industry)
- ITALICS: Virtual Worlds issue 2009 + (Virtual Worlds: play or education? - Special issue of ITALICS (November 2009))
- Voila 2017 + (Visualization and Interaction for Ontologies and Linked Data)
- VizSec 2016 + (VizSec 2016 : VizSec 2016)
- WACV 2017 : IEEE Winter Conference on Applications of Computer Vision + (WACV 2017 : IEEE Winter Conference on Applications of Computer Vision)
- WADCE 2016 + (WADCE 2016 : 2016 International Workshop on Aircraft Design and Control Engineering (WADCE 2016))
- WADCE-EI 2016 + (WADCE-EI 2016 : 2016 International Workshop on Aircraft Design and Control Engineering (WADCE 2016)--EI&Scopus;)
- WALCOM 2017 + (WALCOM 2017 : 11th International Conference and Workshops on Algorithms & Computation)
- WALCOM 2018 : The 12th International Conference and Workshop on Algorithms and Computation (WALCOM) + (WALCOM 2018 : The 12th International Conference and Workshop on Algorithms and Computation (WALCOM))
- WCETIS 2017 + (WCETIS 2017 : World Congress on Engineering and Technology; Innovation and its Sustainability)
- WCICSS 2017 + (WCICSS 2017 : The World Congress on Industrial Control Systems Security)
- WCM Conference 2017 + (WCM Conference 2017 : Warranty Chain Management Conference 2017)
- WCNC 2017 + (WCNC 2017 : Wireless Communications and Networking Conference)
- WCNC 2021 + (WCNC 2021: Wireless Communications and Networking Conference)
- WCNC 2022 + (WCNC 2022: Wireless Communications and Networking Conference)
- WCNC 2023 + (WCNC 2023: Wireless Communications and Networking Conference)
- WCNC 2024 + (WCNC 2024: Wireless Communications and Networking Conference)
- WCSE 2017 + (WCSE 2017 : 7th International Workshop on Computer Science and Engineering --Scopus & Ei compendex)
- WCSNE 2017 + (WCSNE 2017 : World Congress on Special Needs Education (WCSNE-2017))
- WCST 2017 + (WCST 2017 : World Congress on Sustainable Technologies)
- SWAT 2011 + (WEBIST Special Session on Semantic Web Applications and Tools)
- WSPA 2011 + (WEBIST Special Session on Web Services Principles and Applications)
- WTM 2011 + (WEBIST Special Session on Web and Text Mining)
- WF-IoT 2016 + (WF-IoT 2016 : Workshop on Ubiquitous Sensing and Actuation (UbSA) via the Internet of Things)
- WICS 2017 + (WICS 2017 : 4th International Workshop on Information and Communication Security)
- WIMONE 2016 + (WIMONE 2016 : Eighth International Conference on Wireless & Mobile Networks)
- WINVIZNN 2016 + (WINVIZNN 2016 : ACCV 2016 Workshop on Interpretation and Visualization of Deep Neural Nets)
- WITAP 2008 + (WIT Air Pollution 2008)
- WKEM 2017 + (WKEM 2017 : Ei &Scopus--2017; International Workshop on Key Engineering Materials (WKEM 2017))
- KSM 2009 + (WM2009 Workshop: Knowledge Services and Mashups)
- WMLI 2016 + (WMLI 2016 : ICANN 2016 Workshop on Machine Learning and Interpretability)
- WNC 2017 + (WNC 2017 : 5th Annual Worldwide Nursing Conference (WNC 2017))
- WNUT 2016 + (WNUT 2016 : The 2nd Workshop on Noisy User-generated Text @COLING)
- WORKS 2016 + (WORKS 2016 : 11th Workflows in Support of Large-Scale Science (WORKS) Workshop)
- WORKS 2017 : 12th Workflows in Support of Large-Scale Science (WORKS) Workshop + (WORKS 2017 : 12th Workflows in Support of Large-Scale Science (WORKS) Workshop)
- WIOTE 2021 + (WORKSHOP ON IOT FOR ENERGY)
- MWNTE 2011 + (WORKSHOP ON MULTIHOP WIRELESS NETWORK TESTBEDS AND EXPERIMENTS)
- WPCE 2016 + (WPCE 2016 : 2016 International Conference on Water Pollution Control Engineering (WPCE 2016))
- WREC 2016 + (WREC 2016 : 17th World Renewable Energy Congress â Bahrain-2016)
- WREC2016-Bahrain 2016 + (WREC2016-Bahrain 2016 : 17th WORLD RENEWABLE ENERGY CONGRESS)
- SSIIP 2012 + (WSC17 Special Session on Intelligent Image Processing)
- WSDM Cup 2017 + (WSDM Cup 2017 : WSDM Cup 2017: Knowledge Base Quality and Search)
- WSED 2017 + (WSED 2017 : World Sustainable Energy Days 2017)
- WWW DevTrack 2009 + (WWW 2009 Developers Track)