Science Explorer Back to mapMap
Discussion
Company · Palo Alto · United States

Kestrel Technology (United States)

kestreltechnology.comROR OpenAlex
Research works
73
▼ 83% vs 2018-21
Citations
2.2k
30.6 per fractional work
Top-10% rate
6.7%
all institutions 10.0%
Open access
18%
world 40%
International
14%
world 18%
Kestrel Technology (United States)

Not ranked overall: Kestrel Technology (United States) is under the volume floor below which an excellence rate is noise. Not ranked is not the same as ranked last.

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

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.

Physical Sciences: 67 fractional works · 91.4% of its workComputer Science: 32 fractional works · 43.8% of its workSoftware: 8 fractional works · 10.3% of its workComputer Networks and Communications: 6 fractional works · 8.5% of its workHardware and Architecture: 6 fractional works · 7.7% of its workComputational Theory and Mathematics: 5 fractional works · 7.5% of its workArtificial Intelligence: 5 fractional works · 6.5% of its workInformation Systems: 1 fractional works · 1.8% of its workSignal Processing: 1 fractional works · 1.1% of its workComputer Graphics and Computer-Aided Design: 0 fractional works · 0.5% of its workEngineering: 29 fractional works · 39.1% of its workComputational Mechanics: 11 fractional works · 15.7% of its workAerospace Engineering: 7 fractional works · 10.2% of its workElectrical and Electronic Engineering: 3 fractional works · 4.1% of its workControl and Systems Engineering: 2 fractional works · 3.4% of its workSafety, Risk, Reliability and Quality: 1 fractional works · 1.6% of its workCivil and Structural Engineering: 1 fractional works · 1.5% of its workMechanics of Materials: 1 fractional works · 1.0% of its workMechanical Engineering: 1 fractional works · 0.8% of its workOcean Engineering: 0 fractional works · 0.5% of its workSmaller subfields together: 0 fractional works · 0.2% of its workMathematics: 2 fractional works · 3.2% of its workApplied Mathematics: 2 fractional works · 2.7% of its workNumerical Analysis: 0 fractional works · 0.5% of its workEnvironmental Science: 2 fractional works · 2.5% of its workEnvironmental Engineering: 1 fractional works · 1.9% of its workGlobal and Planetary Change: 0 fractional works · 0.5% of its workSmaller subfields together: 0 fractional works · 0.1% of its workEnergy: 1 fractional works · 1.4% of its workRenewable Energy, Sustainability and the Environment: 1 fractional works · 1.4% of its workPhysics and Astronomy: 1 fractional works · 1.1% of its workStatistical and Nonlinear Physics: 1 fractional works · 0.9% of its workSmaller subfields together: 0 fractional works · 0.2% of its workEarth and Planetary Sciences: 0 fractional works · 0.2% of its workChemistry: 0 fractional works · 0.2% of its workSocial Sciences: 4 fractional works · 5.5% of its workSocial Sciences: 1 fractional works · 1.8% of its workAnthropology: 0 fractional works · 0.5% of its workCommunication: 0 fractional works · 0.5% of its workUrban Studies: 0 fractional works · 0.5% of its workEducation: 0 fractional works · 0.3% of its workSmaller subfields together: 0 fractional works · 0.1% of its workArts and Humanities: 1 fractional works · 1.4% of its workPhilosophy: 1 fractional works · 0.8% of its workLanguage and Linguistics: 0 fractional works · 0.5% of its workSmaller subfields together: 0 fractional works · 0.1% of its workDecision Sciences: 1 fractional works · 1.2% of its workInformation Systems and Management: 0 fractional works · 0.6% of its workManagement Science and Operations Research: 0 fractional works · 0.6% of its workPsychology: 1 fractional works · 0.9% of its workSocial Psychology: 1 fractional works · 0.9% of its workEconomics, Econometrics and Finance: 0 fractional works · 0.2% of its workBusiness, Management and Accounting: 0 fractional works · 0.1% of its workHealth Sciences: 1 fractional works · 1.7% of its workHealth Professions: 1 fractional works · 1.4% of its workGeneral Health Professions: 1 fractional works · 0.8% of its workSpeech and Hearing: 0 fractional works · 0.5% of its workSmaller subfields together: 0 fractional works · 0.1% of its workMedicine: 0 fractional works · 0.3% of its workPublic Health, Environmental and Occupational Health: 0 fractional works · 0.2% of its workSmaller subfields together: 0 fractional works · 0.1% of its workLife Sciences: 1 fractional works · 1.3% of its workAgricultural and Biological Sciences: 1 fractional works · 1.0% of its workAnimal Science and Zoology: 0 fractional works · 0.3% of its workAgronomy and Crop Science: 0 fractional works · 0.3% of its workFood Science: 0 fractional works · 0.2% of its workSmaller subfields together: 0 fractional works · 0.2% of its workBiochemistry, Genetics and Molecular Biology: 0 fractional works · 0.3% of its workGenetics: 0 fractional works · 0.3% of its workALL ITS WORKKestrelTechnology…73fractional works, all years
Life Sciences1%Physical Sciences91%Health Sciences2%Social Sciences6%

