Fields · Physical Sciences · Computer Science

Software

non-tangible executable component of a computer

Papers listed on taxonomy pages are the top few works per node from the OpenAlex snapshot. That list is not exhaustive and is not an endorsement. The topic map and the journal registry remain separate: there is still no authoritative topic-to-venue or topic-to-organization edge. Search is a lexical lookup, not a claim that a venue publishes a topic.

Most cited

  1. Primer3—new capabilities and interfaces

    Andreas Untergasser, Ioana Cutcutache, Triinu Kõressaar, Jian Ye · 2012 · Nucleic Acids Research · 9,959 citations

  2. Introduction to Probability Models.

    Flavia Jolliffe, Sheldon M. Ross · 1995 · Journal of the Royal Statistical Society Series A (Statistics in Society) · 4,605 citations

  3. UCSF ChimeraX : Tools for structure building and analysis

    Elaine C. Meng, Thomas D. Goddard, Eric F. Pettersen, Greg S. Couch · 2023 · Protein Science · 4,598 citations

  4. Program Slicing

    Mark Weiser · 1984 · IEEE Transactions on Software Engineering · 3,220 citations

  5. Symbolic execution and program testing

    James C. King · 1976 · Communications of the ACM · 3,025 citations

  6. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

    Cristian Cadar, Daniel Dunbar, Dawson Engler · 2008 · 2,681 citations

Most recent

  1. Plans Work in Mysterious Ways: Evaluating A Plan Mode for Spreadsheet Agents - Supplementary Material

    Aayush Kumar · 2026 · Zenodo (CERN European Organization for Nuclear Research) · 0 citations

  2. Plans Work in Mysterious Ways: Evaluating A Plan Mode for Spreadsheet Agents - Supplementary Material

    Aayush Kumar · 2026 · Zenodo (CERN European Organization for Nuclear Research) · 0 citations

  3. Attention Is All You Needed, Eventually: A Interdisciplinary Mapping Review of The Transformer Revolution in Sequence Modeling

    Zen Revista, 10 IA · 2026 · Zenodo (CERN European Organization for Nuclear Research) · 0 citations

  4. Attention Is All You Needed, Eventually: A Interdisciplinary Mapping Review of The Transformer Revolution in Sequence Modeling

    Zen Revista, 10 IA · 2026 · Zenodo (CERN European Organization for Nuclear Research) · 0 citations

  5. هل يصح أن تبقى وثيقة المواصفات في التطوير التعاقدي على شكل Excel؟ ── اختيار الصيغة المناسبة كمسلم (archived 2026-09-02)

    Go Komura · 2026 · Zenodo (CERN European Organization for Nuclear Research) · 0 citations

  6. Modeling uncertainty in performance validity testing with Bayesian logistic regression

    Lee Ashendorf · 2026 · The Clinical Neuropsychologist · 0 citations

Search this subfield

Topics