Publication
-
Automated Analysis of Reo Circuits using Symbolic Execution In Proceedings
November 2009
-
Average prime-pair counting formula Tech Report
November 2009
-
Metabolic Adaptation after Whole Genome Duplication Article
Molecular Biology and Evolution, 26(11), 2441-2453.November 2009
-
November 2009
-
November 2009
-
November 2009
-
A Programmable Display-Layer Architecture for Virtual-Reality Applications Dissertation
Visualization and 3D User InterfacesNovember 2009
-
Scheduling in Stochastic Resource-Sharing Systems Dissertation
StochasticsNovember 2009