Publications

Jennifer Sager, Darko Stefanovic (2005). Designing Nucleotide Sequences for Computation a Survey of Constraints. DNA11.

Milan N. Stojanovic, Stanka Semova, Dmitry Kolpashchikov, Joanne Macdonald, Clint Morgan, Darko Stefanovic (2005). Deoxyribozyme-Based Ligase Logic Gates and Their Initial Circuits. Journal of the American Chemical Society, 127(19), 6914-6915.

Sergiy Kyrylkov, Darko Stefanovic (2005). Comparison of Garbage Collectors Operating in a Large Address Space. Technical Report TR-CS-2005-11, Department of Computer Science, University of New Mexico.

Elena G. Barrantes, David H. Ackley, Stephanie Forrest, Darko Stefanovic (2005). Randomized Instruction Set Emulation. ACM Transactions on Information and System Security, 8(1), 3-40.

Sergiy Kyrylkov, Darko Stefanovic (2005). A Study of Garbage Collection With a Large Address Space for Server Applications. Technical Report TR-CS-2005-1, Department of Computer Science, University of New Mexico.

Milan N. Stojanovic, Darko Stefanovic, Thomas LaBean, Hao Yan (2005). Computing With Nucleic Acids. I. Willner and E. Katz (eds.), Bioelectronics: From Theory to Applications, Wiley-VCH.

Josh Karlin, Darko Stefanovic, Stephanie Forrest (2004). The Triton Branch Predictor. Technical Report TR-CS-2004-28, Department of Computer Science, University of New Mexico.

Clint Morgan, Darko Stefanovic, Cristopher Moore, Milan N. Stojanovic (2004). Building the Components for a Biomolecular Computer. DNA10.

Elena G. Barrantes, David H. Ackley, Stephanie Forrest, Trek S. Palmer, Darko Stefanovic, Dino Dai Zovi (2003). Randomized Instruction Set Emulation to Disrupt Binary Code Injection Attacks. CCS.

John Cochran, Deepak Kapur, Darko Stefanovic (2003). Model Checking Reconfigurable Processor Configurations for Safety Properties. FPL.