activity
20152017
most citedAsynchronous processing of Coq documents: from the kernel up to the user interface

17 citations · 20 across the 2 of their papers we have counts for

collaborators

6 papers

hep-ex2017

Further studies of isolated photon production with a jet in deep inelastic scattering at HERA

ZEUS Collaboration, H. Abramowicz, I. Abt +111

Isolated photons with high transverse energy have been studied in deep inelastic scattering with the ZEUS detector at HERA, using an integrated luminosity of pb

hep-ex20163 cited

Measurement of the cross-section ratio sigma_{psi(2S)}/sigma_{J/psi(1S)} in deep inelastic exclusive ep scattering at HERA

ZEUS Collaboration, H. Abramowicz, I. Abt +144

The exclusive deep inelastic electroproduction of and at an centre-of-mass energy of 317 GeV has been studied with the ZEUS detector at HERA in the kinematic…

hep-ex2016

Limits on the effective quark radius from inclusive scattering at HERA

ZEUS Collaboration, H. Abramowicz, I. Abt +125

The high-precision HERA data allows searches up to TeV scales for Beyond the Standard Model contributions to electron-quark scattering. Combined measurements of the inclusive deep…

hep-ex2016

Search for a narrow baryonic state decaying to and in deep inelastic scattering at HERA

ZEUS Collaboration, H. Abramowicz, I. Abt +124

A search for a narrow baryonic state in the and system has been performed in collisions at HERA with the ZEUS detector using an integrated luminosity o…

hep-ex2016

Combined QCD and electroweak analysis of HERA data

ZEUS Collaboration, H. Abramowicz, I. Abt +124

A simultaneous fit of parton distribution functions (PDFs) and electroweak parameters to HERA data on deep inelastic scattering is presented. The input data are the neutral current…

cs.LO201517 cited

Asynchronous processing of Coq documents: from the kernel up to the user interface

Bruno Barras, Carst Tankink, Enrico Tassi

The work described in this paper improves the reactivity of the Coq system by completely redesigning the way it processes a formal document. By subdividing such work into independe…