Natasa Miskov-Zivanov

According to our database, Natasa Miskov-Zivanov authored at least 34 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Mixed-resolution hybrid modeling in an element-based framework.

Kara Bocan, Natasa Miskov-Zivanov

CoRR, 2024

2021

Dish-Trend: Intervention Modeling Simulator That Accounts for Trend Influences.

Stefan Andjelkovic, Natasa Miskov-Zivanov

Proceedings of the Winter Simulation Conference, 2021

Guided assembly of cellular network models from knowledge in literature.

Yasmine Ahmed, Natasa Miskov-Zivanov

Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

Context-aware query design combines knowledge and data for efficient reading and reasoning.

Emilee Holtzapple, Brent Cochran, Natasa Miskov-Zivanov

Proceedings of the 20th Workshop on Biomedical Language Processing, 2021

2020

FLUTE: Fast and reliable knowledge retrieval from biomedical literature.

Emilee Holtzapple, Cheryl A. Telmer, Natasa Miskov-Zivanov

Database J. Biol. Databases Curation, 2020

2019

Nested Event Representation for Automated Assembly of Cell Signaling Network Models.

Evan W. Becker, Kara N. Bocan, Natasa Miskov-Zivanov

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Simulator.

Kevin Gilboy, Khaled Sayed, Niteesh Sundaram, Kara N. Bocan, Natasa Miskov-Zivanov

Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

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

Proceedings of the Conference on Artificial Intelligence for Data Discovery and Reuse, 2019

2018

A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Network Simulator.

Kevin Gilboy, Khaled Sayed, Niteesh Sundaram, Kara Bocan, Natasa Miskov-Zivanov

Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Automated Extension of Cell Signaling Models with Genetic Algorithm.

Khaled Sayed, Kara Bocan, Natasa Miskov-Zivanov

Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018

Sensitivity Analysis of Discrete Models and Application in Biological Networks.

Gaoxiang Zhou, Kai-Wen Liang, Natasa Miskov-Zivanov

Proceedings of the 2018 ACM International Conference on Bioinformatics, 2018

2017

DiSH simulator: Capturing dynamics of cellular signaling with heterogeneous knowledge.

Khaled Sayed, Yu-Hsin Kuo, Anuva Kulkarni, Natasa Miskov-Zivanov

Proceedings of the 2017 Winter Simulation Conference, 2017

Recipes for Translating Big Data Machine Reading to Executable Cellular Signaling Models.

Khaled Sayed, Cheryl A. Telmer, Adam A. Butchy, Natasa Miskov-Zivanov

Proceedings of the Machine Learning, Optimization, and Big Data, 2017

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

Proceedings of the Computational Methods in Systems Biology, 2017

2016

High-level modeling and verification of cellular signaling.

Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Formal Modeling and Analysis of Pancreatic Cancer Microenvironment.

Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu, James R. Faeder, Michael Lotze, Edmund M. Clarke

Proceedings of the Computational Methods in Systems Biology, 2016

2015

Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins.

Qinsi Wang, Natasa Miskov-Zivanov, Cheryl Telmer, Edmund M. Clarke

Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015

Automation of Biological Model Learning, Design and Analysis.

Natasa Miskov-Zivanov

Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015

2014

THiMED: Time in Hierarchical Model Extraction and Design.

Natasa Miskov-Zivanov, Peter Wei, Chang Sheng Clement Loh

Proceedings of the Computational Methods in Systems Biology, 2014

2013

Dynamic behavior of cell signaling networks: model design and analysis automation.

Natasa Miskov-Zivanov, Diana Marculescu, James R. Faeder

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Studies of biological networks with statistical model checking: application to immune system cells.

Natasa Miskov-Zivanov, Paolo Zuliani, Edmund M. Clarke, James R. Faeder

Proceedings of the ACM Conference on Bioinformatics, 2013

2012

Verifying Reliability (Dagstuhl Seminar 12341).

Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kaushik Roy, Matteo Sonza Reorda

Dagstuhl Reports, 2012

Modeling and design automation of biological circuits and systems.

Natasa Miskov-Zivanov, James R. Faeder, Chris J. Myers, Herbert M. Sauro

Proceedings of the 2012 IEEE/ACM International Conference on Computer-Aided Design, 2012

2011

Regulatory network analysis acceleration with reconfigurable hardware.

Natasa Miskov-Zivanov, Andrew Bresticker, Deepa Krishnaswamy, Sreesan Venkatakrishnan, Prashant Kashinkunti, Diana Marculescu, James R. Faeder

Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Emulation of biological networks in reconfigurable hardware.

Natasa Miskov-Zivanov, Andrew Bresticker, Deepa Krishnaswamy, Sreesan Venkatakrishnan, Diana Marculescu, James R. Faeder

Proceedings of the ACM International Conference on Bioinformatics, 2011

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

Formal modeling and reasoning for reliability analysis.

Natasa Miskov-Zivanov, Diana Marculescu

Proceedings of the 47th Design Automation Conference, 2010

2009

A systematic approach to modeling and analysis of transient faults in logic circuits.

Natasa Miskov-Zivanov, Diana Marculescu

Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

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

Process variability-aware transient fault modeling and analysis.

Natasa Miskov-Zivanov, Kai-Chiang Wu, Diana Marculescu

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

2007

MARS-S: Modeling and Reduction of Soft Errors in Sequential Circuits.

Natasa Miskov-Zivanov, Diana Marculescu

Proceedings of the 8th International Symposium on Quality of Electronic Design (ISQED 2007), 2007

Soft error rate analysis for sequential circuits.

Natasa Miskov-Zivanov, Diana Marculescu

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

Circuit Reliability Analysis Using Symbolic Techniques.

Natasa Miskov-Zivanov, Diana Marculescu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

MARS-C: modeling and reduction of soft errors in combinational circuits.

Natasa Miskov-Zivanov, Diana Marculescu

Proceedings of the 43rd Design Automation Conference, 2006