◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Kestrel Institute

United States

22 papers here62 citations across 22
fields
  • cs.LO11
  • cs.PL2
  • cs.SE2
  • quant-ph2
  • cs.AR1
  • cs.CR1
  • cs.DC1
  • cs.GT1
ROR 04deyvw92OpenAlex

affiliations via OpenAlex

output
20082026
most citedEthereum's Recursive Length Prefix in ACL2

9 citations

researchers with a paper here
  • A. Coglio11 · h 12
  • Dusko Pavlovic6 · h 26
  • E. Smith4 · h 9
  • Eric McCarthy3 · h 3
  • Douglas R. Smith2 · h 24
  • S. Westfold2 · h 10
  • Abhinav Uppal1 · h 5
  • A. Dubey1 · h 27
  • Benjamin Selfridge1 · h 4
  • C. Deng1 · h 11
  • D. Balasubramanian1 · h 14
  • Diana Vins1 · h 0
collaborating institutions
  • University of OxfordGB5 papers
  • The University of Texas at AustinUS3 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 2012 · cs.LOShow 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.