Publication
-
November 2009
-
Rare-event simulation for tandem queues: a simple and efficient importance sampling scheme In Proceedings
November 2009 -
Connectors as Designs In Proceedings
November 2009
-
Automated Analysis of Reo Circuits using Symbolic Execution In Proceedings
November 2009
-
Average prime-pair counting formula Tech Report
November 2009
-
Emergence of sprite streamers from screening-ionization waves in the lower ionosphere Article
Nature Geoscience, 2(11), 757-760.November 2009
-
November 2009
-
November 2009