default search action

combined dblp search
author search
venue search
publication search

ask others

Natasa Miskov-Zivanov

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/biodb/HoltzappleTM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/biodb/HoltzappleTM20
Emilee Holtzapple, Cheryl A. Telmer, Natasa Miskov-Zivanov:
FLUTE: Fast and reliable knowledge retrieval from biomedical literature. Database J. Biol. Databases Curation 2020 (2020)
2010
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/Miskov-ZivanovM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/Miskov-ZivanovM10
Natasa Miskov-Zivanov, Diana Marculescu:
Multiple Transient Faults in Combinational and Sequential Circuits: A Systematic Approach. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29(10): 1614-1627 (2010)
2008
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/Miskov-ZivanovM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/Miskov-ZivanovM08
Natasa Miskov-Zivanov, Diana Marculescu:
Modeling and Optimization for Soft-Error Reliability of Sequential Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(5): 803-816 (2008)
2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/Miskov-ZivanovM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/Miskov-ZivanovM06
Natasa Miskov-Zivanov, Diana Marculescu:
Circuit Reliability Analysis Using Symbolic Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(12): 2638-2649 (2006)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/bionlp/HoltzappleCM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bionlp/HoltzappleCM21
Emilee Holtzapple, Brent Cochran, Natasa Miskov-Zivanov:
Context-aware query design combines knowledge and data for efficient reading and reasoning. BioNLP@NAACL-HLT 2021: 238-246
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/embc/AhmedM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/embc/AhmedM21
Yasmine Ahmed, Natasa Miskov-Zivanov:
Guided assembly of cellular network models from knowledge in literature. EMBC 2021: 4458-4464
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/AndjelkovicM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/AndjelkovicM21
Stefan Andjelkovic, Natasa Miskov-Zivanov:
Dish-Trend: Intervention Modeling Simulator That Accounts for Trend Influences. WSC 2021: 1-12
2019
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/aidr/TelmerSBBHHZAM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aidr/TelmerSBBHHZAM19
Cheryl A. Telmer, Khaled Sayed, Adam A. Butchy, Kara N. Bocan, Emilee Holtzapple, Casey E. Hansen, Gaoxiang Zhou, Yasmine Ahmed, Natasa Miskov-Zivanov:
Dynamic system explanation: DySE, a framework that evolves to reason about complex systems - lessons learned. AIDR 2019: 4:1-4:10
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/embc/GilboySSBM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/embc/GilboySSBM19
Kevin Gilboy, Khaled Sayed, Niteesh Sundaram, Kara N. Bocan, Natasa Miskov-Zivanov:
A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Simulator. EMBC 2019: 2895-2899
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BeckerBM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BeckerBM19
Evan W. Becker, Kara N. Bocan, Natasa Miskov-Zivanov:
Nested Event Representation for Automated Assembly of Cell Signaling Network Models. FM Workshops (2) 2019: 480-499
2018
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/bcb/ZhouLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bcb/ZhouLM18
Gaoxiang Zhou, Kai-Wen Liang, Natasa Miskov-Zivanov:
Sensitivity Analysis of Discrete Models and Application in Biological Networks. BCB 2018: 605-606
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/embc/SayedBM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/embc/SayedBM18
Khaled Sayed, Kara Bocan, Natasa Miskov-Zivanov:
Automated Extension of Cell Signaling Models with Genetic Algorithm. EMBC 2018: 5030-5033
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/GilboySSBM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/GilboySSBM18
Kevin Gilboy, Khaled Sayed, Niteesh Sundaram, Kara Bocan, Natasa Miskov-Zivanov:
A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Network Simulator. ISCAS 2018: 1-5
2017
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/LiangWTRSM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/LiangWTRSM17
Kai-Wen Liang, Qinsi Wang, Cheryl Telmer, Divyaa Ravichandran, Peter Spirtes, Natasa Miskov-Zivanov:
Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking. CMSB 2017: 145-159
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/mod/SayedTBM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mod/SayedTBM17
Khaled Sayed, Cheryl A. Telmer, Adam A. Butchy, Natasa Miskov-Zivanov:
Recipes for Translating Big Data Machine Reading to Executable Cellular Signaling Models. MOD 2017: 1-15
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/SayedKKM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/SayedKKM17
Khaled Sayed, Yu-Hsin Kuo, Anuva Kulkarni, Natasa Miskov-Zivanov:
DiSH simulator: Capturing dynamics of cellular signaling with heterogeneous knowledge. WSC 2017: 896-907
2016
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/WangMLFLC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/WangMLFLC16
Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu, James R. Faeder, Michael Lotze, Edmund M. Clarke:
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. CMSB 2016: 289-305
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/Miskov-ZivanovZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/Miskov-ZivanovZ16
Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder:
High-level modeling and verification of cellular signaling. HLDVT 2016: 162-169
2015
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/WangMTC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/WangMTC15
Qinsi Wang, Natasa Miskov-Zivanov, Cheryl Telmer, Edmund M. Clarke:
Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins. ACM Great Lakes Symposium on VLSI 2015: 315-320
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/Miskov-Zivanov15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/Miskov-Zivanov15
Natasa Miskov-Zivanov:
Automation of Biological Model Learning, Design and Analysis. ACM Great Lakes Symposium on VLSI 2015: 327-329
2014
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/Miskov-ZivanovWL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/Miskov-ZivanovWL14
Natasa Miskov-Zivanov, Peter Wei, Chang Sheng Clement Loh:
THiMED: Time in Hierarchical Model Extraction and Design. CMSB 2014: 260-263
2013
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/bcb/Miskov-ZivanovZCF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bcb/Miskov-ZivanovZCF13
Natasa Miskov-Zivanov, Paolo Zuliani, Edmund M. Clarke, James R. Faeder:
Studies of biological networks with statistical model checking: application to immune system cells. BCB 2013: 728
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/Miskov-ZivanovMF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/Miskov-ZivanovMF13
Natasa Miskov-Zivanov, Diana Marculescu, James R. Faeder:
Dynamic behavior of cell signaling networks: model design and analysis automation. DAC 2013: 8:1-8:6
2012
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/Miskov-ZivanovFMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/Miskov-ZivanovFMS12
Natasa Miskov-Zivanov, James R. Faeder, Chris J. Myers, Herbert M. Sauro:
Modeling and design automation of biological circuits and systems. ICCAD 2012: 291-293
2011
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/bcb/Miskov-ZivanovBKVMF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bcb/Miskov-ZivanovBKVMF11
Natasa Miskov-Zivanov, Andrew Bresticker, Deepa Krishnaswamy, Sreesan Venkatakrishnan, Diana Marculescu, James R. Faeder:
Emulation of biological networks in reconfigurable hardware. BCB 2011: 536-540
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/embc/Miskov-ZivanovB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/embc/Miskov-ZivanovB11
Natasa Miskov-Zivanov, Andrew Bresticker, Deepa Krishnaswamy, Sreesan Venkatakrishnan, Prashant Kashinkunti, Diana Marculescu, James R. Faeder:
Regulatory network analysis acceleration with reconfigurable hardware. EMBC 2011: 149-152
2010
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/Miskov-ZivanovM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/Miskov-ZivanovM10
Natasa Miskov-Zivanov, Diana Marculescu:
Formal modeling and reasoning for reliability analysis. DAC 2010: 531-536
2009
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/isqed/Miskov-ZivanovM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isqed/Miskov-ZivanovM09
Natasa Miskov-Zivanov, Diana Marculescu:
A systematic approach to modeling and analysis of transient faults in logic circuits. ISQED 2009: 408-413
2008
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/Miskov-ZivanovWM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/Miskov-ZivanovWM08
Natasa Miskov-Zivanov, Kai-Chiang Wu, Diana Marculescu:
Process variability-aware transient fault modeling and analysis. ICCAD 2008: 685-690
2007
[c3]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/date/Miskov-ZivanovM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/Miskov-ZivanovM07
Natasa Miskov-Zivanov, Diana Marculescu:
Soft error rate analysis for sequential circuits. DATE 2007: 1436-1441
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/isqed/Miskov-ZivanovM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isqed/Miskov-ZivanovM07
Natasa Miskov-Zivanov, Diana Marculescu:
MARS-S: Modeling and Reduction of Soft Errors in Sequential Circuits. ISQED 2007: 893-898
2006
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/Miskov-ZivanovM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/Miskov-ZivanovM06
Natasa Miskov-Zivanov, Diana Marculescu:
MARS-C: modeling and reduction of soft errors in combinational circuits. DAC 2006: 767-772

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-12028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-12028
Kara Bocan, Natasa Miskov-Zivanov:
Mixed-resolution hybrid modeling in an element-based framework. CoRR abs/2406.12028 (2024)
2021
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-01302
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-01302
Stefan Andjelkovic, Natasa Miskov-Zivanov:
DiSH-trend: Intervention Modeling Simulator That Accounts for Trend Influences. CoRR abs/2107.01302 (2021)
2018
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1811-07861
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-07861
Kevin Gilboy, Khaled Sayed, Niteesh Sundaram, Kara Bocan, Natasa Miskov-Zivanov:
A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Network Simulator. CoRR abs/1811.07861 (2018)
2012
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/FeyFMRR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/FeyFMRR12
Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kaushik Roy, Matteo Sonza Reorda:
Verifying Reliability (Dagstuhl Seminar 12341). Dagstuhl Reports 2(8): 57-73 (2012)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.