636 citations · 3.7k across the 99 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 17 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…
hep-ex2015
Production of exclusive dijets in diffractive deep inelastic scattering at HERA
ZEUS Collaboration, H. Abramowicz, I. Abt +144
Production of exclusive dijets in diffractive deep inelastic scattering has been measured with the ZEUS detector at HERA using an integrated luminosity of 372 pb.…