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
- SAT 2020 + (International Conference on Theory and Applications of Satisfiability Testing)
- ICMT + (International Conference on Theory and Practice of Model Transformation Model Transformation)
- TPDL + (International Conference on Theory and Practice of Digital Libraries)
- TACAS 2009 + (International Conference on Tools and Algorithms for the Construction and Analysis of Systems)
- TACAS + (International Conference on Tools and Algorithms for the Construction and Analysis of Systems)
- TACAS 2008 + (International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2008)
- ICTAI + (International Conference on Tools with Artificial Intelligence)
- TrustBus + (International Conference on Trust, Privacy and Security in Digital Business)
- IMCOM 2018 + (International Conference on Ubiquitous Information Management and Communication)
- URAmI 2007 + (International Conference on Ubiquitous Robots and Ambient Intelligence)
- UIC + (International Conference on Ubiquitous and Intelligence Computing)
- ICUWB 2008 + (International Conference on Ultra-Wideband)
- ICUAS 2019 + (International Conference on Unmanned Aircraft Systems)
- ICUAS 2018 + (International Conference on Unmanned Aircraft Systems)
- ICUAS 2017 + (International Conference on Unmanned Aircraft Systems)
- ICUAS 2020 + (International Conference on Unmanned Aircraft Systems,)
- UMAP + (International Conference on User Modelling, Adaptation, and Personalization)
- VLDB 1993 + (International Conference on Very Large Data Bases (VLDB) 1993)
- VLDB 1994 + (International Conference on Very Large Data Bases (VLDB) 1994)
- VLDB 1995 + (International Conference on Very Large Data Bases (VLDB) 1995)
- VLDB 1996 + (International Conference on Very Large Data Bases (VLDB) 1996)
- VLDB 1997 + (International Conference on Very Large Data Bases (VLDB) 1997)
- VLDB 1998 + (International Conference on Very Large Data Bases (VLDB) 1998)
- VLDB 1999 + (International Conference on Very Large Data Bases (VLDB) 1999)
- VLDB 2000 + (International Conference on Very Large Data Bases (VLDB) 2000)
- VLDB 2001 + (International Conference on Very Large Data Bases (VLDB) 2001)
- VLDB 2002 + (International Conference on Very Large Data Bases (VLDB) 2002)
- VLDB 2003 + (International Conference on Very Large Data Bases (VLDB) 2003)
- VLDB 2005 + (International Conference on Very Large Data Bases (VLDB) 2005)
- VLDB 2006 + (International Conference on Very Large Data Bases (VLDB) 2006)
- VLDB + (International Conference on Very Large Databases)
- ICVIP + (International Conference on Video and Image Processing)
- ICVIP 2020 + (International Conference on Video and Image Processing)
- ICVIP - Ei 2017 + (International Conference on Video and Image Processing (ICVIP 2017))
- VEE 2008 + (International Conference on Virtual Execution Environments)
- VEE + (International Conference on Virtual Execution Environments)
- VEE 2020 + (International Conference on Virtual Execution Environments)
- ICVR + (International Conference on Virtual Reality)
- VSMM + (International Conference on Virtual Systems and MultiMedia)
- ICWAPR 2008 + (International Conference on Wavelet Analysis and Pattern Recognition)
- ICWE + (International Conference on Web Engineering)
- ICWE 2007 + (International Conference on Web Engineering 2007)
- WEBIST 2010 + (International Conference on Web Information Systems and Technologies (WEBIST))
- WISE + (International Conference on Web Information Systems Engineering)
- WISE 2020 + (International Conference on Web Information Systems Engineering)
- WI 2016 + (International Conference on Web Intelligence)
- WIMS 2020 + (International Conference on Web Intelligence)
- IEEE/WIC/ACM 2020 + (International Conference on Web Intelligence)
- Web Intelligence + (International Conference on Web Intelligence)
- Web Intelligence 2020 + (International Conference on Web Intelligence)
- WIMS + (International Conference on Web Intelligence, Mining and Semantics)
- ICWSM + (International Conference on Web and Social Media)
- ICWL 2016 + (International Conference on Web-Based Learning)
- ICWL 2009 + (International Conference on Web-based Learning)
- ICWL 2008 + (International Conference on Web-based Learning)
- ICWSM 2008 + (International Conference on Weblogs and Social Media)
- WINSYS 2009 + (International Conference on Wireless Information Networks and System)
- WINSYS + (International Conference on Wireless Information Networks and Systems)
- ICE-B + (International Conference on e-Business)
- ICEB + (International Conference on e-Business)
- ICEHST + (International Conference on e-Health Services and Technologies (ICEHST))
- CoNEXT + (International Conference on emerging Networking EXperiments and Technologies)
- CoNEXT 2007 + (International Conference on emerging Networking EXperiments and Technologies 2007)
- NSS + (International Conference on network and System Security)
- ICATPN + (International Conference on the Application and Theory of Petri Nets)
- SEMANTiCS 2005 + (International Conference on the Future of the Internet)
- KR + (International Conference on the Principles of Knowledge Representation and Reasoning)
- KR 2020 + (International Conference on the Principles of Knowledge Representation and Reasoning)
- ALIFE + (International Conference on the Simulation and Synthesis of Living Systems)
- ALIFE 2020 + (International Conference on the Simulation and Synthesis of Living Systems)
- ALIFE 2019 + (International Conference on the Simulation and Synthesis of Living Systems)
- ASIACRYPT + (International Conference on the Theory and Application of Cryptology and Information Security)
- Asiacrypt + (International Conference on the Theory and Application of Cryptology and Information Security)
- WSCG + (International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision)
- IASCL 2008 + (International Congress for the Study of Child Language)
- NEUROTECHNIX 2013 + (International Congress on Neurotechnology, Electronics and Informatics)
- IcSPORTS 2013 + (International Congress on Sports Science Research and Technology Support (icSPORTS 2013))
- W4A 2008 + (International Cross-Disciplinary Conference on Web Accessibility)
- IDEAS + (International Database Engineering and Applications Symposium)
- IEDM + (International Electron Devices Meeting)
- EDOC 2007 + (International Enterprise Distributed Object Computing Conference 2007)
- EuroPar + (International European Conference on Parallel and Distributed Computing (was International Conference on Parallel Processing))
- EuroPar 2020 + (International European Conference on Parallel and Distributed Computing)
- IFAC 2008 + (International Federation of Automatic Control Congress)
- IFS + (International Fermi Symposium)
- FAW + (International Frontiers of Algorithmics Workshop)
- FLINS + (International Fuzzy Logic and Intelligent technologies in Nuclear Science Conference)
- IGIIW 2008 + (International Grid Interoperability and Interoperation Workshop 2008)
- PSATS + (International ICST Conference on Personal Satellite Services)
- ICE-GIC 2009 + (International IEEE Consumer Electronics Society's Games Innovations Conference)
- WSA 2008 + (International ITG Workshop On Smart Antennas)
- ETC 2008 + (International International Symposium on Electronics and Telecommunications)
- IJCAI + (International Joint Conference on Artificial Intelligence)
- IJCAI-89 + (International Joint Conference on Artificial Intelligence 1989)
- IJCAI-91 + (International Joint Conference on Artificial Intelligence 1991)
- IJCAI-93 + (International Joint Conference on Artificial Intelligence 1993)
- IJCAI-95 + (International Joint Conference on Artificial Intelligence 1995)
- IJCAI-97 + (International Joint Conference on Artificial Intelligence 1997)
- IJCAI-99 + (International Joint Conference on Artificial Intelligence 1999)
- IJCAI-01 + (International Joint Conference on Artificial Intelligence 2001)
- IJCAI-03 + (International Joint Conference on Artificial Intelligence 2003)
- IJCAI-05 + (International Joint Conference on Artificial Intelligence 2005)
- IJCAI-07 + (International Joint Conference on Artificial Intelligence 2007)
- IJCAI-09 + (International Joint Conference on Artificial Intelligence 2009)
- IJCAR + (International Joint Conference on Automated Reasoning)
- IJCAR 2020 + (International Joint Conference on Automated Reasoning)
- BIOSTEC 2008 + (International Joint Conference on Biomedical Engineering Systems and Technologies)
- VISIGRAPP 2008 + (International Joint Conference on Computer Vision and Computer Graphics Theory and Applications)
- VISIGRAPP 2009 + (International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications)
- VISIGRAPP 2010 + (International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications)
- IJCNLP2 + (International Joint Conference on Computational Linguistics)
- IJCNLP + (International Joint Conference on Natural Language Processing)
- IJCNN 2017 + (International Joint Conference on Neural Networks)
- IJCNN 2009 + (International Joint Conference on Neural Networks)
- ESQARU + (International Joint Conference on Qualitative and Quantitative Practical Reasoning)
- ICETE + (International Joint Conference on e-Business and Telecommunications)
- ICETE 2008 + (International Joint Conference on e-Business and Telecommunications)
- International Journal of Advanced Mathematical Sciences + (International Journal of Advanced Mathematical Sciences)
- International Journal of Advanced Trends in Computer Science and Engineering (IJATCSE) + (International Journal of Advanced Trends in Computer Science and Engineering (IJATCSE))
- International Journal of Advances in Computing and Information Technology + (International Journal of Advances in Computing and Information Technology)
- CALL FOR PAPER Journal: International Journal of Biometrics and Bioinformatics (IJBB) + (International Journal of Biometrics and Bioinformatics (IJBB))
- IJBSAM 2008 + (International Journal of Business Science and Applied Management)
- IJCOPI 2012 + (International Journal of Combinatorial Optimization Problems and Informatics)
- International Journal of Computational Linguistics Research + (International Journal of Computational Linguistics Research)
- Ijcnc + (International Journal of Computer Networks & Communications (IJCNC))
- International Journal of Computer Science Issues + (International Journal of Computer Science Issues)
- IJCSIS 20092 + (International Journal of Computer Science and Information Security)
- CALL FOR PAPER Journal: International Journal of Computer Science and Security (IJCSS) + (International Journal of Computer Science and Security (IJCSS))
- IJCSSE Special Issue 2009 + (International Journal of Computer Systems Science and Engineering - Special issue on Mobile Data Management: Models, Methodologies and Services)
- International Journal of Computer and Information Technology + (International Journal of Computer and Information Technology)
- International Journal of Computing, Communications and Networking ( IJCCN ) + (International Journal of Computing, Communications and Networking ( IJCCN ))
- IJCRMM 2010 + (International Journal of Customer Relationship Marketing and Management)
- IJECEE 2009 + (International Journal of Electronics, Computing and Engineering Education)
- International Journal of Enhanced Research in Science Technology & Engineering + (International Journal of Enhanced Research in Science Technology & Engineering)
- IJIAS + (International Journal of Innovation and Applied Studies)
- IJIITA 2009 + (International Journal of Intelligent Information Technology Application)
- Multiword expressions 2008 + (International Journal of Language Resources and Evaluation, Special issue on Multiword expressions: hard going or plain sailing?)
- International Journal of Networks and Systems ( IJNS ) + (International Journal of Networks and Systems ( IJNS ))
- IJOE + (International Journal of Online Engineering (iJOE))
- International Journal of Science and Applied Information Technology (IJSAIT) + (International Journal of Science and Applied Information Technology (IJSAIT))
- IJSNM 2009 + (International Journal of Social Network Mining)
- IJTAP 2009 + (International Journal of Technology in Administrative Practice)
- IJEL + (International Journal on E-Learning)
- LAK + (International Learning Analytics & Knowledge Conference)
- ILPS + (International Logic Programming Symposium)
- ILPS 2020 + (International Logic Programming Symposium)
- VECPAR + (International Meeting on High Performance Computing for Computational Science (previously International Meeting Vector and Parallel Processing, changed in 2002))
- MNC 2007 + (International Microprocesses and Nanotechnology Conference)
- IMWS-R9 2009 + (International Microwave Workshop Series on Signal Integrity and High-Speed Interconnects)
- IMECS 2017 + (International Multi Conference of Engineers and Computer Scientists 2017)
- IMECS 2008 + (International MultiConference of Engineers and Computer Scientists)
- IMECS + (International MultiConference of Engineers and Computer Scientists)
- IMECS 2010 + (International MultiConference of Engineers and Computer Scientists 2010)
- IMECS 2011 + (International MultiConference of Engineers and Computer Scientists 2011)
- IMECS 2012 + (International MultiConference of Engineers and Computer Scientists 2012)
- IMECS 2013 + (International MultiConference of Engineers and Computer Scientists 2013)
- IMECS 2018 + (International MultiConference of Engineers and Computer Scientists 2018)
- IMECS 2020 + (International MultiConference of Engineers and Computer Scientists 2020)
- INLG 2008 + (International Natural Language Generation Conference)
- INLG + (International Natural Language Generation Conference)
- ISOPE + (International Ocean and Polar Engineering Conference)
- IOEC 2008 + (International Online Energy Conference)
- Opto Mechanics 2007 + (International Opto Mechanics Summer Conference)
- IPDPS 1996 + (International Parallel and Distributed Processing Symposium 1996)
- IPDPS 1997 + (International Parallel and Distributed Processing Symposium 1997)
- IPDPS 1998 + (International Parallel and Distributed Processing Symposium 1998)
- IPDPS 1999 + (International Parallel and Distributed Processing Symposium 1999)
- IPDPS 2000 + (International Parallel and Distributed Processing Symposium 2000)
- IPDPS 2001 + (International Parallel and Distributed Processing Symposium 2001)
- IPDPS 2002 + (International Parallel and Distributed Processing Symposium 2002)
- IPDPS 2003 + (International Parallel and Distributed Processing Symposium 2003)
- IPDPS 2004 + (International Parallel and Distributed Processing Symposium 2004)
- IPDPS 2005 + (International Parallel and Distributed Processing Symposium 2005)
- IPDPS 2006 + (International Parallel and Distributed Processing Symposium 2006)
- IPDPS 2007 + (International Parallel and Distributed Processing Symposium 2007)
- IPDPS 2008 + (International Parallel and Distributed Processing Symposium 2008)
- IPC + (International Protégé conference)
- RADAR 2019 + (International Radar Conference)
- IRS + (International Radar Symposium)
- ISWC + (International Semantic Web Conference)
- ISWC 2008 + (International Semantic Web Conference)
- ISWC 2020 + (International Semantic Web Conference)
- ISWC 2010 + (International Semantic Web Conference 2010)
- ISWC 2011 + (International Semantic Web Conference 2011)
- CAS 2008 + (International Semiconduct or Conference)
- ISTC/CSTIC 2009 + (International Semiconductor Technology Conference & China Semiconductor Technology International Conference)
- ISOCC 2009 + (International SoC Design Conference)
- ISMIR + (International Society for Music Information Retrieval Conference)
- SPLC 2009 + (International Software Product Line Conference)
- SPLC 2007 + (International Software Product Line Conference 2007)
- SPLC 2008 + (International Software Product Line Conference 2008)
- ISCAAS 2016 + (International Student Conference On Asia Africa Studies)
- International Summit on Smart City and Big Data + (International Summit on Smart City and Big Data 2017)
- VDMA 2008 + (International Symposium of Visual Data Mining and Analytics)
- ADCONIP 2008 + (International Symposium on Advanced Control of Industrial Processes)
- ADTI + (International Symposium on Advanced DB Technologies and Integration)
- ISAGST 2007 + (International Symposium on Advanced Gate Stack Technology)
- ISAGST 2008 + (International Symposium on Advanced Gate Stack Technology)
- KES-AMSTA + (International Symposium on Agent and Multi-agent Systems)
- SAGT + (International Symposium on Algorithmic Game Theory)
- ISAAC + (International Symposium on Algorithms and Computation)
- ISAAC 2020 + (International Symposium on Algorithms and Computation)
- SAINT 2008 + (International Symposium on Applications and the Internet)
- AAAAECC + (International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes)
- ISAIM + (International Symposium on Artificial Intelligence and Mathematics)
- ATVA + (International Symposium on Automated Technology for Verification and Analysis)
- ISBB 2009 + (International Symposium on Bioelectronics and Bioinformatics)
- ISBRA 2008 + (International Symposium on Bioinformatics Research and Applications)
- CCGrid + (International Symposium on Cluster Computing and the Grid)
- CCGrid 2001 + (International Symposium on Cluster Computing and the Grid 2001)
- CCGrid 2002 + (International Symposium on Cluster Computing and the Grid 2002)
- CCGrid 2003 + (International Symposium on Cluster Computing and the Grid 2003)
- CCGrid 2004 + (International Symposium on Cluster Computing and the Grid 2004)
- CCGrid 2005 + (International Symposium on Cluster Computing and the Grid 2005)
- CCGrid 2006 + (International Symposium on Cluster Computing and the Grid 2006)
- CCGrid 2007 + (International Symposium on Cluster Computing and the Grid 2007)
- CCGrid 2008 + (International Symposium on Cluster Computing and the Grid 2008)
- CCGrid 2018 + (International Symposium on Cluster Computing and the Grid 2018)
- CCGrid 2019 + (International Symposium on Cluster Computing and the Grid 2019)
- CGO + (International Symposium on Code Generation and Optimization)
- CGO 2020 + (International Symposium on Code Generation and Optimization)
- CGO 2019 + (International Symposium on Code Generation and Optimization)
- ISCIT 2008 + (International Symposium on Communications and Information Technologies)
- ISCCSP 2008 + (International Symposium on Communications, Control and Signal Processing)
- SoCG + (International Symposium on Computational Geometry)
- CompLife + (International Symposium on Computational Life Science)
- SBAC-PAD 2008 + (International Symposium on Computer Architecture and High Performance Computing)
- SBAC-PAD + (International Symposium on Computer Architecture and High Performance Computing)
- ISCA + (International Symposium on Computer Architecture)
- ISCA 1976 + (International Symposium on Computer Architecture 1976)
- ISCA 1977 + (International Symposium on Computer Architecture 1977)
- ISCA 1978 + (International Symposium on Computer Architecture 1978)
- ISCA 1979 + (International Symposium on Computer Architecture 1979)
- ISCA 1980 + (International Symposium on Computer Architecture 1980)
- ISCA 1981 + (International Symposium on Computer Architecture 1981)
- ISCA 1982 + (International Symposium on Computer Architecture 1982)
- ISCA 1983 + (International Symposium on Computer Architecture 1983)
- ISCA 1984 + (International Symposium on Computer Architecture 1984)
- ISCA 1985 + (International Symposium on Computer Architecture 1985)
- ISCA 1986 + (International Symposium on Computer Architecture 1986)
- ISCA 1987 + (International Symposium on Computer Architecture 1987)
- ISCA 1988 + (International Symposium on Computer Architecture 1988)
- ISCA 1989 + (International Symposium on Computer Architecture 1989)
- ISCA 1990 + (International Symposium on Computer Architecture 1990)
- ISCA 1991 + (International Symposium on Computer Architecture 1991)
- ISCA 1992 + (International Symposium on Computer Architecture 1992)
- ISCA 1993 + (International Symposium on Computer Architecture 1993)
- ISCA 1994 + (International Symposium on Computer Architecture 1994)
- ISCA 1995 + (International Symposium on Computer Architecture 1995)
- ISCA 1996 + (International Symposium on Computer Architecture 1996)
- ISCA 1997 + (International Symposium on Computer Architecture 1997)