Concepedia

Polyhedral Analysis

Polyhedral Analysis is a static program analysis technique that belongs to the broader class of abstract interpretation methods, distinguished by its use of convex polyhedra to represent and reason about numerical relationships among program variables.

415

Publications

20.9K

Citations

872

Authors

445

Institutions

Publications per year

2017–2026

60

Parents

Publications

415

Robust structural identification via polyhedral template matching

Modelling and Simulation in Materials Science and Engineering · 2016 · 1K citations · Full text

, , +17

Robust structural identification via polyhedral template matching

Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) · 2016 · 924 citations · Full text

, , +17

Convex analysis approach to d.c. programming: Theory, Algorithm and Applications

Tao Pham Dinh, Hoai An Le Thi · HAL (Le Centre pour la Communication Scientifique Directe) · 1997 · 539 citations

, , +16

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella · Science of Computer Programming · 2008 · 466 citations

, , +11

Polyhedral Structures with an Odd Number of Vertices: Nine‐Coordinate Metal Compounds

David Casanova, Santiago Álvarez · Chemistry - A European Journal · 2007 · 389 citations

, , +16

1–5 of 415

Authors

872

  1. GL
    Gilbert Laporte

    HEC Montréal, Canada

    9 publications · 622 citations

    9

    h-index

  2. ML
    Martine Labbé

    Université Libre de Bruxelles, Belgium

    9 publications · 502 citations

    9

    h-index

  3. AC
    Albert Cohen

    Institut national de recherche en sciences et technologies du numérique, France

    9 publications · 589 citations

    9

    h-index

  4. LP
    Louis-Noël Pouchet

    The Ohio State University, United States

    6 publications · 310 citations

    6

    h-index

  5. HY
    Hande Yaman

    Bilkent University, Türkiye

    6 publications · 197 citations

    6

    h-index

1–5 of 872

Institutions

445

  1. Centre National de la Recherche Scientifique

    Paris, France

    14 h-index

    24 publications

    800 citations

  2. Georgia Institute of Technology

    Atlanta, United States

    14 h-index

    23 publications

    1K citations

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

    Le Chesnay-Rocquencourt, France

    12 h-index

    21 publications

    1.1K citations

  4. HEC Montréal

    Montreal, Canada

    10 h-index

    13 publications

    600 citations

  5. University of California, Berkeley

    Berkeley, United States

    9 h-index

    15 publications

    731 citations

  6. Massachusetts Institute of Technology

    Cambridge, United States

    9 h-index

    13 publications

    926 citations

  7. Université Libre de Bruxelles

    Brussels, Belgium

    8 h-index

    11 publications

    595 citations

  8. Virginia Tech

    Blacksburg, United States

    7 h-index

    13 publications

    822 citations

1–8 of 445

Venues

  1. Mathematical Programming

    23 publications · 1.1K citations

    18

    h-index

  2. Operations Research

    17 publications · 1.6K citations

    17

    h-index

  3. Discrete Applied Mathematics

    16 publications · 469 citations

    12

    h-index

  4. European Journal of Operational Research

    11 publications · 246 citations

    10

    h-index

  5. Mathematics of Operations Research

    9 publications · 270 citations

    9

    h-index

1–5