Natasa Miskov-Zivanov
According to our database1,
Natasa Miskov-Zivanov
authored at least 33 papers
between 2006 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the Winter Simulation Conference, 2021
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.
Proceedings of the 20th Workshop on Biomedical Language Processing, 2021
2020
Database J. Biol. Databases Curation, 2020
2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
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.
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.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018
Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018
Proceedings of the 2018 ACM International Conference on Bioinformatics, 2018
2017
DiSH simulator: Capturing dynamics of cellular signaling with heterogeneous knowledge.
Proceedings of the 2017 Winter Simulation Conference, 2017
Recipes for Translating Big Data Machine Reading to Executable Cellular Signaling Models.
Proceedings of the Machine Learning, Optimization, and Big Data, 2017
Proceedings of the Computational Methods in Systems Biology, 2017
2016
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016
Proceedings of the Computational Methods in Systems Biology, 2016
2015
Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins.
Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015
Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015
2014
Proceedings of the Computational Methods in Systems Biology, 2014
2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Studies of biological networks with statistical model checking: application to immune system cells.
Proceedings of the ACM Conference on Bioinformatics, 2013
2012
Proceedings of the 2012 IEEE/ACM International Conference on Computer-Aided Design, 2012
2011
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011
Proceedings of the ACM International Conference on Bioinformatics, 2011
2010
Multiple Transient Faults in Combinational and Sequential Circuits: A Systematic Approach.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010
Proceedings of the 47th Design Automation Conference, 2010
2009
A systematic approach to modeling and analysis of transient faults in logic circuits.
Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009
2008
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008
Proceedings of the 2008 International Conference on Computer-Aided Design, 2008
2007
Proceedings of the 8th International Symposium on Quality of Electronic Design (ISQED 2007), 2007
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007
2006
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006
Proceedings of the 43rd Design Automation Conference, 2006