Concepedia

Disjunctive Completion

Disjunctive Completion is a formal method in abstract interpretation that extends an abstract domain to explicitly represent disjunctions of abstract elements, thereby enabling more precise analysis of programs with branching behavior by capturing multiple execution paths separately.

9

Publications

216

Citations

20

Authors

13

Institutions

Publications per year

2017–2026

1

Parents

Publications

9

A logical model for relational abstract domains

Roberto Giacobazzi, Francesca Scozzari · ACM Transactions on Programming Languages and Systems · 1998 · 51 citations · Full text

, , +16

Disjunctive Answer Set Programming via Satisfiability

Yuliya Lierler · 2005 · 45 citations

, , +12

Rephrasing between Disjunctives and Conditionals: Mental Models and the Effects of Thematic Content

Juliet Richardson, Thomas C. Ormerod · The Quarterly Journal of Experimental Psychology Section A · 1997 · 24 citations

, , +15

Elementary Sets for Logic Programs

Martin Gebser, Joohyung Lee, Yuliya Lierler · arXiv (Cornell University) · 2023 · 21 citations · Full text

, , +8

Exploring the Formation of a Disjunctive Pattern between Eastern Asia and North America Based on Fossil Evidence from Thuja (Cupressaceae)

Yiming Cui, Bin Sun, Haifeng Wang et al. · PLoS ONE · 2015 · 18 citations · Full text

, , +10

1–5 of 9

Authors

20

  1. YL
    Yuliya Lierler

    University of Nebraska at Omaha, United States

    2 publications · 66 citations

    2

    h-index

  2. MA
    Mario Alviano

    University of Calabria, Italy

    1 publications · 14 citations

    1

    h-index

  3. BS
    Bin Sun

    Chinese Academy of Sciences, China

    1 publications · 18 citations

    1

    h-index

  4. AM
    Antoine Miné

    École Normale Supérieure - PSL, France

    1 publications · 16 citations

    1

    h-index

  5. RG
    Roberto Giacobazzi

    University of Verona, Italy

    1 publications · 51 citations

    1

    h-index

1–5 of 20

Institutions

13

  1. University of Pisa

    Pisa, Italy

    1 h-index

    2 publications

    102 citations

  2. University of Potsdam

    Potsdam, Germany

    1 h-index

    1 publications

    21 citations

  3. University of Chinese Academy of Sciences

    Beijing, China

    1 h-index

    2 publications

    36 citations

  4. Chinese Academy of Sciences

    Beijing, China

    1 h-index

    6 publications

    108 citations

  5. Beijing Museum of Natural History

    Beijing, China

    1 h-index

    1 publications

    18 citations

  6. Institute of Botany

    Beijing, China

    1 h-index

    6 publications

    108 citations

  7. University of Vienna

    Vienna, Austria

    1 h-index

    1 publications

    18 citations

  8. Friedrich-Alexander-Universität Erlangen-Nürnberg

    Erlangen, Germany

    1 h-index

    1 publications

    45 citations

1–8 of 13

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 16 citations

    1

    h-index

  2. 1

    h-index

  3. 1

    h-index

  4. PLoS ONE

    1 publications · 18 citations

    1

    h-index

  5. The Journal of Logic Programming

    1 publications · 11 citations

    1

    h-index

1–5