Concepedia

Approximate Equivalence Checking

Approximate Equivalence Checking is a formal verification method that belongs to the class of equivalence checking techniques, distinguished by its allowance of bounded or controlled deviations in behavior or structure between two systems, enabling the validation of functional correctness under intentionally relaxed, non-exact matching criteria.

26

Publications

4.9K

Citations

59

Authors

33

Institutions

Publications per year

2017–2026

5

Parents

Publications

26

Simultaneous analysis of Lasso and Dantzig selector

Peter J. Bickel, Ya’acov Ritov, Alexandre B. Tsybakov · The Annals of Statistics · 2009 · 2.5K citations · Full text

, , +11

Reliability of Bayesian Posterior Probabilities and Bootstrap Frequencies in Phylogenetics

Per Erixon, Bodil Svennblad, Tom Britton et al. · Systematic Biology · 2003 · 694 citations · Full text

, , +17

Choosing Regularization Parameters in Iterative Methods for Ill-Posed Problems

Misha E. Kilmer, Dianne P. O’Leary · SIAM Journal on Matrix Analysis and Applications · 2001 · 321 citations

, , +13

Leveraging program equivalence for adaptive program repair: Models and first results

Westley Weimer, Zachary P. Fry, Stephanie Forrest · 2013 · 271 citations

, , +15

What Is a Paraphrase?

Rahul Bhagat, Eduard Hovy · Computational Linguistics · 2013 · 178 citations · Full text

, , +11

1–5 of 26

Authors

59

  1. ZV
    Zdeněk Vašíček

    Brno University of Technology, Czechia

    3 publications · 84 citations

    3

    h-index

  2. DW
    Donald W. Hadwin

    University of New Hampshire, United States

    2 publications · 62 citations

    2

    h-index

  3. GJ
    George J. Pappas

    University of Pennsylvania, United States

    2 publications · 130 citations

    2

    h-index

  4. LS
    Lukáš Sekanina

    Brno University of Technology, Czechia

    2 publications · 70 citations

    2

    h-index

  5. MJ
    M. J. Gillan

    University College London, United Kingdom

    1 publications · 97 citations

    1

    h-index

1–5 of 59

Institutions

33

  1. Brno University of Technology

    Brno, Czechia

    2 h-index

    7 publications

    356 citations

  2. University of Pennsylvania

    Philadelphia, United States

    2 h-index

    4 publications

    202 citations

  3. Georgia Institute of Technology

    Atlanta, United States

    2 h-index

    4 publications

    278 citations

  4. Sorbonne Université

    Paris, France

    1 h-index

    1 publications

    2.5K citations

  5. University of Maryland, College Park

    College Park, United States

    1 h-index

    1 publications

    321 citations

  6. Keele University

    Newcastle-under-Lyme, United Kingdom

    1 h-index

    3 publications

    291 citations

  7. Ghent University

    Ghent, Belgium

    1 h-index

    2 publications

    154 citations

  8. University of California, Berkeley

    Berkeley, United States

    1 h-index

    1 publications

    2.5K citations

1–8 of 33

Venues

  1. Fuzzy Sets and Systems

    2 publications · 123 citations

    2

    h-index

  2. Transactions of the American Mathematical Society

    TRAN · 2 publications · 62 citations

    2

    h-index

  3. Physical review. B, Condensed matter

    PRB · 1 publications · 97 citations

    1

    h-index

  4. Systematic Biology

    1 publications · 694 citations

    1

    h-index

  5. Computational Linguistics

    1 publications · 178 citations

    1

    h-index

1–5