Concepedia

Kestrel Institute

KI

Statistics

Publications

260

Citations

7.4K

Authors

19

Location

Palo Alto, United States

Kestrel Institute is a nonprofit institution in Palo Alto, United States known for computer science, computing, and formal methods.

HomepageROR

Top concepts

Publications

260

Information-Flow Analysis of Android Applications in DroidSafe

Michael I. Gordon, Deokhwan Kim, Jeff Perkins et al. · 2015 · 426 citations

, , +16

KIDS: a semiautomatic program development system

Douglas R. Smith · IEEE Transactions on Software Engineering · 1990 · 355 citations

, , +9

Software Technology in the 1990's: Using a New Paradigm

Balzer, Cheatham, Green · Computer · 1983 · 352 citations

, , +13

Incremental recomputation of active relational expressions

Xiaolei Qian, Gio Wiederhold · IEEE Transactions on Knowledge and Data Engineering · 1991 · 187 citations

, , +15

Top-down synthesis of divide-and-conquer algorithms

Douglas R. Smith · Artificial Intelligence · 1985 · 156 citations

, , +6

1–5 of 260

Authors

19

  1. DP
    Duško Pavlović

    Kestrel Institute, United States

    193 publications · 2.4K citations

    25

    h-index

  2. AG
    Allen Goldberg

    Kestrel Institute, United States

    46 publications · 1.4K citations

    17

    h-index

  3. PB
    Peter B. Ladkin

    Kestrel Institute, United States

    85 publications · 1.4K citations

    16

    h-index

  4. AC
    Alessandro Coglio

    Kestrel Institute, United States

    52 publications · 467 citations

    11

    h-index

  5. ZQ
    Zhenyu Qian

    Kestrel Institute, United States

    26 publications · 609 citations

    10

    h-index

1–5 of 19