Publication
-
Period doubling in glow discharges: Local versus global differential conductivity Article
Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 70(5)November 2004 -
Abstractions and static analysis for verifying reactive systems Dissertation
Software Analysis and TransformationNovember 2004
-
November 2004
-
November 2004 -
Reminiscences on Influential Papers Article
SIGMOD Record, 33(4), 91-92.December 2004
-
A Lindley-type equation arising from a carousel problem Article
Journal of Applied Probability, 41(4), 1171-1181.December 2004 -
December 2004
-
Spatio-temporal pattern formation in a semiconductor-gas-discharge system Dissertation
Multiscale DynamicsDecember 2004