From the 5 of 131 papers with an AI index.
77 citations
- National Institute for Subatomic PhysicsNL76 papers
- Université Paris-SaclayFR76 papers
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ75 papers
- Horia Hulubei National Institute for R and D in Physics and Nuclear EngineeringRO75 papers
- University of ManchesterGB75 papers
- European Organization for Nuclear ResearchCH74 papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT74 papers
- Istituto Nazionale di Fisica Nucleare, Roma Tor VergataIT74 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT74 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di GenovaIT74 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di MilanoIT74 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di Roma IIT74 papers
90 papers
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…
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…
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…
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…
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…
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 $…