A. Popescu

activity

20132023

W^{+} W^{-}

production at the LHC

33 citations · 88 across the 9 of their papers we have counts for

collaborators

Showing 2021Show all

2 papers · 1 filter

cs.LO2021

Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS

Lorenzo Gheri, Andrei Popescu

We have previously published the Isabelle/HOL formalization of a general theory of syntax with bindings. In this companion paper, we instantiate the general theory to the syntax of…

hep-ph2021★ 33 cited

NNLO QCD study of polarised $W^{+} W^{-}$ production at the LHC

Rene Poncelet, Andrei Popescu

Longitudinal polarisation of the weak bosons is a direct consequence of Electroweak symmetry breaking mechanism providing an insight into its nature, and is instrumental in searche…

Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS

NNLO QCD study of polarised W+W− production at the LHC

NNLO QCD study of polarised $W^{+} W^{-}$ production at the LHC