Science Explorer Interactive view Map
Nonprofit · Palo Alto · United States

Kestrel Institute

In research, Kestrel Institute stands highest in Computer Science (#2,404 of 7,020 worldwide) and Physical Sciences (#14,122 of 21,541 worldwide), over all time.

kestrel.eduROR OpenAlex
World rank, all time
#26,253
of 42,892
Rank in United States
#5,627
of 8,685
Research works
169
▲ 97% vs 2013–17
Citations
3.9k
23.2 per fractional work
Top-10% rate
0.2%
record average 16.5%
Open access
27%
world 28%

What is Kestrel Institute known for in research?

The fields where it stands highest, over all time, ranked among every institution above the floor in each field.

FieldWorld rankWhere that sitsTop-10% rateWorks
Computer ScienceField #2,404 of 7,020 30.7%148
Physical SciencesDomain #14,122 of 21,541 30.3%157

Each strip is that field’s whole ranked pool, with the notch where Kestrel Institute sits in it, in the colour of the band that rank falls in. The track under the rate is the rate itself: it carries no world mark, because the world rate differs by field (from about 6% to 21% in this record).

Field profile

Location quotient across every field it publishes in: outside the ring is more than an institution of this size would be expected to publish, inside it is less.

Biochemistry, Genetics and Molecular Biology: 0.07× its world share, 0 worksBiochemistry, Geneti…Computer Science: 6.98× its world share, 5 worksComputer ScienceEngineering: 0.75× its world share, 1 worksEngineeringEnvironmental Science: 1.05× its world share, 0 worksEnvironmental ScienceDentistry: 0.80× its world share, 0 worksDentistryMedicine: 0.03× its world share, 0 worksMedicineArts and Humanities: 1.81× its world share, 0 worksArts and HumanitiesBusiness, Management and Accounting: 0.27× its world share, 0 worksBusiness, Management…Economics, Econometrics and Finance: 5.29× its world share, 1 worksEconomics, Econometr…Social Sciences: 0.83× its world share, 1 worksSocial Sciences1×world share
more than its size predictsabout as predictedless

Rings at 0.5×, 1× and 2×. Widest outward: Computer Science, 7.0×. Every wedge is a field page.

Who are the top researchers at Kestrel Institute?

Ranked on the composite score, Douglas R. Smith lead among researchers whose main affiliation is Kestrel Institute.

  1. 1 Douglas R. Smith United States · #74,419 worldwide 444 citations · 60 works
All ranked researchers at Kestrel Institute

Which keywords describe research at Kestrel Institute?

By fractional works in all years, weighted toward what it does more of than the world: Model Checking, Static Analysis, Temporal Logic, Formal Verification, Type Inference, Automata, Satisfiability Modulo Theories and Symbolic Model Checker.

▲ more of its work than of the world’s◆ about the world’s share▼ less than the world’s

Size is fractional works in all years in the topics tagged with each word; colour is the word's share of this institution's work against its share of the world's. The 40 words are chosen for being large and distinctive. Each links to the topic it comes from most.

All 40 words, with their numbers
  1. Model Checking44▲ 237×3 topics
  2. Static Analysis23▲ 341×2 topics
  3. Temporal Logic22▲ 178×2 topics
  4. Formal Verification21▲ 360×1 topic
  5. Type Inference21▲ 360×1 topic
  6. Automata19▲ 180×2 topics
  7. Satisfiability Modulo Theories16▲ 243×1 topic
  8. Symbolic Model Checker16▲ 243×1 topic
  9. Requirements Engineering12▲ 111×2 topics
  10. Model-Based Development11▲ 171×2 topics
  11. Autonomic Computing11▲ 208×1 topic
  12. Self-Adaptive Systems11▲ 208×1 topic
  13. Machine Learning10▲ 2.6×9 topics
  14. Description Logics8▲ 47×2 topics
  15. Knowledge Representation8▲ 33×2 topics
  16. Graph Coloring7▲ 193×2 topics
  17. Constraint Optimization7▲ 283×1 topic
  18. Distributed Algorithms7▲ 283×1 topic
  19. Distributed Systems7▲ 17×6 topics
  20. Software Development7▲ 71×2 topics
  21. Answer Set Programming6▲ 107×1 topic
  22. Modal Logic6▲ 66×1 topic
  23. High-Performance Computing6▲ 24×2 topics
  24. Domain-Specific Languages6▲ 163×1 topic
  25. Model-Driven Engineering6▲ 163×1 topic
  26. Side-Channel Attacks6▲ 71×2 topics
  27. Virtualization5▲ 44×2 topics
  28. Continuous Queries5▲ 78×1 topic
  29. Data Stream Management5▲ 78×1 topic
  30. Automated Testing5▲ 107×1 topic
  31. Control-Flow Integrity5▲ 167×1 topic
  32. Security Policies5▲ 167×1 topic
  33. Software Fault Localization5▲ 107×1 topic
  34. Authentication5▲ 32×2 topics
  35. Biometrics5▲ 100×2 topics
  36. Fault Tolerance5▲ 14×4 topics
  37. Embedded Systems5▲ 31×3 topics
  38. Code Clone Detection5▲ 61×1 topic
  39. Refactoring5▲ 61×1 topic
  40. Parallel Computing4▲ 15×2 topics

Which research topics does Kestrel Institute publish most on?

By volume in 2022–2025: Formal Methods in Verification, Advanced Numerical Analysis Techniques, Logic, programming, and type systems and Software Testing and Debugging Techniques.

Formal Methods in Verification: 1 fractional worksAdvanced Numerical Analysis Techniques: 1 fractional worksLogic, programming, and …1Logic, programming, and type systems: 1 fractional worksSoftware Testing and Deb…1Software Testing and Debugging Techniques: 1 fractional worksEcology and biodiversity studies: 0 fractional worksSecurity and Verification in Computing: 0 fractional worksHungarian Social, Econom…0Hungarian Social, Economic and Educational Studies: 0 fractional worksLinguistics and Cultural Studies: 0 fractional worksEurasian Exchange Networks: 0 fractional worksMarket Dynamics and Volatility: 0 fractional works
Computational Theory and MathematicsComputational MechanicsArtificial IntelligenceSoftware5 others

Area is fractional works; colour is the subfield each topic belongs to.

  1. 1 Formal Methods in Verification Computational Theory and Mathematics 1 works
  2. 2 Advanced Numerical Analysis Techniques Computational Mechanics 1 works
  3. 3 Logic, programming, and type systems Artificial Intelligence 1 works
  4. 4 Software Testing and Debugging Techniques Software 1 works
  5. 5 Ecology and biodiversity studies Ecology 0 works
  6. 6 Security and Verification in Computing Artificial Intelligence 0 works
  7. 7 Hungarian Social, Economic and Educational Studies Geography, Planning and Development 0 works
  8. 8 Linguistics and Cultural Studies Language and Linguistics 0 works
  9. 9 Eurasian Exchange Networks Anthropology 0 works
  10. 10 Market Dynamics and Volatility Economics and Econometrics 0 works

How open and international is its research?

Against the world’s own shares — the tick on each track. Both are shares of its output, so they sit on one scale and can be read against each other as well as against the world.

openly available27.3%not open72.7%

World: 28% of research is openly available.

with international co-authors9.1%domestic only90.9%

World: 19% is written across borders.

How has Kestrel Institute's research output changed?

Output in 2018–2022 was 97% higher than in 2013–2017.

1990200020102020
grewheldshrank

The same series as a ribbon — one cell per year, darker for more. The line above answers how much; this answers when.

Other research institutions in Palo Alto

All research institutions in Palo Alto

Research measures only: rankings here say nothing about teaching, admissions or student experience. Comparable institutions and collaboration partners are in the interactive view on the map.