39 citations · 43 across the 2 of their papers we have counts for
2 papers
physics.ins-det2019★ 4 cited
Study of the effects of radiation on the CMS Drift Tubes Muon Detector for the HL-LHC
G. Abbiendi, J. Alcaraz Maestre, A. Álvarez Fernández +140
The CMS drift tubes (DT) muon detector, built for withstanding the LHC expected integrated and instantaneous luminosities, will be used also in the High Luminosity LHC (HL-LHC) at…
cs.SC2016★ 39 cited
Satisfiability Checking meets Symbolic Computation (Project Paper)
E. Abraham, J. Abbott, B. Becker +12
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, impleme…