Phd by thesis
Citations
351 citations
Cites background from "Phd by thesis"
...[11, 35], good results were obtained for deuteron-induced collisions around 1 GeV and departures from the simple additivity of a proton and a neutron cascades were illustrated....
[...]
...[26, 35] that a good compromise is achieved when a strict Pauli blocking is adopted for the first collision and when the usual procedure is kept for the subsequent ones....
[...]
351 citations
348 citations
347 citations
Cites methods from "Phd by thesis"
...We therefore use Isabelle/HOL code generation [Haf09] to build the checker directly from our Isabelle/HOL axiomatisation, to keep the checker and our model in exact correspondence and reduce the possibility for error....
[...]
344 citations
Cites methods from "Phd by thesis"
...Using the results obtained by DEAR, theoretical studies have been performed with possible higher order contributions using several models [14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24]....
[...]
References
21,582 citations
"Phd by thesis" refers background in this paper
...members of this group were produced by Tsien and colleagues [1, 10, 11]....
[...]
...The introduction of Ca 2+ -sensitive fluorescent dyes more than twenty years ago and their permanent improvement [10] enabled investigators to gain unprecedented insights into the mechanisms of cellular signalling....
[...]
4,420 citations
4,005 citations
3,452 citations
2,386 citations