
XSummer
 Referenced in 30 articles
[sw06109]
 useful in the evaluation of higherorder perturbative corrections in quantum field theory. Of particular...

HIGLU
 Referenced in 13 articles
[sw11899]
 hadron colliders including nexttoleading order QCD corrections is presented. It is suitable especially ... couplings are implemented including the leading higher order corrections...

TRACER
 Referenced in 10 articles
[sw07361]
 researcher working on higher order corrections in Relativistic Quantum Field Theories. A short comparison...

SUSY_FLAVOR
 Referenced in 9 articles
[sw09547]
 loop level (with some higherorder QCD corrections included) in the exact sfermion mass eigenbasis...

CPsuperH
 Referenced in 11 articles
[sw09154]
 calculations that include dominant higherorder logarithmic and threshold corrections, bquark Yukawacoupling resummation...

NMSSMCALC
 Referenced in 3 articles
[sw20309]
 violating NMSSM. The full oneloop corrections to the Higgs boson masses are evaluated ... decay widths include the dominant higher order QCD corrections, and the decays into bottom quarks ... leptons are supplemented by higher order SUSY corrections through effective couplings. All relevant offshell...

2HDECAY
 Referenced in 2 articles
[sw40158]
 remaining theoretical error due to missing higherorder corrections. The latest version of the program...

HCOUP
 Referenced in 2 articles
[sw40157]
 Version 2: a program for oneloop corrected Higgs boson decays in nonminimal Higgs ... which evaluates the decay rates (including higher order corrections) for the Higgs boson with...

ETPS
 Referenced in 160 articles
[sw06302]
 proofs, and solving unification problems in higherorder logic. It has a formula editor which ... gives them immediate feedback for both correct and incorrect actions. ETPS permits students to work...

RACOONWW
 Referenced in 8 articles
[sw09550]
 collinear singularities between virtual and real corrections is done alternatively in two different ways, namely ... space slicing. Higherorder initialstate photon radiation and naive QCD corrections are taken into...

KK
 Referenced in 8 articles
[sw10792]
 Suura exponentiation. Electroweak corrections are included in first order, with higherorder extensions, using...

munuSSM
 Referenced in 1 article
[sw35284]
 full oneloop level. Sizable higherorder corrections, required for an accurate prediction...

PartEntFermions
 Referenced in 1 article
[sw39081]
 size plus a nonuniversal constant. Higherorder corrections decay as powerlaws...

RALL
 Referenced in 9 articles
[sw08505]
 algebra including higherorder operators and domain constructions, and checks the typecorrectness...

HAWK
 Referenced in 3 articles
[sw13132]
 perturbative matrix elements including higherorder QCD and electroweak corrections which are based...

SDECAY
 Referenced in 21 articles
[sw09545]
 Minimal Supersymmetric Standard Model, including higher order effects. Besides the usual twobody decays ... decay modes are also included. The QCD corrections to the twobody decays involving strongly...

APOSTLE
 Referenced in 1 article
[sw26425]
 events are processed in the correct order. The higherlevel interface presented to the user...

Pilsner
 Referenced in 6 articles
[sw20004]
 compositionally verified compiler for a higherorder imperative language. Compiler verification is essential ... develop a compositional notion of compiler correctness that is modular (preserved under linking), transitive (supports ... first multipass compiler for a higherorder imperative language to be compositionally verified. Lastly ... handcoded selfmodifying T module, proven correct w.r.t. an Slevel specification. The output...

Coquet
 Referenced in 6 articles
[sw09919]
 approach is practicable by proving the correctness of various circuits: a textbook divide ... conquer adder of parametric size, some higherorder combinators of circuits, and some sequential circuits...

SusHi
 Referenced in 10 articles
[sw10356]
 corrections due to topquarks, approximate NNLO corrections due to topsquarks, and electroweak ... well as resummation effects of higher order tan βenhanced sbottom contributions. SusHi provides...