Each ring splits the one inside it: the four domains of science, their fields, their subfields. Size is fractional works in all years. Every slice is a page; the interactive view zooms down to single topics and colours each by how much more of it this institution does than the world.

Its 4 domains and 18 fields, with their numbers
    1. Computer Science3243.8%
    2. Engineering2939.1%
    3. Mathematics23.2%
    4. Environmental Science22.5%
    5. Energy11.4%
    6. Physics and Astronomy11.1%
    7. Earth and Planetary Sciences00.2%
    8. Chemistry00.2%
    1. Social Sciences11.8%
    2. Arts and Humanities11.4%
    3. Decision Sciences11.2%
    4. Psychology10.9%
    5. Economics, Econometrics and Finance00.2%
    6. Business, Management and Accounting00.1%
    1. Health Professions11.4%
    2. Medicine00.3%
    1. Agricultural and Biological Sciences11.0%
    2. Biochemistry, Genetics and Molecular Biology00.3%
All of science, and how each field's share has moved since 1950: the Science domain explorer

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.

Engineering: 1.38× its world share, 1 worksEngineeringPhysics and Astronomy: 1.90× its world share, 0 worksPhysics and AstronomyArts and Humanities: 7.33× its world share, 1 worksArts and HumanitiesBusiness, Management and Accounting: 0.82× its world share, 0 worksBusiness, Management…Economics, Econometrics and Finance: 1.24× its world share, 0 worksEconomics, Econometr…Psychology: 3.47× its world share, 0 worksPsychologySocial Sciences: 3.01× its world share, 1 worksSocial Sciences1×world share
more than its size predictsabout as predictedless

Rings at 0.5×, 1× and 2×. Widest outward: Arts and Humanities, 7.3×. Every wedge is a field page.

All 7 fields, with their numbers
  1. Arts and Humanities7.33×1 works
  2. Psychology3.47×0 works
  3. Social Sciences3.01×1 works
  4. Physics and Astronomy1.90×0 works
  5. Engineering1.38×1 works
  6. Economics, Econometrics and Finance1.24×0 works
  7. Business, Management and Accounting0.82×0 works

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

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).

Most cited papers
#PaperReleasedCitations
1 Generalized Symbolic Execution for Model Checking and Testing Sarfraz Khurshid, Corina S. Păsăreanu, Willem I. Visser · Lecture notes in computer science Conference paper 2003 571
2 Learning Assumptions for Compositional Verification Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Păsăreanu · Lecture notes in computer science Conference paper 2003 397
3 Rule-Based Runtime Verification Howard Barringer, Allen Goldberg, Klaus Havelund et al. · Lecture notes in computer science Conference paper 2004 375
4 Synthesizing Monitors for Safety Properties Klaus Havelund, Grigore Roşu · Lecture notes in computer science Conference paperOpen access 2002 364
5 An Overview of the Runtime Verification Tool Java PathExplorer Klaus Havelund, Grigore Roşu · Formal Methods in System Design 26 Feb 2004 228
All 60 most cited papers, with filters and sorting

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

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.

