◍wovepaper
SearchResearchersInstitutions
Sign in
institution

TU Dortmund University

Germany

99 papers here5.2k citations across 99
fields
  • hep-ph20
  • astro-ph17
  • quant-ph12
  • cond-mat.str-el11
  • hep-ex9
  • astro-ph.HE3
  • cond-mat.other3
  • math.AP3
ROR 01k97gp34OpenAlex

affiliations via OpenAlex

output
20022009
most citedAngular Distributions of B -> K ll Decays

338 citations

researchers with a paper here
  • R. Mirzoyan3 profiles22 · h 65
  • W. Rhode2 profiles17 · h 101
  • J. Rico2 profiles14 · h 63
  • J. K. Becker13
  • A. Biland2 profiles12 · h 72
  • A. De Angelis2 profiles12 · h 40
  • A. Laille2 profiles12 · h 34
  • A. Moralejo2 profiles12 · h 65
  • A. Robert3 profiles12 · h 38
  • A. Saggion2 profiles12 · h 51
  • A. Stamerra2 profiles12 · h 66
  • B. De Lotto2 profiles12 · h 27
collaborating institutions
  • Humboldt-Universität zu BerlinDE18 papers
  • Max Planck Institute for PhysicsDE17 papers
  • Universitat de BarcelonaES17 papers
  • Institute for High Energy PhysicsES16 papers
  • ETH ZurichCH15 papers
  • Institute for Nuclear Research and Nuclear EnergyBG14 papers
  • Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT14 papers
  • University of PaduaIT13 papers
  • University of PisaIT13 papers
  • Universidad Complutense de MadridES12 papers
  • Universitat Autònoma de BarcelonaES12 papers
  • University of California, DavisUS12 papers
Showing 2009 · cs.LOShow all

1 paper · 2 filters

cs.LO2009★ 1 cited

On the Complexity of Branching-Time Logics

Volker Weber

We classify the complexity of the satisfiability problem for extensions of CTL and UB. The extensions we consider are Boolean combinations of path formulas, fairness properties, pa…

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