Concepedia

Soundness

Soundness is the property of a proof assistant that ensures every provable statement is logically valid according to the underlying formal system.

679

Publications

34.3K

Citations

1.6K

Authors

627

Institutions

Publications per year

2017–2026

150

Parents

Publications

679

Issues of validity and reliability in qualitative research

Helen Noble, Joanna Smith · Evidence-Based Nursing · 2015 · 1.7K citations · Full text

, , +12

A Syntactic Approach to Type Soundness

Andy Wright, Matthias Felleisen · Information and Computation · 1994 · 1.1K citations

, , +6

The Roles of Similarity in Transfer: Separating Retrievability From Inferential Soundness

Dedre Gentner, Mary Jo Rattermann, Kenneth D. Forbus · Cognitive Psychology · 1993 · 636 citations

, , +6

CCured

George C. Necula, Scott McPeak, Westley Weimer · ACM SIGPLAN Notices · 2012 · 511 citations

, , +14

Bank insolvencies: cross-country experience

Patrick Honohan, Daniela Klingebiel · RePEc: Research Papers in Economics · 1996 · 487 citations

, , +16

1–5 of 679

Authors

1.6K

  1. MB
    Michael Backes

    Saarland University, Germany

    9 publications · 309 citations

    9

    h-index

  2. MF
    Matthias Felleisen

    Northeastern University, United States

    9 publications · 1.9K citations

    9

    h-index

  3. TM
    Todd Millstein

    University of California, Los Angeles, United States

    7 publications · 512 citations

    7

    h-index

  4. FL
    Ferucio Laurenţiu Ţiplea

    Alexandru Ioan Cuza University, Romania

    7 publications · 105 citations

    7

    h-index

  5. AW
    Andrew W. Appel

    Princeton University, United States

    6 publications · 373 citations

    6

    h-index

1–5 of 1.6K

Institutions

627

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

    Le Chesnay-Rocquencourt, France

    19 h-index

    38 publications

    2.5K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    15 h-index

    33 publications

    3.8K citations

  3. Microsoft (United States)

    Redmond, United States

    15 h-index

    25 publications

    1.6K citations

  4. Massachusetts Institute of Technology

    Cambridge, United States

    14 h-index

    32 publications

    1.9K citations

  5. Saarland University

    Saarbrücken, Germany

    13 h-index

    21 publications

    606 citations

  6. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    12 h-index

    17 publications

    629 citations

  7. Imperial College London

    London, United Kingdom

    12 h-index

    25 publications

    1.3K citations

  8. Carnegie Mellon University

    Pittsburgh, United States

    11 h-index

    22 publications

    1.1K citations

1–8 of 627

Venues

  1. ACM SIGPLAN Notices

    27 publications · 1.5K citations

    16

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 21 publications · 567 citations

    15

    h-index

  3. Theriogenology

    17 publications · 652 citations

    15

    h-index

  4. Journal of Animal Science

    15 publications · 506 citations

    14

    h-index

  5. SSRN Electronic Journal

    Repository · 12 publications · 521 citations

    12

    h-index

1–5