works on

From the 5 of 131 papers with an AI index.

most citedOn the impact of baryons on the halo mass function, bias, and cluster cosmology

77 citations

90 papers

cs.LO2026

Dynamic Logic with Parallel Operator for Verifying Communication Protocols

Luiz C. F. Fernandez, Mario R. F. Benevides

In this paper, we present a dynamic logic with parallel operators for the formal verification of authenticity and safety properties of cryptographic protocols. The logic incorporat…

astro-ph.SR2026

Pre-main Sequence B Stars Surrounding the Orion Nebula

P. H. F. B. Braz, A. Roman-Lopes, W. J. B. Corradi +6

Pre-main sequence (PMS) early-type stars are rare due to their rapid evolution. Confirming PMS B stars is accordingly valuable for constraining higher mass star formation scenarios…

hep-ex2026

Observation of violation in decays

LHCb collaboration, R. Aaij, A. S. W. Abdelmotteleb +1172

The LHCb collaboration measures the time‑dependent CP asymmetry in B⁰ → J/ψ ρ⁰ decays, reporting the first observation of CP violation in this channel and determining the effective…

hep-ex20261 cited

Search for decays of the Higgs boson into scalar particles decaying into four or six -quarks using collisions at with the ATLAS detector

ATLAS Collaboration

The ATLAS experiment searches for Higgs boson decays into new scalar particles that subsequently produce four or six b‑quarks in ZH production, using 140 fb⁻¹ of 13 TeV proton‑prot…

hep-ex2026

Electroweak diboson production in association with a high-mass dijet system in semileptonic final states from collisions at TeV with the ATLAS detector

ATLAS Collaboration

The ATLAS experiment observed electroweak production of diboson (WW, WZ, ZZ) in association with a high‑mass dijet system in semileptonic final states using 140 fb⁻¹ of 13 TeV prot…

hep-ex2026

Study of the decay

LHCb collaboration, R. Aaij, M. Abdelfatah +1113

The decay is studied at LHCb for the first time using proton-proton collision data recorded by the LHCb experiment at a center-of-mass energy of $…