6 citations · 8 across the 2 of their papers we have counts for
4 papers
On the Energetics of the HCO + C CH + CO Reaction and Some Astrochemical Implications
Daniel W. Savin, Roshan G. Bhaskar, Shreyas Vissapragada +1
We explore the energetics of the titular reaction, which current astrochemical databases consider open at typical dense molecular (i.e., dark) cloud conditions. As is common for re…
Certified Universal Gathering in for Oblivious Mobile Robots
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil +1
We present a unified formal framework for expressing mobile robots models, protocols, and proofs, and devise a protocol design/proof methodology dedicated to mobile robots that tak…
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil +1
We present a new algorithm for the problem of universal gathering mobile oblivious robots (that is, starting from any initial configuration that is not bivalent, using any number o…
Dissociative recombination and low-energy inelastic electron collisions of the helium dimer ion
H. B. Pedersen, H. Buhr, S. Altevogt +10
This paper reports results from an experimental investigation of the dissociative recombination (DR) of the helium dimer ions at the heavy-ion Test Storage Ring (TSR) in Heidelberg…