Concepedia

Canonical Representative Selection

Canonical Representative Selection is a reference database curation method that identifies and designates a single, authoritative data instance as the primary exemplar within a set of semantically equivalent or highly similar entries, thereby ensuring consistency, reducing redundancy, and facilitating interoperability across knowledge organizations.

7

Publications

1K

Citations

11

Authors

6

Institutions

Publications per year

2017–2026

0

Parents

Publications

7

The Transitive Reduction of a Directed Graph

Alfred V. Aho, M. R. Garey, Jeffrey D. Ullman · SIAM Journal on Computing · 1972 · 723 citations

, , +15

Intuitionistic model constructions and normalization proofs

Thierry Coquand, Peter Dybjer · Mathematical Structures in Computer Science · 1997 · 86 citations

, , +12

Boolean matching for large libraries

Uwe Hinsberger, Reiner Kolla · 1998 · 57 citations · Full text

, , +17

Length-Based Attacks for Certain Group Based Encryption Rewriting Systems

James P. Hughes, Allen Tannenbaum · ArXiv.org · 2003 · 55 citations · Full text

, , +12

Exploiting heap symmetries in explicit-state model checking of software

Radu Iosif · 2005 · 52 citations

, , +12

1–5 of 7

Authors

11

  1. SM
    Samuel Mimram

    Laboratoire d'Intégration des Systèmes et des Technologies, France

    2 publications · 50 citations

    2

    h-index

  2. RK
    Reiner Kolla

    University of Würzburg, Germany

    1 publications · 57 citations

    1

    h-index

  3. JP
    James P. Hughes

    University of Washington, United States

    1 publications · 55 citations

    1

    h-index

  4. TC
    Thierry Coquand

    Chalmers University of Technology, Sweden

    1 publications · 86 citations

    1

    h-index

  5. AV
    Alfred V. Aho

    Princeton University, United States

    1 publications · 723 citations

    1

    h-index

1–5 of 11

Institutions

6

  1. Chalmers University of Technology

    Gothenburg, Sweden

    1 h-index

    2 publications

    172 citations

  2. Integra (United States)

    El Segundo, United States

    1 h-index

    1 publications

    17 citations

  3. Commissariat à l'Énergie Atomique et aux Énergies Alternatives

    Paris, France

    1 h-index

    1 publications

    33 citations

  4. Laboratoire d'Intégration des Systèmes et des Technologies

    Palaiseau, France

    1 h-index

    1 publications

    33 citations

  5. University of Würzburg

    Würzburg, Germany

    1 h-index

    1 publications

    57 citations

  6. Kansas State University

    Manhattan, United States

    1 h-index

    1 publications

    52 citations

1–6 of 6

Venues

  1. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 1 publications · 17 citations

    1

    h-index

  2. ArXiv.org

    Repository · 1 publications · 55 citations

    1

    h-index

  3. Mathematical Structures in Computer Science

    MSCS · 1 publications · 86 citations

    1

    h-index

  4. SIAM Journal on Computing

    1 publications · 723 citations

    1

    h-index

  5. Logical Methods in Computer Science

    LMCS · 1 publications · 33 citations

    1

    h-index

1–5