◍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 quant-phShow all

2 papers · 1 filter

quant-ph2010★ 1 cited

Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories

Dusko Pavlovic

Toy models have been used to separate important features of quantum computation from the rich background of the standard Hilbert space model. Category theory, on the other hand, is…

quant-ph2008★ 2 cited

Quantum and classical structures in nondeterminstic computation

Dusko Pavlovic

In categorical quantum mechanics, classical structures characterize the classical interfaces of quantum resources on one hand, while on the other hand giving rise to some quantum p…

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