Concepedia

Algorithmic Verification

Algorithmic Verification is a methodological contribution in the field of source verification that employs formal computational procedures to systematically assess the authenticity, integrity, or origin of information through algorithmically defined rules and automated reasoning.

66

Publications

4.4K

Citations

184

Authors

97

Institutions

Publications per year

2017–2026

14

Parents

Publications

66

Hierarchical correctness proofs for distributed algorithms

Nancy Lynch, Mark R. Tuttle · 1987 · 767 citations · Full text

, , +11

Visibly pushdown languages

Rajeev Alur, P. Madhusudan · 2004 · 555 citations · Full text

, , +16

CrowdER

Jiannan Wang, Tim Kraska, Michael J. Franklin et al. · Proceedings of the VLDB Endowment · 2012 · 512 citations

, , +12

PHAVer: algorithmic verification of hybrid systems past HyTech

Goran Frehse · International Journal on Software Tools for Technology Transfer · 2008 · 233 citations

, , +14

Computational Science Demands a New Paradigm

D.E. Post, Lawrence G. Votta · Physics Today · 2005 · 163 citations

, , +8

1–5 of 66

Authors

184

  1. RA
    Rajeev Alur

    University of Pennsylvania, United States

    4 publications · 793 citations

    4

    h-index

  2. PČ
    Pavol Černý

    University of Colorado Boulder, United States

    3 publications · 238 citations

    3

    h-index

  3. JW
    Jiannan Wang

    Tsinghua University, China

    2 publications · 578 citations

    2

    h-index

  4. TK
    Tim Kraska

    Massachusetts Institute of Technology, United States

    2 publications · 578 citations

    2

    h-index

  5. CB
    Cliff B. Jones

    Newcastle University, United Kingdom

    2 publications · 41 citations

    2

    h-index

1–5 of 184

Institutions

97

  1. University of Pennsylvania

    Philadelphia, United States

    5 h-index

    6 publications

    376 citations

  2. University of California, Berkeley

    Berkeley, United States

    3 h-index

    8 publications

    1.8K citations

  3. UNSW Sydney

    Sydney, Australia

    3 h-index

    7 publications

    198 citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    4 publications

    222 citations

  5. California University of Pennsylvania

    California, United States

    3 h-index

    5 publications

    1.3K citations

  6. Masaryk University

    Brno, Czechia

    2 h-index

    6 publications

    75 citations

  7. University of Amsterdam

    Amsterdam, The Netherlands

    2 h-index

    2 publications

    66 citations

  8. Data61

    Sydney, Australia

    2 h-index

    6 publications

    136 citations

1–8 of 97

Venues

  1. 3

    h-index

  2. arXiv (Cornell University)

    Repository · 3 publications · 153 citations

    3

    h-index

  3. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 3 publications · 116 citations

    3

    h-index

  4. 2

    h-index

  5. ACM SIGPLAN Notices

    2 publications · 99 citations

    2

    h-index

1–5