Natasa Miskov-Zivanov - Publications

Affiliations: 
2008 ECE Carnegie Mellon University, Pittsburgh, PA 

20 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Wang Q, Miskov-Zivanov N, Liu B, Faeder JR, Lotze M, Clarke EM. Formal modeling and analysis of pancreatic cancer microenvironment Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9859: 289-305. DOI: 10.1007/978-3-319-45177-0_18  1
2015 Hawse WF, Sheehan RP, Miskov-Zivanov N, Menk AV, Kane LP, Faeder JR, Morel PA. Cutting Edge: Differential Regulation of PTEN by TCR, Akt, and FoxO1 Controls CD4+ T Cell Fate Decisions. Journal of Immunology (Baltimore, Md. : 1950). 194: 4615-9. PMID 25855357 DOI: 10.4049/Jimmunol.1402554  1
2015 Wang Q, Telmer C, Miskov-Zivanov N, Clarke EM. Formal analysis provides parameters for guiding hyperoxidation in bacteria using phototoxic proteins Proceedings of the Acm Great Lakes Symposium On Vlsi, Glsvlsi. 20: 315-320. DOI: 10.1145/2742060.2743762  1
2014 Morel PA, Faeder JR, Hawse WF, Miskov-Zivanov N. Modeling the T cell immune response: a fascinating challenge. Journal of Pharmacokinetics and Pharmacodynamics. 41: 401-13. PMID 25155903 DOI: 10.1007/S10928-014-9376-Y  1
2013 Miskov-Zivanov N, Turner MS, Kane LP, Morel PA, Faeder JR. The duration of T cell stimulation is a critical determinant of cell fate and plasticity. Science Signaling. 6: ra97. PMID 24194584 DOI: 10.1126/Scisignal.2004217  1
2013 Miskov-Zivanov N, Zuliani P, Clarke EM, Faeder JR. Studies of biological networks with statistical model checking: Application to immune system cells 2013 Acm Conference On Bioinformatics, Computational Biology and Biomedical Informatics, Acm-Bcb 2013. 728-729. DOI: 10.1145/2506583.2512390  1
2013 Miskov-Zivanov N, Marculescu D, Faeder JR. Dynamic behavior of cell signaling networks - Model design and analysis automation Proceedings - Design Automation Conference. DOI: 10.1145/2463209.2488743  1
2013 Vodovotz Y, Azhar N, Miskov-Zivanov N, Buliga M, Zamora R, Ermentrout B, Constantine GM, Faeder JR, Pakpour N, Luckhart S. Modeling host-vector-pathogen immuno-inflammatory interactions in malaria Complex Systems and Computational Biology Approaches to Acute Inflammation. 265-279. DOI: 10.1007/978-1-4614-8008-2_14  1
2012 Miskov-Zivanov N, Faeder JR, Myers CJ, Sauro HM. Modeling and design automation of biological circuits and systems Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 291-293.  1
2011 Miskov-Zivanov N, Bresticker A, Krishnaswamy D, Venkatakrishnan S, Kashinkunti P, Marculescu D, Faeder JR. Regulatory network analysis acceleration with reconfigurable hardware. Conference Proceedings : ... Annual International Conference of the Ieee Engineering in Medicine and Biology Society. Ieee Engineering in Medicine and Biology Society. Annual Conference. 2011: 149-52. PMID 22254272 DOI: 10.1109/IEMBS.2011.6089916  1
2011 Miskov-Zivanov N, Bresticker A, Krishnaswamy D, Venkatakrishnan S, Marculescu D, Faeder JR. Emulation of biological networks in reconfigurable hardware 2011 Acm Conference On Bioinformatics, Computational Biology and Biomedicine, Bcb 2011. 536-540. DOI: 10.1145/2147805.2147893  1
2010 Miskov-Zivanov N, Marculescu D. Formal modeling and reasoning for reliability analysis Proceedings - Design Automation Conference. 531-536. DOI: 10.1145/1837274.1837406  1
2010 Miskov-Zivanov N, Marculescu D. Multiple transient faults in combinational and sequential circuits: A systematic approach Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 29: 1614-1627. DOI: 10.1109/Tcad.2010.2061131  1
2009 Miskov-Zivanov N, Marculescu D. A systematic approach to modeling and analysis of transient faults in logic circuits Proceedings of the 10th International Symposium On Quality Electronic Design, Isqed 2009. 408-413. DOI: 10.1109/ISQED.2009.4810329  1
2008 Miskov-Zivanov N, Marculescu D. Modeling and optimization for soft-error reliability of sequential circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 27: 803-816. DOI: 10.1109/Tcad.2008.917591  1
2008 Miskov-Zivanov N, Wu KC, Marculescu D. Process variability-aware transient fault modeling and analysis Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 685-690. DOI: 10.1109/ICCAD.2008.4681651  1
2007 Miskov-Zivanov N, Marculescu D. MARS-S: Modeling and reduction of soft errors in sequential circuits Proceedings - Eighth International Symposium On Quality Electronic Design, Isqed 2007. 893-898. DOI: 10.1109/ISQED.2007.100  1
2007 Miskov-Zivanov N, Marculescu D. Soft error rate analysis for sequential circuits Proceedings -Design, Automation and Test in Europe, Date. 1436-1441. DOI: 10.1109/DATE.2007.364500  1
2006 Miskov-Zivanov N, Marculescu D. MARS-C: Modeling and reduction of soft errors in combinational circuits Proceedings - Design Automation Conference. 767-772. DOI: 10.1145/1146909.1147104  1
2006 Miskov-Zivanov N, Marculescu D. Circuit reliability analysis using symbolic techniques Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 25: 2638-2649. DOI: 10.1109/Tcad.2006.882592  1
Show low-probability matches.