Search by property
Jump to navigation
Jump to search
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
- ICSE 2002 + (International Conference on Software Engineering 2002)
- ICSE 2003 + (International Conference on Software Engineering 2003)
- ICSE 2004 + (International Conference on Software Engineering 2004)
- ICSE 2005 + (International Conference on Software Engineering 2005)
- ICSE 2006 + (International Conference on Software Engineering 2006)
- ICSE 2007 + (International Conference on Software Engineering 2007)
- SEFM + (International Conference on Software Engineering and Formal Methods)
- SETP 2008 + (International Conference on Software Engineering Theory and Practice)
- SEEP + (International Conference on Software Engineering: Education and Practice)
- SLE + (International Conference on Software Language Engineering)
- SLE 2008 + (International Conference on Software Language Engineering 2008)
- ICSM + (International Conference on Software Maintenance)
- ICSM 2020 + (International Conference on Software Maintenance)
- ICSR + (International Conference on Software Reuse)
- ICSR 2008 + (International Conference on Software Reuse 2008)
- ICST + (International Conference on Software Testing, Verification and Validation)
- ICST 2020 + (International Conference on Software Testing, Verification and Validation)
- SKIMA 2008 + (International conference on Software, Knowledge, Information Management and Applications)
- SoftCOM + (International Conference on Software, Telecommunications and Computer Networks)
- INTERSPEECH 2009 + (International Conference on Spoken Language Processing)
- INTERSPEECH 2008 + (International Conference on Spoken Language Processing)
- ICOSSAR 2009 + (International Conference on Structural Safety and Reliability)
- ICS 2008 + (International Conference on Supercomputing)
- ICS + (International Conference on Supercomputing)
- ICS 2017 + (International Conference on Supercomputing)
- TaMoCo 2008 + (International Conference on Techniques and Applications for Mobile Commerce)
- TEEM + (International Conference on Technological Ecosystems for Enhancing Multiculturality)
- ICTEL 2010 + (International Conference on Technology-Enhanced Learning)
- ICTL + (International Conference on Temporal Logic)
- ICTSS 2016 + (International Conference on Testing Software and Systems)
- TAP 2008 + (International Conference on Tests and Proofs 2008)
- TSD 2009 + (International Conference on TEXT, SPEECH and DIALOGUE)
- 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)
- TABLEAUX + (International Conference on Theorem Proving with Analytic Tableaux and Related Methods)
- TABLEAUX 2020 + (International Conference on Theorem Proving with Analytic Tableaux and Related Methods)
- ICTAS 2016 + (International Conference on Theoretical and Applied Statistics)
- TMFCS 2008 + (International Conference on Theoretical and Mathematical Foundations of Computer Science)
- TMI + (International Conference on Theoretical and Methodological Issues in machine Translation)
- SAT + (International Conference on Theory and Applications of Satisfiability Testing)
- SAT 2020 + (International Conference on Theory and Applications of Satisfiability Testing)
- TPDL + (International Conference on Theory and Practice of Digital Libraries)
- TACAS 2008 + (International Conference on Tools and Algorithms for the Construction and Analysis of Systemss 2008)