Search for: All records

Creators/Authors contains: "Myers, C.J."

« Prev Next »

Total Resources

45

Resource Type
Journal Article

45

Dataset

0

Availability
Full Text / Resource Available

40

Citation Only

5

Save Results
Excel (limit 2000)
CSV (limit 5000)
XML (limit 5000)

Have feedback or suggestions for a way to improve these results?
!

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking

https://doi.org/https://doi.org/10.1007/978-3-030-94583-1_16

Roberts, R. ; Neupane, T. ; Buecherl, L. ; Myers, C.J. ; Zhang, Z. ( June 2022 , Lecture notes in computer science)
Finkbeiner, B. ; Wies, T. (Ed.)
Stochastic model checking (SMC) is a formal verification technique for the analysis of systems with probabilistic behavior. Scalability has been a major limiting factor for SMC tools to analyze real-world systems with large or infinite state spaces. The infinite-state Continuous-time Markov Chain (CTMC) model checker, STAMINA, tackles this problem by selectively exploring only a portion of a model’s state space, where a majority of the probability mass resides, to efficiently give an accurate probability bound to properties under verification. In this paper, we present two major improvements to STAMINA, namely, a method of calculating and distributing estimated state reachability probabilitiesmore »« less

Free, publicly-accessible full text available June 14, 2023
Production of muons from heavy-flavour hadron decays at high transverse momentum in Pb–Pb collisions at $\sqrt{s_{NN}} = 5.02$ and 2.76 TeV

https://doi.org/10.1016/j.physletb.2021.136558

Acharya, S. ; Adamová, D. ; Adler, A. ; Adolfsson, J. ; Aglieri Rinella, G. ; Agnello, M. ; Agrawal, N. ; Ahammed, Z. ; Ahmad, S. ; Ahn, S.U. ; et al ( September 2021 , Physics Letters B)

Free, publicly-accessible full text available September 1, 2022
First measurement of coherent ρ0 photoproduction in ultra-peripheral Xe–Xe collisions at $\sqrt{s_{NN}} = 5.44$ TeV

https://doi.org/10.1016/j.physletb.2021.136481

Acharya, S. ; Adamová, D. ; Adler, A. ; Adolfsson, J. ; Aglieri Rinella, G. ; Agnello, M. ; Agrawal, N. ; Ahammed, Z. ; Ahmad, S. ; Ahn, S.U. ; et al ( September 2021 , Physics Letters B)

Free, publicly-accessible full text available September 1, 2022
Jet-associated deuteron production in pp collisions at $\sqrt{s} = 13$ TeV

https://doi.org/10.1016/j.physletb.2021.136440

Acharya, S. ; Adamová, D. ; Adler, A. ; Adolfsson, J. ; Aglieri Rinella, G. ; Agnello, M. ; Agrawal, N. ; Ahammed, Z. ; Ahmad, S. ; Ahn, S.U. ; et al ( August 2021 , Physics Letters B)

Free, publicly-accessible full text available August 1, 2022
Inclusive heavy-flavour production at central and forward rapidity in Xe–Xe collisions at $\sqrt{s_{NN}} = 5.44$ TeV

https://doi.org/10.1016/j.physletb.2021.136437

Acharya, S. ; Adamová, D. ; Adler, A. ; Adolfsson, J. ; Aglieri Rinella, G. ; Agnello, M. ; Agrawal, N. ; Ahammed, Z. ; Ahmad, S. ; Ahn, S.U. ; et al ( August 2021 , Physics Letters B)

Free, publicly-accessible full text available August 1, 2022
Measurements of mixed harmonic cumulants in Pb–Pb collisions at $\sqrt{s_{NN}} = 5.02$ TeV

https://doi.org/10.1016/j.physletb.2021.136354

Acharya, S. ; Adamová, D. ; Adler, A. ; Adolfsson, J. ; Aglieri Rinella, G. ; Agnello, M. ; Agrawal, N. ; Ahammed, Z. ; Ahmad, S. ; Ahn, S.U. ; et al ( July 2021 , Physics Letters B)

Full Text Available
First measurement of the |t|-dependence of coherent J/ψ photonuclear production

https://doi.org/10.1016/j.physletb.2021.136280

Acharya, S. ; Adamová, D. ; Adler, A. ; Adolfsson, J. ; Aglieri Rinella, G. ; Agnello, M. ; Agrawal, N. ; Ahammed, Z. ; Ahmad, S. ; Ahn, S.U. ; et al ( June 2021 , Physics Letters B)

Full Text Available
First measurement of quarkonium polarization in nuclear collisions at the LHC

https://doi.org/10.1016/j.physletb.2021.136146

Acharya, S. ; Adamová, D. ; Adler, A. ; Adolfsson, J. ; Aggarwal, M.M. ; Aglieri Rinella, G. ; Agnello, M. ; Agrawal, N. ; Ahammed, Z. ; Ahmad, S. ; et al ( April 2021 , Physics Letters B)

Full Text Available
Pion–kaon femtoscopy and the lifetime of the hadronic phase in Pb−Pb collisions at $\sqrt{s_{NN}} = 2.76$ TeV

https://doi.org/10.1016/j.physletb.2020.136030

Acharya, S. ; Adamová, D. ; Adler, A. ; Adolfsson, J. ; Aggarwal, M.M. ; Agha, S. ; Aglieri Rinella, G. ; Agnello, M. ; Agrawal, N. ; Ahammed, Z. ; et al ( February 2021 , Physics Letters B)

Full Text Available
Transverse-momentum and event-shape dependence of D-meson flow harmonics in Pb–Pb collisions at $\sqrt{s_{NN}} = 5.02 TeV$

https://doi.org/10.1016/j.physletb.2020.136054

Acharya, S. ; Adamová, D. ; Adler, A. ; Adolfsson, J. ; Aggarwal, M.M. ; Aglieri Rinella, G. ; Agnello, M. ; Agrawal, N. ; Ahammed, Z. ; Ahmad, S. ; et al ( February 2021 , Physics Letters B)

Full Text Available

« Prev Next »