Question 1

What are the most cited papers from Kestrel Technology (United States)?

Accepted Answer

The most cited paper from Kestrel Technology (United States) is "Generalized Symbolic Execution for Model Checking and Testing" (Sarfraz Khurshid, Corina S. Păsăreanu, Willem I. Visser, 2003), with 571 citations. Next come "Learning Assumptions for Compositional Verification" (397) and "Rule-Based Runtime Verification" (375).

Question 2

Which research topics does Kestrel Technology (United States) publish most on?

Accepted Answer

By volume in 2022-now: Swearing, Euphemism, Multilingualism, Urban Development and Cultural Heritage, Humor Studies and Applications and European Linguistics and Anthropology.

Question 3

Which keywords describe research at Kestrel Technology (United States)?

Accepted Answer

By fractional works in all years, weighted toward what it does more of than the world: Model Checking, Adaptive Mesh Refinement, High-Order Schemes, Shock-Wave Interactions, Turbulence Modeling, Temporal Logic, Satisfiability Modulo Theories and Symbolic Model Checker.

Question 4

Which fields of science does Kestrel Technology (United States) work in?

Accepted Answer

In all years, 91% of research at Kestrel Technology (United States) is in Physical Sciences, 6% in Social Sciences. Its largest fields are Computer Science (44%), Engineering (39%), Mathematics (3%). It does 2.1× the world's share of Physical Sciences.

Question 5

Is Kestrel Technology (United States)'s research output growing?

Accepted Answer

Output in 2022-2025 was 83% lower than in 2018-2021.