120 citations · 677 across the 48 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
physics.space-ph2013★ 24 cited
Longitudinal variations of positive dayside ionospheric storms related to recurrent geomagnetic storms
A. V. Dmitriev, C. -M. Huang, P. S. Brahmanandam +3
We have performed an analysis of case events and statistics of positive ionospheric storms in the dayside region of the equatorial ionization anomaly during recurrent geomagnetic s…
cs.LO2013
Implementing program extraction from CL1-proofs
Meixia Qu, Ke Chen, Daming Zhu +1
Computability logic (CoL) is a formal theory of interactive computation. It understands computational problems as games played by two players: a machine and its environment, uses l…