2006 |
6 | EE | Insup Lee,
George J. Pappas,
Rance Cleaveland,
John Hatcliff,
Bruce H. Krogh,
Peter Lee,
Harvey Rubin,
Lui Sha:
High-Confidence Medical Device Software and Systems.
IEEE Computer 39(4): 33-38 (2006) |
2005 |
5 | EE | Marcin Imielinski,
Calin Belta,
Ádám M. Halász,
Harvey Rubin:
Investigating metabolite essentiality through genome-scale analysis of Escherichia coli production capabilities.
Bioinformatics 21(9): 2008-2016 (2005) |
2004 |
4 | EE | Calin Belta,
Peter Finin,
Luc C. G. J. M. Habets,
Ádám M. Halász,
Marcin Imielinski,
Vijay Kumar,
Harvey Rubin:
Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems.
HSCC 2004: 111-125 |
2003 |
3 | EE | Hong Bi,
Junghuei Chen,
Russell J. Deaton,
Max H. Garzon,
Harvey Rubin,
David Harlan Wood:
In vitro selection of non-crosshybridizing oligonucleotides for computation.
Natural Computing 2(4): 417-426 (2003) |
2002 |
2 | EE | Russell J. Deaton,
Junghuei Chen,
Hong Bi,
Max H. Garzon,
Harvey Rubin,
David Harlan Wood:
A PCR-based Protocol for In Vitro Selection of Non-crosshybridizing Oligonucleotides.
DNA 2002: 196-204 |
1 | EE | Rajeev Alur,
Calin Belta,
Franjo Ivancic,
Vijay Kumar,
Harvey Rubin,
Jonathan Schug,
Oleg Sokolsky,
Jonathan Webb:
Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks.
HiPC 2002: 702-712 |