Dragan Bošnački

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
RNA-editing with combined insertion and deletion preserves regularity Scientific Annals of Computer Science	2019-02-08	Paper
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components Formal Methods in System Design	2017-03-28	Paper
Parallel algorithms for transitive reduction for weighted graphs Mathematica Macedonica	2016-06-16	Paper
Single-variable reaction systems: Deterministic and stochastic models Mathematical Biosciences	2010-10-15	Paper
On commutativity based edge lean search Annals of Mathematics and Artificial Intelligence	2010-03-15	Paper
Survey on Directed Model Checking Model Checking and Artificial Intelligence	2009-03-17	Paper
Efficient Approximate Verification of Promela Models Via Symmetry Markers Automated Technology for Verification and Analysis	2008-07-03	Paper
On Commutativity Based Edge Lean Search Automata, Languages and Programming	2007-11-28	Paper
Model Checking Software Lecture Notes in Computer Science	2007-09-28	Paper
Model Checking Software Lecture Notes in Computer Science	2007-05-02	Paper
Model Checking Software Lecture Notes in Computer Science	2006-11-01	Paper
FM 2005: Formal Methods Lecture Notes in Computer Science	2006-01-10	Paper
Computational Methods in Systems Biology Lecture Notes in Computer Science	2005-12-23	Paper
scientific article; zbMATH DE number 1973976 (Why is no real title available?)	2003-09-03	Paper
scientific article; zbMATH DE number 1693448 (Why is no real title available?)	2002-01-22	Paper
scientific article; zbMATH DE number 1670549 (Why is no real title available?)	2002-01-06	Paper
scientific article; zbMATH DE number 1629963 (Why is no real title available?)	2001-11-06	Paper

Research outcomes over time

This page was built for person: Dragan Bošnački