◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Kestrel Institute

United States

17 papers here37 citations across 17
fields
  • cs.LO10
  • cs.SE2
  • cs.AR1
  • cs.CR1
  • cs.DC1
  • cs.IR1
  • quant-ph1
ROR 04deyvw92OpenAlex

affiliations via OpenAlex

output
20082026
most citedEthereum's Recursive Length Prefix in ACL2

9 citations

researchers with a paper here
  • A. Coglio8 · h 12
  • Eric McCarthy3 · h 3
  • Douglas R. Smith2 profiles2 · h 24
  • Dusko Pavlovic2 · h 26
  • Duško Pavlović2
  • E. Smith2 · h 9
  • S. Westfold2 · h 10
  • Abhinav Uppal1 · h 5
  • A. Dubey1 · h 27
  • Benjamin Selfridge1
  • C. Deng1 · h 11
  • D. Balasubramanian1 · h 14
collaborating institutions
  • University of OxfordGB3 papers
  • The University of Texas at AustinUS2 papers
  • University of California San DiegoUS2 papers
  • Forschungszentrum JülichDE1 paper
  • Fujitsu (Japan)JP1 paper
  • Integrated Software (United States)US1 paper
  • Intel (United Kingdom)GB1 paper
  • Northeastern UniversityUS1 paper
  • Technische Universität BerlinDE1 paper
  • Universidad del NoresteMX1 paper
  • University of WyomingUS1 paper
Showing cond-mat.softShow all

Nothing from here under that filter.

Their other years and fields are still on the left.

Show all their papers
◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.