Concepedia

Linearizability

Linearizability is a memory consistency model that belongs to the class of correctness conditions for concurrent systems, differing from its peers by requiring that each operation appears to take effect instantaneously at some point between its invocation and response, thereby preserving the illusion of atomicity.

119

Publications

10K

Citations

241

Authors

137

Institutions

Publications per year

2017–2026

18

Parents

Publications

119

Linearizability: a correctness condition for concurrent objects

Maurice Herlihy, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1990 · 3.2K citations · Full text

, , +16

The swing up control problem for the Acrobot

Mark W. Spong · IEEE Control Systems · 1995 · 950 citations

, , +17

Velocity and position control of a wheeled inverted pendulum by partial feedback linearization

Kaustubh Pathak, Jaume Franch, Sunil K. Agrawal · IEEE Transactions on Robotics · 2005 · 550 citations

, , +17

An integral manifold approach to the feedback control of flexible joint robots

Mark W. Spong, K. Khorasani, P.V. Kokotović · IEEE Journal on Robotics and Automation · 1987 · 450 citations

, , +17

Transactional boosting

Maurice Herlihy, Eric Koskinen · 2008 · 311 citations

, , +15

1–5 of 119

Authors

241

  1. VG
    Valery G. Romanovski

    University of Maribor, Slovenia

    8 publications · 223 citations

    8

    h-index

  2. XC
    Xingwu Chen

    Sichuan University, China

    4 publications · 112 citations

    4

    h-index

  3. SB
    Slim Boumaiza

    University of Waterloo, Canada

    3 publications · 100 citations

    3

    h-index

  4. MR
    Michel Raynal

    Institut de Recherche en Informatique et Systèmes Aléatoires, France

    3 publications · 70 citations

    3

    h-index

  5. MT
    Marco Tognon

    Centre National de la Recherche Scientifique, France

    3 publications · 98 citations

    3

    h-index

1–5 of 241

Institutions

137

  1. University of Maribor

    Maribor, Slovenia

    8 h-index

    12 publications

    327 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    10 publications

    336 citations

  3. University of Waterloo

    Waterloo, Canada

    6 h-index

    11 publications

    273 citations

  4. University of Illinois Urbana-Champaign

    Urbana, United States

    5 h-index

    9 publications

    2.6K citations

  5. Technion – Israel Institute of Technology

    Haifa, Israel

    5 h-index

    5 publications

    360 citations

  6. Sichuan University

    Chengdu, China

    4 h-index

    6 publications

    157 citations

  7. The University of Texas at Austin

    Austin, United States

    3 h-index

    6 publications

    573 citations

  8. University of Michigan

    Ann Arbor, United States

    3 h-index

    4 publications

    459 citations

1–8 of 137

Venues

  1. IEEE Transactions on Automatic Control

    5 publications · 324 citations

    5

    h-index

  2. International Journal of Control

    5 publications · 349 citations

    5

    h-index

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

    Repository · 3 publications · 83 citations

    3

    h-index

  4. Journal of Physics A Mathematical and General

    3 publications · 110 citations

    3

    h-index

  5. Formal Aspects of Computing

    2 publications · 24 citations

    2

    h-index

1–5