MARS-C: modeling and reduction of soft errors in combinational circuits. - Natasa Miskov-Zivanov; Diana Marculescu (DAC, 2006)

Circuit Reliability Analysis Using Symbolic Techniques. - Natasa Miskov-Zivanov; Diana Marculescu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Soft error rate analysis for sequential circuits. - Natasa Miskov-Zivanov; Diana Marculescu (DATE, 2007)

MARS-S: Modeling and Reduction of Soft Errors in Sequential Circuits. - Natasa Miskov-Zivanov; Diana Marculescu (ISQED, 2007)

Process variability-aware transient fault modeling and analysis. - Natasa Miskov-Zivanov; Kai-Chiang Wu; Diana Marculescu (ICCAD, 2008)

Modeling and Optimization for Soft-Error Reliability of Sequential Circuits. - Natasa Miskov-Zivanov; Diana Marculescu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

A systematic approach to modeling and analysis of transient faults in logic circuits. - Natasa Miskov-Zivanov; Diana Marculescu (ISQED, 2009)

Formal modeling and reasoning for reliability analysis. - Natasa Miskov-Zivanov; Diana Marculescu (DAC, 2010)

Multiple Transient Faults in Combinational and Sequential Circuits: A Systematic Approach. - Natasa Miskov-Zivanov; Diana Marculescu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Emulation of biological networks in reconfigurable hardware. - Natasa Miskov-Zivanov; Andrew Bresticker; Deepa Krishnaswamy; Sreesan Venkatakrishnan; Diana Marculescu; James R. Faeder (BCB, 2011)

Regulatory network analysis acceleration with reconfigurable hardware. - Natasa Miskov-Zivanov; Andrew Bresticker; Deepa Krishnaswamy; Sreesan Venkatakrishnan; Prashant Kashinkunti; Diana Marculescu; James R. Faeder (EMBC, 2011)

Modeling and design automation of biological circuits and systems. - Natasa Miskov-Zivanov; James R. Faeder; Chris J. Myers; Herbert M. Sauro (ICCAD, 2012)

Verifying Reliability (Dagstuhl Seminar 12341). - Görschwin Fey; Masahiro Fujita; Natasa Miskov-Zivanov; Kaushik Roy 001; Matteo Sonza Reorda (Dagstuhl Reports, 2012)

Studies of biological networks with statistical model checking: application to immune system cells. - Natasa Miskov-Zivanov; Paolo Zuliani; Edmund M. Clarke; James R. Faeder (BCB, 2013)

Dynamic behavior of cell signaling networks: model design and analysis automation. - Natasa Miskov-Zivanov; Diana Marculescu; James R. Faeder (DAC, 2013)

THiMED: Time in Hierarchical Model Extraction and Design. - Natasa Miskov-Zivanov; Peter Wei; Chang Sheng Clement Loh (CMSB, 2014)

Automation of Biological Model Learning, Design and Analysis. - Natasa Miskov-Zivanov (ACM Great Lakes Symposium on VLSI, 2015)

Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins. - Qinsi Wang; Natasa Miskov-Zivanov; Cheryl Telmer; Edmund M. Clarke (ACM Great Lakes Symposium on VLSI, 2015)

Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. - Qinsi Wang; Natasa Miskov-Zivanov; Bing Liu 013; James R. Faeder; Michael Lotze; Edmund M. Clarke (CMSB, 2016)

High-level modeling and verification of cellular signaling. - Natasa Miskov-Zivanov; Paolo Zuliani; Qinsi Wang; Edmund M. Clarke; James R. Faeder (HLDVT, 2016)

Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking. - Kai-Wen Liang; Qinsi Wang; Cheryl Telmer; Divyaa Ravichandran; Peter Spirtes; Natasa Miskov-Zivanov (CMSB, 2017)

Recipes for Translating Big Data Machine Reading to Executable Cellular Signaling Models. - Khaled Sayed; Cheryl A. Telmer; Adam A. Butchy; Natasa Miskov-Zivanov (MOD, 2017)

DiSH simulator: Capturing dynamics of cellular signaling with heterogeneous knowledge. - Khaled Sayed; Yu-Hsin Kuo; Anuva Kulkarni; Natasa Miskov-Zivanov (WSC, 2017)

Sensitivity Analysis of Discrete Models and Application in Biological Networks. - Gaoxiang Zhou; Kai-Wen Liang; Natasa Miskov-Zivanov (BCB, 2018)

Automated Extension of Cell Signaling Models with Genetic Algorithm. - Khaled Sayed; Kara Bocan; Natasa Miskov-Zivanov (EMBC, 2018)

A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Network Simulator. - Kevin Gilboy; Khaled Sayed; Niteesh Sundaram; Kara Bocan; Natasa Miskov-Zivanov (ISCAS, 2018)

Dynamic system explanation: DySE, a framework that evolves to reason about complex systems - lessons learned. - Cheryl A. Telmer; Khaled Sayed; Adam A. Butchy; Kara N. Bocan; Emilee Holtzapple; Casey E. Hansen; Gaoxiang Zhou; Yasmine Ahmed; Natasa Miskov-Zivanov (AIDR, 2019)

A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Simulator. - Kevin Gilboy; Khaled Sayed; Niteesh Sundaram; Kara N. Bocan; Natasa Miskov-Zivanov (EMBC, 2019)

Nested Event Representation for Automated Assembly of Cell Signaling Network Models. - Evan W. Becker; Kara N. Bocan; Natasa Miskov-Zivanov (FM Workshops (2), 2019)

FLUTE: Fast and reliable knowledge retrieval from biomedical literature. - Emilee Holtzapple; Cheryl A. Telmer; Natasa Miskov-Zivanov (Database J. Biol. Databases Curation, 2020)

Context-aware query design combines knowledge and data for efficient reading and reasoning. - Emilee Holtzapple; Brent Cochran; Natasa Miskov-Zivanov (BioNLP@NAACL-HLT, 2021)

Guided assembly of cellular network models from knowledge in literature. - Yasmine Ahmed; Natasa Miskov-Zivanov (EMBC, 2021)

Dish-Trend: Intervention Modeling Simulator That Accounts for Trend Influences. - Stefan Andjelkovic; Natasa Miskov-Zivanov (WSC, 2021)

Mixed-resolution hybrid modeling in an element-based framework. - Kara Bocan; Natasa Miskov-Zivanov (CoRR, 2024)

An open-set semi-supervised multi-task learning framework for context classification in biomedical texts. - Difei Tang; Thomas Yu Chow Tam; Haomiao Luo; Cheryl A. Telmer; Natasa Miskov-Zivanov (J. Biomed. Informatics, 2025)