▲ 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 Checking8▲ 96×3 topics
  2. Adaptive Mesh Refinement7▲ 107×2 topics
  3. High-Order Schemes7▲ 107×2 topics
  4. Shock-Wave Interactions7▲ 163×1 topic
  5. Turbulence Modeling7▲ 163×1 topic
  6. Temporal Logic5▲ 101×2 topics
  7. Satisfiability Modulo Theories5▲ 179×1 topic
  8. Symbolic Model Checker5▲ 179×1 topic
  9. Heat Transfer5▲ 12×4 topics
  10. Large-Eddy Simulation4▲ 25×5 topics
  11. Automated Testing4▲ 184×1 topic
  12. Software Fault Localization4▲ 184×1 topic
  13. High-Performance Computing4▲ 34×2 topics
  14. Parallel Computing4▲ 26×3 topics
  15. Architecture-Based Approach3▲ 151×1 topic
  16. Software Reliability Modeling3▲ 151×1 topic
  17. Embedded Systems3▲ 45×2 topics
  18. Distributed Systems3▲ 15×3 topics
  19. GPU Computing3▲ 52×1 topic
  20. Performance Optimization3▲ 36×1 topic
  21. Kinetic Theory2▲ 58×2 topics
  22. Static Analysis2▲ 87×2 topics
  23. Separation Control2▲ 100×2 topics
  24. Vortex Dynamics2▲ 19×2 topics
  25. Fluid-Structure Interaction2▲ 17×5 topics
  26. Formal Verification2▲ 85×1 topic
  27. Particle Image Velocimetry2▲ 32×1 topic
  28. Resource Allocation2▲ 13×4 topics
  29. Turbulent Flows2▲ 23×1 topic
  30. Type Inference2▲ 85×1 topic
  31. Boltzmann Equation2▲ 78×1 topic
  32. Rarefied Flows2▲ 78×1 topic
  33. Turbulent Flow2▲ 21×4 topics
  34. Unmanned Aerial Vehicles2▲ 26×1 topic
  35. Wind Estimation2▲ 164×1 topic
  36. Aerodynamics2▲ 43×1 topic
  37. High-Speed Trains2▲ 42×1 topic
  38. Model-Based Development2▲ 63×2 topics
  39. Boundary Layer2▲ 17×2 topics
  40. Control Systems2▲ 9.2×3 topics

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

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

Swearing, Euphemism, Mul…0Swearing, Euphemism, Multilingualism: 0 fractional worksUrban Development and Cu…0Urban Development and Cultural Heritage: 0 fractional worksHumor Studies and Applications: 0 fractional worksEuropean Linguistics and…0European Linguistics and Anthropology: 0 fractional worksSubtitles and Audiovisua…0Subtitles and Audiovisual Media: 0 fractional worksReligious Studies and Spiritual Practices: 0 fractional worksFluid Dynamics Simulations and Interactions: 0 fractional worksComputational Fluid Dyna…0Computational Fluid Dynamics and Aerodynamics: 0 fractional worksOnline and Blended Learning: 0 fractional worksFluid Dynamics and Heat Transfer: 0 fractional works
CommunicationUrban StudiesSocial PsychologyAnthropology4 others

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

  1. 1 Swearing, Euphemism, Multilingualism Communication 0 works
  2. 2 Urban Development and Cultural Heritage Urban Studies 0 works
  3. 3 Humor Studies and Applications Social Psychology 0 works
  4. 4 European Linguistics and Anthropology Anthropology 0 works
  5. 5 Subtitles and Audiovisual Media Language and Linguistics 0 works
  6. 6 Religious Studies and Spiritual Practices Philosophy 0 works
  7. 7 Fluid Dynamics Simulations and Interactions Computational Mechanics 0 works
  8. 8 Computational Fluid Dynamics and Aerodynamics Computational Mechanics 0 works
  9. 9 Online and Blended Learning Education 0 works
  10. 10 Fluid Dynamics and Heat Transfer Computational Mechanics 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 available18.4%not open81.6%

World: 40% of research is openly available.

with international co-authors14.5%domestic only85.5%

World: 18% is written across borders.

How has Kestrel Technology (United States)'s research output changed?

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

still counting1990200020102020
grewheldshrank

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

Its share of all research

Growing output can still be a shrinking share: all of science grows. This is Kestrel Technology (United States) as a percentage of every work published that year, 0.0000036% in 2024.

still counting0.00020%0.00040%Kestrel Technology (United States)0.000034% in 20251990200020102020

Fractional works of Kestrel Technology (United States) over all fractional works that year. How the balance of science has shifted.

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 have tabs of their own, above.

Discussion

Ask a question or share a note about Kestrel Technology (United States). Posts are plain text and can be reported.