PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Miskov-Zivanov, Natasa"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Reliability (Dagstuhl Seminar 12341).

, , , , and . Dagstuhl Reports, 2 (8): 57-73 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Miskov-Zivanov, Natasa
add a person with the name Miskov-Zivanov, Natasa
 

Other publications of authors with the same name

Emulation of biological networks in reconfigurable hardware., , , , , and . BCB, page 536-540. ACM, (2011)Circuit Reliability Analysis Using Symbolic Techniques., and . IEEE Trans. on CAD of Integrated Circuits and Systems, 25 (12): 2638-2649 (2006)Verifying Reliability (Dagstuhl Seminar 12341)., , , , and . Dagstuhl Reports, 2 (8): 57-73 (2012)Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking., , , , , and . CMSB, volume 10545 of Lecture Notes in Computer Science, page 145-159. Springer, (2017)THiMED: Time in Hierarchical Model Extraction and Design., , and . CMSB, volume 8859 of Lecture Notes in Computer Science, page 260-263. Springer, (2014)A systematic approach to modeling and analysis of transient faults in logic circuits., and . ISQED, page 408-413. IEEE Computer Society, (2009)MARS-S: Modeling and Reduction of Soft Errors in Sequential Circuits., and . ISQED, page 893-898. IEEE Computer Society, (2007)DiSH simulator: Capturing dynamics of cellular signaling with heterogeneous knowledge., , , and . WSC, page 896-907. IEEE, (2017)A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Network Simulator., , , , and . ISCAS, page 1-5. IEEE, (2018)Regulatory network analysis acceleration with reconfigurable hardware., , , , , , and . EMBC, page 149-152. IEEE, (2011)