Publications

Joanne Macdonald, Darko Stefanovic, Milan Stojanovic (2009). Molecular Automata. R. A. Meyers (ed.), Encyclopedia of Complexity and System Science, Springer.

Mark Marron, Mario Méndez-Lojo, Manuel Hermenegildo, Darko Stefanovic, Deepak Kapur (2008). Sharing Analysis of Arrays, Collections, and Recursive Structures. PASTE.

Joanne Macdonald, Darko Stefanovic, Milan N. Stojanovic (2008). DNA Computers for Work and Play. Scientific American, 299 (5), 84-91.

Stephen M. Blackburn, Kathryn S. McKinley, Robin Garner, Chris Hoffmann, Asjad M. Khan, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel Von Dincklage, Benjamin Wiedermann (2008). Wake Up and Smell the Coffee: Evaluation Methodology for the 21st Century. Communications of the ACM (Research Highlights), 51 (8), 83-89.

Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel Hermenegildo (2008). Identification of Heap-Carried Data Dependence via Explicit Store Heap Models. LCPC.

Mark Marron, Manuel Hermenegildo, Darko Stefanovic, Deepak Kapur (2008). Efficient Context-Sensitive Shape Analysis With Graph Based Heap Models. CC.

Jennifer Sager, Joseph Farfel, Darko Stefanovic (2008). Nanocomputing. O. Shoseyov and I. Levy (eds.), NanoBioTechnology: BioInspired Devices and Materials of the Future, Humana Press.

Darko Stefanovic (2008). Emerging Models of Computation Directions in Molecular Computing. M. Wirsing, J.-P. Banâtre, M. Hölzl, and A. Rauschmayer (eds.), Software-Intensive Systems and New Computing Paradigms, Springer.

Mark Marron, Darko Stefanovic, Manuel Hermenegildo, Deepak Kapur (2007). Heap Analysis in the Presence of Collection Libraries. PASTE.

E. Green, M. J. Olah, T. Abramova, L. R. Williams, D. Stefanovic, M. N. Stojanovic (2006). A Rational Approach to Minimal High-Resolution Cross-Reactive Arrays. Journal of the American Chemical Society, 128(47), 15278-15282.