Concepedia

Preconditions

A precondition is a logical predicate in Hoare logic that specifies the necessary state conditions a program must satisfy before the execution of a given command to ensure the correctness of its associated postcondition.

927

Publications

51.7K

Citations

1.9K

Authors

778

Institutions

Publications per year

2017–2026

189

Parents

Publications

927

Preconditioning Techniques for Large Linear Systems: A Survey

Michele Benzi · Journal of Computational Physics · 2002 · 1.2K citations

, , +11

Conditions Facilitating Interorganizational Collaboration

Barbara Gray · Human Relations · 1985 · 1.1K citations

, , +14

Understanding tailoring in communicating about health

Robert P. Hawkins, Matthew W. Kreuter, Ken Resnicow et al. · Health Education Research · 2008 · 948 citations · Full text

, , +11

Pathways from Authoritarianism

Axel Hadenius, Jan Teorell · Journal of democracy · 2007 · 810 citations

, , +12

Left-Libertarian Parties: Explaining Innovation in Competitive Party Systems

Herbert Kitschelt · World Politics · 1988 · 741 citations

, , +17

1–5 of 927

Authors

1.9K

  1. BS
    Bernard S. Black

    Northwestern University, Philippines

    5 publications · 569 citations

    5

    h-index

  2. RS
    Rahul Sharma

    Stanford University, United States

    4 publications · 186 citations

    4

    h-index

  3. MT
    Michaela Trippl

    University of Vienna, Austria

    4 publications · 399 citations

    4

    h-index

  4. CC
    Cristiano Calcagno

    Imperial College London, United Kingdom

    4 publications · 150 citations

    4

    h-index

  5. PB
    Paulo Borba

    Universidade Federal de Pernambuco, Brazil

    3 publications · 58 citations

    3

    h-index

1–5 of 1.9K

Institutions

778

  1. University of Gothenburg

    Gothenburg, Sweden

    12 h-index

    18 publications

    637 citations

  2. University of Oxford

    Oxford, United Kingdom

    11 h-index

    22 publications

    2.8K citations

  3. London School of Economics and Political Science

    London, United Kingdom

    10 h-index

    15 publications

    1.4K citations

  4. The University of Queensland

    Brisbane, Australia

    10 h-index

    14 publications

    735 citations

  5. Microsoft (United States)

    Redmond, United States

    8 h-index

    17 publications

    2.5K citations

  6. Stanford University

    Stanford, United States

    8 h-index

    14 publications

    1.1K citations

  7. Lund University

    Lund, Sweden

    8 h-index

    12 publications

    836 citations

  8. University of Washington

    Seattle, United States

    8 h-index

    11 publications

    759 citations

1–8 of 778

Venues

  1. ACM SIGPLAN Notices

    14 publications · 1.4K citations

    12

    h-index

  2. SSRN Electronic Journal

    Repository · 13 publications · 665 citations

    11

    h-index

  3. PubMed

    Repository · 7 publications · 128 citations

    7

    h-index

  4. SIAM Journal on Scientific Computing

    6 publications · 1.2K citations

    7

    h-index

  5. 7

    h-index

1–5