11 citations
2 papers
physics.space-ph2010★ 4 cited
Impact of Solar Wind Depression on the Dayside Magnetosphere under Northward Interplanetary Magnetic Field
Suleiman Baraka, Lotfi Ben-Jaffel
We present a follow up study of the sensitivity of the Earth's magnetosphere to solar wind activity using a particles-in-cell model [Baraka and Ben Jaffel, 2007], but here during n…
cs.PL2010★ 11 cited
Rewriting Logic Semantics of a Plan Execution Language
Gilles Dowek, César Muñoz, Camilo Rocha
The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logi…