Concepedia

Red-black Trees

Red-Black Trees is a self-balancing binary search tree in which each node is assigned a color (red or black) and constrained by specific coloring rules to ensure logarithmic height and efficient dynamic set operations.

50

Publications

3.5K

Citations

103

Authors

66

Institutions

Publications per year

2017–2026

6

Variants

Red-black Tree

Parents

Publications

50

Software transactional memory for dynamic-sized data structures

Maurice Herlihy, Victor Luchangco, Mark Moir et al. · 2003 · 999 citations

, , +14

Test input generation with java PathFinder

Willem Visser, Corina S. Păsăreanu, Sarfraz Khurshid · 2004 · 501 citations

, , +16

TestEra: a novel framework for automated testing of Java programs

Darko Marinov, Sarfraz Khurshid · 2005 · 258 citations

, , +14

Stretching transactional memory

Aleksandar Dragojević, Rachid Guerraoui · 2009 · 210 citations · Full text

, , +14

Relational inductive shape analysis

Bor-Yuh Evan Chang, Xavier Rival · 2008 · 158 citations

, , +14

1–5 of 50

Authors

103

  1. GE
    Guy E. Blelloch

    Carnegie Mellon University, United States

    4 publications · 121 citations

    4

    h-index

  2. WV
    Willem Visser

    Stellenbosch University, South Africa

    3 publications · 637 citations

    3

    h-index

  3. BE
    Bor-Yuh Evan Chang

    University of Colorado Boulder, United States

    3 publications · 199 citations

    3

    h-index

  4. SK
    Sarfraz Khurshid

    The University of Texas at Austin, United States

    3 publications · 875 citations

    3

    h-index

  5. CS
    Corina S. Păsăreanu

    Ames Research Center, United States

    3 publications · 637 citations

    3

    h-index

1–5 of 103

Institutions

66

  1. Carnegie Mellon University

    Pittsburgh, United States

    7 h-index

    12 publications

    384 citations

  2. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    4 h-index

    6 publications

    563 citations

  3. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    3 h-index

    5 publications

    229 citations

  4. University of Illinois Urbana-Champaign

    Urbana, United States

    3 h-index

    9 publications

    324 citations

  5. University of Florida

    Gainesville, United States

    3 h-index

    7 publications

    207 citations

  6. The University of Queensland

    Brisbane, Australia

    2 h-index

    2 publications

    45 citations

  7. The University of Texas at Austin

    Austin, United States

    2 h-index

    2 publications

    617 citations

  8. Queensland University of Technology

    Brisbane, Australia

    2 h-index

    2 publications

    45 citations

1–8 of 66

Venues

  1. ACM SIGPLAN Notices

    4 publications · 119 citations

    4

    h-index

  2. arXiv (Cornell University)

    Repository · 2 publications · 45 citations

    2

    h-index

  3. Journal of Functional Programming

    2 publications · 139 citations

    2

    h-index

  4. 2

    h-index

  5. International Journal of Foundations of Computer Science

    IJFCS · 1 publications · 20 citations

    1

    h-index

1–5