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 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))