Journal articles

1. 1.N. Miskov-Zivanov, M. S. Turner, L. P. Kane, P. A. Morel, J. R. Faeder, “The duration of T cell stimulation is a critical determinant of cell fate and plasticity,” in Science Signaling, 6, ra97, November 2013 [link].
   

2. 2.N. Miskov-Zivanov and D. Marculescu, “Multiple Transient Faults in Combinational and Sequential Circuits: A Systematic Approach,” in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), pp. 1614-1627, October 2010 [tcad10.pdf].
   

3. 3.N. Miskov-Zivanov and D. Marculescu, “Modeling and Optimization for Soft-Error Reliability of Sequential Circuits,” in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 27, No. 5, pp. 803-816, May 2008 (short-listed in top ten accessed TCAD papers in August 2008) [tcad08.pdf].
   

4. 4.N. Miskov-Zivanov and D. Marculescu, “Circuit Reliability Analysis Using Symbolic Techniques,” in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 25, No. 12, pp. 2638-2649, December 2006 [tcad06.pdf].
   

Conference proceeding papers

1. 1.N. Miskov-Zivanov, P. Zuliani, E. M. Clarke, and J. R. Faeder, "Studies of biological networks with statistical model checking: application to immune system cells," in Proc. of ACM Conference on Bioinformatics, Computational Biology and Biomedicine (ACM-BCB), September 2013, pp. 728 [link].
   

2. 2.N. Miskov-Zivanov, D. Marculescu, and J. R. Faeder, "Dynamic behavior of cell signaling networks: model design and analysis automation." in Proc. of Design Automation Conference (DAC), pp. 1-6, June 2013 [link].
   

3. 3.N. Miskov-Zivanov, J. R. Faeder, C. J. Myers, and H. M. Sauro. "Modeling and design automation of biological circuits and systems," in Proc. of International Conference of Computer-Aided Design (ICCAD), pp. 291-293, November 2012 [link].
   

4. 4.N. Miskov-Zivanov, A. Bresticker, S. Venkatakrishnan, P. Kashinkunti, D.  Krishnaswamy, D. Marculescu and J. R. Faeder, "Regulatory Network Analysis Acceleration with Reconfigurable Hardware," in Proc. of International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), September 2011 [embc11.pdf].
   

5. 5.N. Miskov-Zivanov, A. Bresticker, D. Krishnaswamy, S. Venkatakrishnan, D. Marculescu and J. R. Faeder, "Emulation of Biological Networks in Reconfigurable Hardware," in Proc. of ACM Conference on Bioinformatics, Computational Biology and Biomedicine (ACM-BCB), August 2011 [acm-bcb11.pdf].
   

6. 6.N. Miskov-Zivanov and D. Marculescu, “Modeling and Analysis of SER in Combinational Circuits,” invited paper, in Proc. of IEEE Workshop on Silicon Errors in Logic – System Effects (SELSE), March 2010 [selse10.pdf].
   

7. 7.N. Miskov-Zivanov and D. Marculescu, “Formal Modeling and Reasoning for Reliability Analysis,” invited paper, in Proc. of Design Automation Conference (DAC), pp. 531-536, June 2010 [dac10.pdf].
   

8. 8.N. Miskov-Zivanov, K.-C. Wu and D. Marculescu, “Process Variability-Aware Transient Fault Modeling  and Analysis,” in Proc. of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pp. 685-690, November 2008 (Acceptance rate = 122/458 = 26.64%) [iccad08.pdf].
   

9. 9.N. Miskov-Zivanov and D. Marculescu, “A Systematic Approach to Modeling and Analysis of Transient Faults in Logic Circuits,” in Proc. of IEEE International Symposium on Quality Electronic Design (ISQED), March 2008 (Acceptance rate = 90/300 = 30%) [isqed08.pdf].
   

10. 10.N. Miskov-Zivanov and D. Marculescu, “Soft Error Rate Analysis for Sequential Circuits,” in Proc. of Design, Automation and Test in Europe (DATE), pp. 1436-1441, April 2007 (short-listed for best papers in 2007 for ten years of DATE) (Acceptance rate = 208/933 = 22.3%) [date07.pdf].
    

11. 11.N. Miskov-Zivanov and D. Marculescu, “MARS-S: Modeling and Reduction of Soft Errors in Sequential Circuits,” in Proc. of IEEE International Symposium on Quality Electronic Design (ISQED), pp. 893-898, March 2007 (best paper award nomination) (Acceptance rate = 93/292 = 31%) [isqed07.pdf].
    

12. 12.N. Miskov-Zivanov and D. Marculescu, “MARS-C: Modeling and Reduction of Soft Errors in Combinational Circuits,” in Proc. of Design Automation Conference (DAC), pp. 767-772, July 2006 (Acceptance rate = 209/865 = 24%) [dac06.pdf].
    

13. 13.N. Miskov-Zivanov and D. Marculescu, “Circuit Reliability Analysis Using Symbolic Techniques,” in Proc. of International Workshop on Logic and Synthesis (IWLS), June 2005.
    

14. 14.Z. D. Jelicic, N. Miskov, and D. Petrovacki, “Extended LQR control for first-order plus time-delay system,” in Proc. of International Symposium on Interdisciplinary Regional Research (Hungary, Romania, Yugoslavia), Novi Sad, Yugoslavia, 2002.
    

