◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Carnegie Mellon University

United States

299 papers here20.9k citations across 299
fields
  • astro-ph63
  • hep-ex26
  • hep-ph22
  • nucl-ex21
  • hep-th16
  • math.PR14
  • math.ST13
  • gr-qc9
ROR 05x2bcf33OpenAlex

affiliations via OpenAlex

output
20022009
most citedSystematic Measurements of Identified Particle Spectra in pp, d+Au and Au+Au Collisions from STAR

978 citations

researchers with a paper here
  • N. Xu2 profiles34 · h 80
  • X. Z. Cai26
  • Z. Tang2 profiles25 · h 67
  • Y. G.2 profiles23
  • C. Marino6 profiles21 · h 58
  • O. Stelzer-Chilton7 profiles21 · h 87
  • A. Lebedev2 profiles20 · h 76
  • E. al.20 · h 124
  • I. Selyuzhenkov2 profiles20 · h 77
  • A. Bhasin2 profiles19 · h 99
  • A. Chikanian2 profiles19 · h 69
  • A. Hirsch3 profiles19 · h 73
collaborating institutions
  • Yale UniversityUS46 papers
  • Massachusetts Institute of TechnologyUS43 papers
  • Lawrence Berkeley National LaboratoryUS41 papers
  • Purdue University West LafayetteUS40 papers
  • University of California, DavisUS39 papers
  • Argonne National LaboratoryUS38 papers
  • Michigan State UniversityUS38 papers
  • Texas A&M UniversityUS38 papers
  • The Ohio State UniversityUS38 papers
  • University of California, Los AngelesUS38 papers
  • Wayne State UniversityUS38 papers
  • University of PittsburghUS35 papers
Showing 2004 · cs.LOShow all

1 paper · 2 filters

cs.LO2004

Predicate Abstraction with Indexed Predicates

Shuvendu K. Lahiri, Randal E. Bryant

Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and…

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