8 citations · 8 across the 1 of their papers we have counts for
3 papers
astro-ph2007★ 8 cited
Completeness - I. Revised, reviewed and revived
Russell Johnston, Luis Teodoro, Martin Hendry
We have extended and improved the statistical test recently developed by Rauzy for assessing the completeness in apparent magnitude of magnitude-redshift surveys. Our improved test…
quant-ph2002
Formal Verification of Quantum Protocols
Rajagopal Nagarajan, Simon Gay
We propose to analyse quantum protocols by applying formal verification techniques developed in classical computing for the analysis of communicating concurrent systems. One area o…
hep-ex1999
A Comparison of Deep Inelastic Scattering Monte Carlo Event Generators to HERA Data
N. H. Brook, T. Carli, E. Rodrigues +3
The Monte Carlo models ARIADNE, HERWIG and LEPTO are compared to deep-inelastic scattering data measured at the ep-collider HERA.