Book chapters

1. 1.Y. Vodovotz, N. Azhar, N. Miskov-Zivanov, M. Buliga, R. Zamora, B. Ermentrout, G. Constantine, J. Faeder, S. Luckhart, Modeling Host-Vector-Pathogen Immuno-inflammatory Interactions in Malaria, in Complex Systems and Computational Biology Approaches to Acute Inflammation, pp. 265-279, Springer New York, 2013 [link].
   

Invited articles

1. 1.N. Miskov-Zivanov, “ What is Biological Design Automation,” What is? Column in ACM SIGDA E-Newsletter, December 2011.
   

Conference proceeding abstracts

1. 1.N. Miskov-Zivanov, M. S. Turner, L. P. Kane, P. A. Morel, and J. R. Faeder, "Model predicts timing of T cell stimulation is critical for T cell fate," Cold Spring Harbor Laboratory Computational Cell Biology Meeting, March 2013.
   

2. 2.N. Miskov-Zivanov, S. Luckhart, Y. Vodovotz, D. Marculescu, J. R. Faeder, "Circuit design techniques for automated construction of mosquito immune response model in malaria infection," Cold Spring Harbor Laboratory Computational Cell Biology Meeting, March 2013.
   

3. 3.N. Miskov-Zivanov, P. Zuliani, P. Morel, E. Clarke and J. Faeder, "Model checking for studying temporal behavior in cell differentiation," in Proc. of q-bio Conference on Cellular Information Processing, August 2012.
   

4. 4.N. Miskov-Zivanov, P. Zuliani, P. Morel, E. Clarke and J. Faeder, "Model checking for studying timing of events in T cell differentiation," in Proc. of International Workshop on Bio-Design Automation (IWBDA), June 2012.
   

5. 5.N. Miskov-Zivanov, D. Marculescu, P. Morel and J. R. Faeder, "Automating the construction of discrete models of biological systems," in Proc. of q-bio Conference on Cellular Information Processing, August 2011.
   

6. 6.N. Miskov-Zivanov, A. Bresticker, D. Krishnaswamy, S. Venkatakrishnan, D. Marculescu and J. R. Faeder, "Emulation of Biological Networks in FPGA," in Proc. of International Workshop on Bio-Design Automation (IWBDA), June 2011.
   

7. 7.N. Miskov-Zivanov, A. Bresticker, D. Krishnaswamy, S. Venkatakrishnan, D. Marculescu and J. R. Faeder, "Emulation of Biological Networks in Reconfigurable Hardware," Computational Cell Biology Meeting at Cold Spring Harbor Laboratory, March 2011.
   

8. 8.N. Miskov-Zivanov, M. S. Turner, P. A. Morel and J. R. Faeder, "T cell differentiation modeling and analysis through circuit design," Computational Cell Biology Meeting at Cold Spring Harbor Laboratory, March 2011.
   

9. 9.N. Miskov-Zivanov, M. S. Turner, P. A. Morel and J. R. Faeder, "Peripheral T Cell Differentiation Modeling," 14th Annual Meeting of the Translational Research Cancer Centers Consortium (TRC3), February 2011.
   

10. 10.N. Miskov-Zivanov, J. Sekar, M. Turner, L. Kane, P. Morel and J. R. Faeder, “Modeling of Peripheral T Cell Differentiation,” in Proc. of q-bio Conference on Cellular Information Processing, August 2010.
    

11. 11.N. Miskov-Zivanov, J. Sekar, M. Turner, P. Morel and J. R. Faeder, “Logical model of the differentiation of naïve T cells into regulatory and effector cells,” Society for Industrial and Applied Mathematics (SIAM) Conference on the Life Sciences (LS), July 2010.
    

12. 12.N. Miskov-Zivanov, J. Sekar, M. Turner, L. Kane, P. Morel and J. R. Faeder, “Logical Modeling of Peripheral T Cell Differentiation,” in Proc. of International Workshop on Bio-Design Automation (IWBDA), June 2010.
    

13. 13.J. Sekar, N. Miskov-Zivanov, P. Morel, M. Turner and J. R. Faeder, “Modeling of the peripheral naïve T-cell differentiation,” Annual Meeting of the American Association of Immunologists (AAI), May 2010.
    

Editorials

1. 1.L. Bleris, N. Miskov-Zivanov, and Chris J Myers, “IWBDA 2012 Special Issue, “ in ACS Synthetic Biology, Vol.2, Issue 5, pp. 203, 2013 [link].
   

Seminar reports

1. 1.G. Fey, M. Fujita, N. Miskov-Zivanov, K. Roy, M. Sonza Reorda, "Verifying Reliability," in Dagstuhl Seminar Reports, Vol. 2, No. 8, pp. 57-73, 2012 [link].
   

Technical reports

1. 1.N. Miskov-Zivanov and D. Marculescu, “Symbolic Analysis of Circuit Reliability (extended version),” No. CSSI 06-13, June 2006.
   

2. 2.N. Miskov-Zivanov and D. Marculescu, “MARS-C: Modeling and Reduction of Soft Errors in Combinational Circuits,” No. CSSI 06-05, December 2005.
   

3. 3.N. Miskov-Zivanov, “Symbolic Analysis of Circuit Reliability,” No. CSSI 06-02, May 2005.