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
- TSFME 2011 + (CSEDU International Workshop on Tool Support for Formal Methods Education)
- CeLS 2011 + (CSEDU Special Session on Collaborative e-Learning Systems - CeLS 2011)
- UeL 2011 + (CSEDU Special Session on Ubiquitous e-Learning - UeL 2011)
- ATTeL + (CSEDU Special Session on Assessment Tools and Techniques for e-Learning)
- CSEIJ 2017 : Computer Science & Engineering: An International Journal + (CSEIJ 2017 : Computer Science & Engineering: An International Journal)
- CSEN 2016 + (CSEN 2016 : Third International Conference on Computer Science & Engineering)
- CSER 2017 + (CSER 2017 : 5th international academic conference of IESE: Challenges of social and economic research in times of crisisâ)
- CSIRO ICT + (CSIRO ICT)
- CSIT 2017 + (CSIT 2017 : 4th International Conference on Computer Science and Information Technology)
- CSITA 2016 + (CSITA 2016 : Second International Conference on Computer Science, Information Technology and Applications)
- CSMR-WCRE 2014 + (CSMR-WCRE 2014 Software Evolution Week)
- CSSTCTORINO 2017 : I CONVEGNO INTERNAZIONALE SUL DRAMMA ANTICO - IL TEATRO DIMENTICATO / THE FORGOTTEN THEATRE - UNIVERSITA' DEGLI STUDI DI TORINO, 30 NOVEMBRE-1 DICEMBRE 2017. + (CSSTCTORINO 2017 : I CONVEGNO INTERNAZIONALE SUL DRAMMA ANTICO - IL TEATRO DIMENTICATO / THE FORGOTTEN THEATRE - UNIVERSITA' DEGLI STUDI DI TORINO, 30 NOVEMBRE-1 DICEMBRE 2017.)
- CSTSC 2016 + (CSTSC 2016 : Workshop on AppliCations, Services and Techniques related to Smart City)
- SnT2017 + (CTBT: Science and Technology 2017 Conference)
- CTS 2016 + (CTS 2016 : News: Jonathan Grudin at CTS 2016)
- (CVCI 2025) 2025 6th International Conference on Computer Vision and Computational Intelligence + (CVCI 2025)
- CYMADA 2016 + (CYMADA 2016 : Cyber Security Assessment, Risk Management, Training Technologies and Data Analytics)
- CaSON 2016 + (CaSON 2016 : The 8th International Conference on Computational Aspects of Social Network (CaSON'16))
- VISUALIZAR 2009 + (Call for Papers and on Public Data Visualization)
- ICITST 2009 + (Call for Special Tracks: The 4th International Conference for Internet Technology and Secured Transactions)
- IEEE DEST 2009 + (Call for papers IEEE DEST 2009 - Submission Deadline Extended)
- Clinical Medicine: Psychiatry 2009 + (Call for papers for Clinical Medicine: Psychiatry from Dr Jaswinder Kaur Ghuman)
- Clinical Medicine: Reproductive Health 2009 + (Call for papers for Clinical Medicine: Reproductive Health from Dr Zeev Blumenfeld)
- CICE-2011 + (Canada International Conference on Education)
- CICE-2017 + (Canada International Conference on Education)
- CICE-2012 + (Canada International Conference on Education (CICE-2012))
- CCAI 2008 + (Canadian Conference on Artificial Intelligence)
- CMA 2007 + (Carbon Markets Africa)
- CM USA 2007 + (Carbon Markets USA)
- Carinthia University of Applied Sciences + (Carinthia University of Applied Sciences)
- CYSS + (CataLight Young Scientist Symposium (CYSS))
- Cell Gene Therapy 2016 + (Cell & Gene Therapy Conference 2016 : 3rd Cell & Gene Therapy Conference)
- Center for Valorization and Transfer of Competence CVTC + (Center for Valorization and Transfer of Competence CVTC)
- CLADE 2009 + (Challenges of Large Applications in Distributed Environments)
- VALSASLA Conference 2008 + (Changing Societies)
- CAIA 2009 + (Chaos and Agile In Action)
- CA 2009 + (Chaos and Agile In Action 2009)
- CMO Journal 2009 + (Chief Marketing Officer Journal Issues Call for Papers)
- CCC 2008 + (Chinese Control Conference)
- CCDC 2008 + (Chinese Control and Decision Conference)
- CCDC 2009 + (Chinese Control and Decision Conference)
- CiVEJ 2017 : Civil Engineering and Urban Planning: An International Journal + (CiVEJ 2017 : Civil Engineering and Urban Planning: An International Journal)
- Cityscapes 2008 + (Cityscapes, conference March 27-30, 2008)
- IJCIBSB special issue 2008 + (Classify the Classifiers: Investigating the Optimum Classification Technique Per Case in Bioinformatics)
- CBF 2007 + (Clinical Biomarkers Forum)
- Clinical Biomarkers 2007 + (Clinical Biomarkers Forum)
- CloudAM 2016 + (CloudAM 2016 : 5th INTERNATIONAL WORKSHOP ON CLOUDS AND (ESCIENCE) APPLICATIONS MANAGEMENT)
- CloudAM 2017 : 6th INTERNATIONAL WORKSHOP ON CLOUDS AND (ESCIENCE) APPLICATIONS MANAGEMENT + (CloudAM 2017 : 6th INTERNATIONAL WORKSHOP ON CLOUDS AND (ESCIENCE) APPLICATIONS MANAGEMENT)
- CCDR 2007 + (Coarticulation: Cues, Direction, and Representation)
- CE 2008 + (Coastal Environment 2008)
- CG 2008 + (Code Generation 2008)
- CodeMobile 2017 + (CodeMobile 2017 : CodeMobile)
- Codingdays 2008 + (Coding Theory Days in St. Petersburg)
- CogALex 2016 + (CogALex 2016 : Cognitive Aspects of the Lexicon)
- CASLA 2008 + (Cognitive Approaches to Second Language Acquisition)
- LAUD 2007 + (Cognitive Approaches to Second Language Processing)
- CogALex 2008 + (Cognitive Aspects of the Lexicon: Enhancing the Structure, Indexes and Entry Points of Electronic Dictionaries)
- IJAACS special issue 2009 + (Cognitive Radio Systems)
- CFP 2008 + (Cognitive and Functional Perspectives on Dynamic Tendencies)
- RGM 2007 + (Cold Spring Harbor meeting on Rat Genomics and Models)
- SLT4MED 2008 + (Coling 2008 Workshop on Speech Translation for Medical and Other Safety-Critical Applications)
- HJCL 2008 + (Coling 2008 workshop on human judgements in Computational Linguistics)
- SOFTEAM 2009 + (Collaboration and Knowledge Sharing in Software Development Teams)
- CollECTeR 2007 + (Collaborative Electronic Commerce Technology and Research)
- CollECTeR + (Collaborative Electronic Commerce Technology and Research)
- CSIRA 2007 + (Collaborative and Social Information Retrieval and Access: Techniques for Improved User Modeling)
- CIC 2009 + (Color Imaging Conference)
- ComNet 2017 + (ComNet 2017 : 6th International Conference on Communications and Networking ComNet'2017)
- ComNet-IoT 2017 + (ComNet-IoT 2017 : The 6th International Workshop on Computing and Networking for Internet of Things)
- CPM + (Combinatorial Pattern Matching)
- CSKGOI 2008 + (Common Sense Knowledge and Goal-Oriented Interfaces)
- CSIUI 2009 + (Common Sense and Intelligent User Interfaces 2009: Story Understanding and Generation for Context-Aware Interface Design)
- CERLIS 2008 + (Commonality and Individuality in English Academic Discourse)
- CNSR 2009 + (Communications Networks and Services Research Conference)
- CACM + (Communications of the ACM)
- Comparch 2015 + (CompArch 2015 federated events: CBSE 2015, QoSA 2015, WCOP)
- CPE 2009 + (Compatibility and Power Electronics)
- CITB + (Complexity and information-theoretic approaches to biology)
- CSME 2008 + (Components for Military and Space Electronics Conference and Exhibition)
- CiE 2008 + (Computability in Europe 2008: Logic and Theory of Algorithms)
- CBCA 2008 + (Computational Biophysics with Chemical Accuracy)
- CCIW 2009 + (Computational Color Imaging Workshop)
- CIIS 2016 + (Computational Intelligence in Information Systems)
- CLAGI 2009 + (Computational Linguistic Aspects of Grammatical Inference)
- CoPaLaSt 2007 + (Computational Paradigms and Language Structure)
- CAV + (Computer Aided Verification)
- CAV 1991 + (Computer Aided Verification)
- CAV 1990 + (Computer Aided Verification)
- CAV 1992 + (Computer Aided Verification)
- CAV 1993 + (Computer Aided Verification)
- CAV 1994 + (Computer Aided Verification)
- CAV 1995 + (Computer Aided Verification)
- CAV 1996 + (Computer Aided Verification)
- CAV 1997 + (Computer Aided Verification)
- CAV 1998 + (Computer Aided Verification)
- CAV 1999 + (Computer Aided Verification)
- CAV 2000 + (Computer Aided Verification)
- CAV 2002 + (Computer Aided Verification)
- CAV 2001 + (Computer Aided Verification)
- CAV 2003 + (Computer Aided Verification)
- CAV 2004 + (Computer Aided Verification)
- CAV 2005 + (Computer Aided Verification)
- 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)