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 2006 + (Computer Aided Verification)
- CAV 2007 + (Computer Aided Verification)
- CAV 2008 + (Computer Aided Verification)
- CAV 2009 + (Computer Aided Verification)
- CAV 2010 + (Computer Aided Verification)
- CAV 2011 + (Computer Aided Verification)
- CAV 2012 + (Computer Aided Verification)
- CAV 2013 + (Computer Aided Verification)
- CAV 2014 + (Computer Aided Verification)
- CAV 2015 + (Computer Aided Verification)
- CAV 2016 + (Computer Aided Verification)
- CAA + (Computer Applications & Quantitive Methods in Archaelogy)
- CAA 2018 + (Computer Applications and Quantitative Methods in Archaeology International Conference)
- CAA 2017 + (Computer Applications and Quantitative Methods in Archaeology International Conference)
- CAA 2009 + (Computer Applications and Quantitative Methods in Archaeology)
- CAA 2019 + (Computer Applications and Quantitative Methods in Archaeology)
- CAA 2021 + (Computer Applications and Quantitative Methods in Archaeology)
- CGI 2009 + (Computer Graphics International)
- CGI + (Computer Graphics International)
- CGI 2021 + (Computer Graphics International)
- CGI 2018 + (Computer Graphics International 2018)
- CGI 2019 + (Computer Graphics International 2019)
- CGI 2020 + (Computer Graphics International 2020)
- CISSE 2007 + (Computer Information, and Systems Sciences, and Engineering)
- CSCUBS 2016 + (Computer Science Conference for University of Bonn Students)
- CSCUBS 2017 + (Computer Science Conference for University of Bonn Students)
- CSIT 2009 + (Computer Science and Information Technologies)
- COMPSAC 2020 + (Computer Software and Applications Conference)
- CSCL + (Computer Supported Collaborative Learning)
- CSCL 2020 + (Computer Supported Collaborative Learning)
- CSCL 2017 + (Computer Supported Collaborative Learning)
- CVTDSC 2013 + (Computer Vision Techniques for the Diagnosis of Skin Cancer)
- CVWW 2009 + (Computer Vision Winter Workshop)
- CVPR 2017 + (Computer Vision and Pattern Recognition)
- CVPR 2016 + (Computer Vision and Pattern Recognition)
- CVPR 2015 + (Computer Vision and Pattern Recognition)
- CMIG 2010 + (Computerized Medical Imaging and Graphics Special Issue on Skin Cancer Image Analysis)
- Computers & Education + (Computers & Education)
- CF 2008 + (Computing Frontiers Conference)
- Computing Science and Technology International Journal + (Computing Science and Technology International Journal)
- Computing Surveys + (Computing Surveys)
- OPODIS 2019 + (Conference On Principles Of Distributed Systems)
- CLEF + (Conference and Labs of the Evaluation Forum)
- UAI + (Conference in Uncertainty in Artificial Intelligence)
- UAI 2020 + (Conference in Uncertainty in Artificial Intelligence)
- SIGCOMM 2017 + (Conference of the ACM Special Interest Group on Data Communication)
- AACL 2008 + (Conference of the American Association for Corpus Linguistics)
- AMTA + (Conference of the Association for Machine Translation in the Americas)
- EAMT + (Conference of the European Association for Machine Translation)
- EACL + (Conference of the European Chapter of the Association for Computational Linguistics)
- ESGCO 2008 + (Conference of the European Study Group of Cardiovascular Oscillations)
- INTERSPEECH 2019 + (Conference of the International Speech Communication Association (INTERSPEECH))
- PACLING + (Conference of the Pacific Association for Computational Linguistics)
- SAT 2008 + (Conference on Theory and Applications of Satisfiability Testing)
- Agile + (Conference on Agile Software Development)
- AofA + (Conference on Analysis of Algorithms)
- CASA 2012 + (Conference on Anthropology & Sustainability in Asia - Anthropological Perspectives on Holistic Sustainability)
- AGI 2008 + (Conference on Artificial General Intelligence)
- AAAI + (Conference on Artificial Intelligence)
- CAIA + (Conference on Artificial Intelligence for Applications)
- ALIFE 2021 + (Conference on Artificial Life)
- COCOA + (Conference on Combinatorial Optimization and Applications)
- CCC 2009 + (Conference on Computational Complexity)
- INFOCOM + (Conference on Computer Communications)
- INFOCOM 1995 + (Conference on Computer Communications 1995)
- INFOCOM 1996 + (Conference on Computer Communications 1996)
- INFOCOM 1997 + (Conference on Computer Communications 1997)
- INFOCOM 1998 + (Conference on Computer Communications 1998)
- INFOCOM 1999 + (Conference on Computer Communications 1999)
- INFOCOM 2000 + (Conference on Computer Communications 2000)
- INFOCOM 2001 + (Conference on Computer Communications 2001)
- INFOCOM 2002 + (Conference on Computer Communications 2002)
- INFOCOM 2003 + (Conference on Computer Communications 2003)
- INFOCOM 2004 + (Conference on Computer Communications 2004)
- INFOCOM 2005 + (Conference on Computer Communications 2005)
- INFOCOM 2006 + (Conference on Computer Communications 2006)
- INFOCOM 2007 + (Conference on Computer Communications 2007)
- INFOCOM 2008 + (Conference on Computer Communications 2008)
- CVPR 2019 + (Conference on Computer Vision and Pattern Recognition)
- CCS + (Conference on Computer and Communications Security)
- CCS 1997 + (Conference on Computer and Communications Security 1997)
- CHES 2021 + (Conference on Cryptographic Hardware and Embedded Systems)
- CHES 2018 + (Conference on Cryptographic Hardware and Embedded Systems 2018)
- CHES 2019 + (Conference on Cryptographic Hardware and Embedded Systems 2019)
- CWCON 2009 + (Conference on Cyber Warfare)
- DASFAA 2020 + (Conference on Database Systems for Advanced Applications)
- DASIP 2008 + (Conference on Design and Architectures for Signal and Image Processing)
- DIS 2018 + (Conference on Designing Interactive Systems)
- DIS 2004 + (Conference on Designing Interactive Systems)
- DIS 1995 + (Conference on Designing Interactive Systems)
- DIS 2012 + (Conference on Designing Interactive Systems)
- DIS 2002 + (Conference on Designing Interactive Systems)
- DIS 2017 + (Conference on Designing Interactive Systems)
- DIS 2014 + (Conference on Designing Interactive Systems)
- DIS 1997 + (Conference on Designing Interactive Systems)
- DIS 2016 + (Conference on Designing Interactive Systems)
- DIS 2019 + (Conference on Designing Interactive Systems)
- DIS 2006 + (Conference on Designing Interactive Systems)
- DPPI 2007 + (Conference on Designing Pleasurable Products and Interfaces 2007)
- EMNLP 2019 + (Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing)
- EMNLP 2008 + (Conference on Empirical Methods in Natural Language Processing)
- EMNLP 2016 + (Conference on Empirical Methods in Natural Language Processing)
- EMNLP 2015 + (Conference on Empirical Methods in Natural Language Processing)
- EMNLP 2014 + (Conference on Empirical Methods in Natural Language Processing)
- EMNLP + (Conference on Empirical Methods in Natural Language Processing)
- EMNLP 2017 + (Conference on Empirical Methods in Natural Language Processing)
- EMNLP 2018 + (Conference on Empirical Methods in Natural Language Processing)
- EMNLP 2020 + (Conference on Empirical Methods in Natural Language Processing)
- EMNLP 2009 + (Conference on Empirical Methods in Natural Language Processing)
- ICEIS 2008 + (Conference on Enterprise Information Systems)
- EDBT + (Conference on Extending Database Technology)
- FSTTCS + (Conference on Foundations of Software Technology and Theoretical Computer Science)
- FUN + (Conference on Fun with Algorithms)
- GECCO 2020 + (Conference on Genetic and Evolutionary Computation)
- GECCO 2019 + (Conference on Genetic and Evolutionary Computation)
- GECCO 2018 + (Conference on Genetic and Evolutionary Computation)
- GECCO 2017 + (Conference on Genetic and Evolutionary Computation)
- ICGL 2008 + (Conference on Global Interoperability for Language Resources)
- CHI + (Conference on Human Factors in Computing Systems)
- CHI 2020 + (Conference on Human Factors in Computing Systems)
- CHI 1997 + (Conference on Human Factors in Computing Systems)
- HSI 2008 + (Conference on Human System Interactions)
- CISTM + (Conference on Information Science, Technology and Management)
- CISS 2009 + (Conference on Information Sciences and Systems)
- CIKM + (Conference on Information and Knowledge Management)
- CIDR + (Conference on Innovative Data Systems Research)
- CIDR 2020 + (Conference on Innovative Data Systems Research)
- CIDR 2019 + (Conference on Innovative Data Systems Research)
- CIDRE 2017 + (Conference on Innovative Data Systems Research)
- IPCO + (Conference on Integer Programming and Combinatorial Optimization)
- IPCO 2020 + (Conference on Integer Programming and Combinatorial Optimization)
- CIP 2009 + (Conference on Intellectual Property)
- ITP + (Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009))
- KESW + (Conference on Knowledge Engineering and Semantic Web)
- LCTES 2010 + (Conference on Languages, Compilers and Tools for Embedded Systems)
- CLEO + (Conference on Lasers and Electro-Optics)
- CLEO 2016 + (Conference on Lasers and Electro-Optics)
- CLEO 2017 + (Conference on Lasers and Electro-Optics)
- CLEO 2018 + (Conference on Lasers and Electro-Optics)
- CLEO 2019 + (Conference on Lasers and Electro-Optics)
- CLEO 2020 + (Conference on Lasers and Electro-Optics)
- LCN 2000 + (Conference on Local Computer Networks 2000)
- LCN 2001 + (Conference on Local Computer Networks 2001)
- LCN 2002 + (Conference on Local Computer Networks 2002)
- LCN 2003 + (Conference on Local Computer Networks 2003)
- LCN 2004 + (Conference on Local Computer Networks 2004)
- LCN 2005 + (Conference on Local Computer Networks 2005)
- LCN 2006 + (Conference on Local Computer Networks 2006)
- LCN 2007 + (Conference on Local Computer Networks 2007)
- CoNLL + (Conference on Natural Language Learning)
- CoNLL 2020 + (Conference on Natural Language Learning)
- CoNLL 2019 + (Conference on Natural Language Learning)
- CoNLL 2018 + (Conference on Natural Language Learning)
- CoNLL 2017 + (Conference on Natural Language Learning)
- OOPSLA 2009 + (Conference on Object-Oriented Programming, Systems, Languages, and Applications)
- OFC 2008 + (Conference on Optical Fiber Communication - 2008 Collocated National Fiber Optic Engineers Conference OFC/NFOEC)
- RecSys + (Conference on Recommender Systems)
- RecSys2 + (Conference on Recommender Systems)
- SCN + (Conference on Security and Cryptography for Networks)
- JSM 2008 + (Conference on Semantics and Modelisation)
- SEKE + (Conference on Software Engineering & Knowledge Engineering)
- SEKE 2020 + (Conference on Software Engineering & Knowledge Engineering)
- SOFTCOM + (Conference on Software in Telecommunications and Computer Networks)
- TAMC + (Conference on Theory and Applications of Models of Computation)
- UAI 2017 + (Conference on Uncertainty in Artificial Intelligence)
- WINE + (Conference on Web and Internet Economics)
- Conference on Youth and Language 2008 + (Conference on Youth and Language)
- GameSec + (Conference on the Decision and Game Theory for Security)
- CLEI 2008 + (Conferencia Latinoamericana de Informática)
- CIPIC 2011 + (Contemporary Identities Paris International Conference)
- Digital History LU 2009 + (Contemporary history in the digital age)
- CMTC+DP@CICM 2010 + (Content Math Training Camp and Doctoral Programme at CICM 2010)
- CCG 2008 + (Continuity and Change in Grammar)
- Continuity and Change in Grammar 2008 + (Continuity and Change in Grammar)
- CISA 2008 + (Contrastive Information Structure Analysis)
- CWI 2008 + (Cooperation for Waste Issues - the 5th International Conference)
- CL 2009 + (Corpus Linguistics)
- Corpus Profiling 2008 + (Corpus Profiling for Information Retrieval and Natural Language Processing Workshop)
- Correctness 2017 + (Correctness 2017 : First International Workshop on Software Correctness for HPC Applications)
- CADAAD 2008 + (Critical Approaches to Discourse Analysis Across Disciplines)
- CCVPB 2007 + (Critical Cleaning Validation for Pharmaceuticals & Biotech)
- GlobE 2008 + (Critical Discourse Analysis and Global Media)
- Critical Voices 2017 + (Critical Voices 2017 : Critical Voices 2017: Memory, Culture, and Identity)
- PE 2008 + (Cross-Framework and Cross-Domain Parser Evaluation)
- Cross: an OWL wrapper for teasoning on relational databases + (Cross: an OWL wrapper for teasoning on relational databases)
- Crossroads + (Crossroads: The International ACM Student Magazine)
- CRYPTO 2018 + (Crypto 2018)
- CATAC + (Cultural Attitudes towards Technology and Communications)
- Cultrue Clashes & Cu 2008 + (Culture Clashes: Social Construction & Cultural Ecology)
- Spanish & Portuguese Second Language 2008 + (Current Approaches to Spanish & Portuguese Second Language)
- SOFSEM 2009 + (Current Trends in Theory and Practice of Computer Science)
- SOFSEM + (Current Trends in Theory and Practice of Computer Science)
- CyberSafety 2016 + (CyberSafety 2016 : 1st International Workshop on Computational Methods for CyberSafety)
- CyberSec 2017 + (CyberSec 2017 : The Fifth International Conference on Cyber Security, Cyber Welfare and Digital Forensic)
- CSET 2009 + (CyberSecurity Experimentation and Test)
- D2RQ – Treating Non-RDF Databases as Virtual RDF Graphs + (D2RQ – Treating Non-RDF Databases as Virtual RDF Graphs)
- DAIICT + (DAIICT)
- DASFAA 2017 + (DASFAA 2017 : The 22nd International Conference on Database Systems for Advanced Applications)
- DQCIS 2008 + (DASFAA 2008 Workshop on Data Quality in Collaborative Information Systems)
- DATA STREAMS TRACK 2017 + (DATA STREAMS TRACK 2017 : DATA STREAMS TRACK - ACM SAC 2017)
- DAVA 2016 + (DAVA 2016 : 2nd International Workshop on DAta mining meets Visual Analytics at big data era In Conjunction with CIKM 2016)
- DCTA 2017 : Data Analytics: Concepts, Techniques and Applications + (DCTA 2017 : Data Analytics: Concepts, Techniques and Applications)
- Democracy, Liberalis 2007 + (DEMOCRACY, LIBERALISM AND THE RELEVANCE OF)
- DFO Automobil-Tagung + (DFO Automobil-Tagung European Automotive Coating)
- DHLabs 2016 + (DHLabs 2016 : Digital Humanities Centres: Experiences and Perspectives)
- DICTAP 2017 + (DICTAP 2017 : The Seventh International Conference on Digital Information and Communication Technology and Applications)
- DIPEWC 2017 + (DIPEWC 2017 : The Second International Conference on Digital Information Processing, Electronics, and Wireless Communications)
- DIR 2016 + (DIR 2016 : 15TH DUTCH-BELGIAN INFORMATION RETRIEVAL WORKSHOP (DIR) 2016)
- DIVERSITY HONORS 2017 + (DIVERSITY HONORS 2017 : Diversity, Equity and Inclusion in Honors Education - book)
- DMCS 2017 + (DMCS 2017 : DMCS - Data Mining for Cyber Security 2017 (collocated with IEEE ICDM'17))
- DNA + (DNA Computing and Molecular Programming)
- DODAF 2008 + (DOD Architecture Framework Modeling)
- DOMAINfest 2008 + (DOMAINfest (TM) Global 2008)
- DPIL @ FIRE 2016 + (DPIL @ FIRE 2016 : Shared Task on Detecting Paraphrase in Indian Languages (DPIL) held in conjunction with FIRE2016)
- DRAWING OUT 2010 + (DRAWING OUT)
- DSHCM 2017 + (DSHCM 2017 : First Call for Papers - The 1st International Workshop on Data Science for Human Capital Management (collocated with IEEE ICDM'17))
- DSN 2017 + (DSN 2017 : The 47th IEEE/IFIP International Conference on Dependable Systems and Networks)
- DCC + (Data Compression Conference)
- DCC 2020 + (Data Compression Conference)
- DIST 2008 + (Data Integration Through Semantic Technology)
- DILS + (Data Integration in the Life Sciences)
- DILS 2008 + (Data Integration in the Life Sciences 2008)
- DMB 2008 + (Data Mining in Business)
- Data Science and Digital Libraries group Hannover + (Data Science and Digital Libraries group Hannover)
- DaWaK + (Data Warehousing and Knowledge Discovery)
- AM-SD2017 + (Data-Driven Approaches for Analyzing and Managing Scholarly Data: Systems, Methods and Applications)
- DataMaster – a Plug-in for Importing Schemas and Data from Relational Databases into Protégé + (DataMaster – a Plug-in for Importing Schemas and Data from Relational Databases into Protégé)
- DEXA + (Database and Expert Systems Applications)
- DBPL + (Databases and Programming Language)
- DMCon 2017 + (David Mitchell Conference 2017)
- Debt and Slavery 2017 + (Debt and Slavery 2017 : grad student)
- Soft Computing SI 2009 + (Decision Intelligence with Soft Computing)
- IJBET special issue 2008 + (Decision Support in Medicine)
- DALT 2008 + (Declarative Agent Languages and Technologies)
- DAMP 2006 + (Declarative Programming Languages for Multicore Architectures 2006)
- DOOD + (Deductive and Object-Oriented Databases)
- DeepSec 2016 + (DeepSec 2016 : DeepSec)
- Defective Paradigms 2008 + (Defective Paradigms)
- DependSys 2017 : The Third International Symposium on Dependability in Sensor, Cloud, and Big Data Systems and Applications (DependSys 2017) + (DependSys 2017 : The Third International Symposium on Dependability in Sensor, Cloud, and Big Data Systems and Applications (DependSys 2017))
- DADS 2017 + (Dependable, Adaptive, and Trustworthy Distributed Systems 2017)
- DAC + (Design Automation Conference)
- DIS 2010 + (Design Interactive Systems)
- RMITUP 2009 + (Design Research with RMIT University Press: Call for Proposals)
- NGCA 2007 + (Design and Manufacture for Next-Generation Composites Applications)
- DUX + (Design for User Experience)
- DATICS 2009 + (Design, Analysis and Tools for Integrated Circuits and Systems)
- DATICS 2008 + (Design, Analysis and Tools for Integrated Circuits and Systems)
- DATE 2010 + (Design, Automation & Test in Europe)
- DATE 2009 + (Design, Automation & Test in Europe, Embedded Software Track)
- DATE + (Design, Automation and Test in Europe Conference)