Natasa Miskov-Zivanov

38 papers A* 3A 3C 1Misc 2Journal 10Unranked 19
YearRankTypeTitle / Venue / Authors
2025 J jnl
An open-set semi-supervised multi-task learning framework for context classification in biomedical texts.
J. Biomed. Informatics
Difei Tang, Thomas Yu Chow Tam, Haomiao Luo, Cheryl A. Telmer, Natasa Miskov-Zivanov
2025 J jnl
Automating Knowledge-Driven Model Recommendation: Methodology, Evaluation, and Key Challenges.
IEEE Trans. Comput. Biol. Bioinform.
Adam A. Butchy, Niloofar Arazkhani, Cheryl A. Telmer, Natasa Miskov-Zivanov
2024 J jnl
Mixed-resolution hybrid modeling in an element-based framework.
CoRR
Kara Bocan, Natasa Miskov-Zivanov
2021 — conf
Context-aware query design combines knowledge and data for efficient reading and reasoning.
BioNLP@NAACL-HLT
Emilee Holtzapple, Brent Cochran, Natasa Miskov-Zivanov
2021 J jnl
DiSH-trend: Intervention Modeling Simulator That Accounts for Trend Influences.
CoRR
Stefan Andjelkovic, Natasa Miskov-Zivanov
2021 Misc conf
Dish-Trend: Intervention Modeling Simulator That Accounts for Trend Influences.
WSC
Stefan Andjelkovic, Natasa Miskov-Zivanov
2021 — conf
Guided assembly of cellular network models from knowledge in literature.
EMBC
Yasmine Ahmed, Natasa Miskov-Zivanov
2020 J jnl
FLUTE: Fast and reliable knowledge retrieval from biomedical literature.
Database J. Biol. Databases Curation
Emilee Holtzapple, Cheryl A. Telmer, Natasa Miskov-Zivanov
2019 — conf
A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Simulator.
EMBC
Kevin Gilboy, Khaled Sayed, Niteesh Sundaram, Kara N. Bocan, Natasa Miskov-Zivanov
2019 — conf
Dynamic system explanation: DySE, a framework that evolves to reason about complex systems - lessons learned.
AIDR
Cheryl A. Telmer, Khaled Sayed, Adam A. Butchy, Kara N. Bocan, Emilee Holtzapple, Casey E. Hansen, Gaoxiang Zhou, Yasmine Ahmed, Natasa Miskov-Zivanov
2019 — conf
Nested Event Representation for Automated Assembly of Cell Signaling Network Models.
FM Workshops (2)
Evan W. Becker, Kara N. Bocan, Natasa Miskov-Zivanov
2018 C conf
A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Network Simulator.
ISCAS
Kevin Gilboy, Khaled Sayed, Niteesh Sundaram, Kara Bocan, Natasa Miskov-Zivanov
2018 J jnl
A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Network Simulator.
CoRR
Kevin Gilboy, Khaled Sayed, Niteesh Sundaram, Kara Bocan, Natasa Miskov-Zivanov
2018 — conf
Automated Extension of Cell Signaling Models with Genetic Algorithm.
EMBC
Khaled Sayed, Kara Bocan, Natasa Miskov-Zivanov
2018 — conf
Sensitivity Analysis of Discrete Models and Application in Biological Networks.
BCB
Gaoxiang Zhou, Kai-Wen Liang, Natasa Miskov-Zivanov
2017 Misc conf
DiSH simulator: Capturing dynamics of cellular signaling with heterogeneous knowledge.
WSC
Khaled Sayed, Yu-Hsin Kuo, Anuva Kulkarni, Natasa Miskov-Zivanov
2017 — conf
Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking.
CMSB
Kai-Wen Liang, Qinsi Wang, Cheryl Telmer, Divyaa Ravichandran, Peter Spirtes, Natasa Miskov-Zivanov
2017 — conf
Recipes for Translating Big Data Machine Reading to Executable Cellular Signaling Models.
MOD
Khaled Sayed, Cheryl A. Telmer, Adam A. Butchy, Natasa Miskov-Zivanov
2016 — conf
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment.
CMSB
Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu, James R. Faeder, Michael Lotze, Edmund M. Clarke
2016 — conf
High-level modeling and verification of cellular signaling.
HLDVT
Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder
2015 — conf
Automation of Biological Model Learning, Design and Analysis.
ACM Great Lakes Symposium on VLSI
Natasa Miskov-Zivanov
2015 — conf
Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins.
ACM Great Lakes Symposium on VLSI
Qinsi Wang, Natasa Miskov-Zivanov, Cheryl Telmer, Edmund M. Clarke
2014 — conf
THiMED: Time in Hierarchical Model Extraction and Design.
CMSB
Natasa Miskov-Zivanov, Peter Wei, Chang Sheng Clement Loh
2013 A* conf
Dynamic behavior of cell signaling networks: model design and analysis automation.
DAC
Natasa Miskov-Zivanov, Diana Marculescu, James R. Faeder
2013 — conf
Studies of biological networks with statistical model checking: application to immune system cells.
BCB
Natasa Miskov-Zivanov, Paolo Zuliani, Edmund M. Clarke, James R. Faeder
2012 A conf
Modeling and design automation of biological circuits and systems.
ICCAD
Natasa Miskov-Zivanov, James R. Faeder, Chris J. Myers, Herbert M. Sauro
2012 J jnl
Verifying Reliability (Dagstuhl Seminar 12341).
Dagstuhl Reports
Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kaushik Roy, Matteo Sonza Reorda
2011 — conf
Emulation of biological networks in reconfigurable hardware.
BCB
Natasa Miskov-Zivanov, Andrew Bresticker, Deepa Krishnaswamy, Sreesan Venkatakrishnan, Diana Marculescu, James R. Faeder
2011 — conf
Regulatory network analysis acceleration with reconfigurable hardware.
EMBC
Natasa Miskov-Zivanov, Andrew Bresticker, Deepa Krishnaswamy, Sreesan Venkatakrishnan, Prashant Kashinkunti, Diana Marculescu, James R. Faeder
2010 A* conf
Formal modeling and reasoning for reliability analysis.
DAC
Natasa Miskov-Zivanov, Diana Marculescu
2010 J jnl
Multiple Transient Faults in Combinational and Sequential Circuits: A Systematic Approach.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Natasa Miskov-Zivanov, Diana Marculescu
2009 — conf
A systematic approach to modeling and analysis of transient faults in logic circuits.
ISQED
Natasa Miskov-Zivanov, Diana Marculescu
2008 J jnl
Modeling and Optimization for Soft-Error Reliability of Sequential Circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Natasa Miskov-Zivanov, Diana Marculescu
2008 A conf
Process variability-aware transient fault modeling and analysis.
ICCAD
Natasa Miskov-Zivanov, Kai-Chiang Wu, Diana Marculescu
2007 — conf
MARS-S: Modeling and Reduction of Soft Errors in Sequential Circuits.
ISQED
Natasa Miskov-Zivanov, Diana Marculescu
2007 A conf
Soft error rate analysis for sequential circuits.
DATE
Natasa Miskov-Zivanov, Diana Marculescu
2006 J jnl
Circuit Reliability Analysis Using Symbolic Techniques.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Natasa Miskov-Zivanov, Diana Marculescu
2006 A* conf
MARS-C: modeling and reduction of soft errors in combinational circuits.
DAC
Natasa Miskov-Zivanov, Diana Marculescu