Dragan Bošnački

Available identifiers

zbMath Open bosnacki.draganMaRDI QIDQ518408

List of research outcomes

Publication	Date of Publication	Type
RNA-Editing with Combined Insertion and Deletion Preserves Regularity	2019-02-08	Paper
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components	2017-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q2812141	2016-06-16	Paper
Single-variable reaction systems: Deterministic and stochastic models	2010-10-15	Paper
On commutativity based edge lean search	2010-03-15	Paper
Survey on Directed Model Checking	2009-03-17	Paper
Efficient Approximate Verification of Promela Models Via Symmetry Markers	2008-07-03	Paper
On Commutativity Based Edge Lean Search	2007-11-28	Paper
Model Checking Software	2007-09-28	Paper
Model Checking Software	2007-05-02	Paper
Model Checking Software	2006-11-01	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Computational Methods in Systems Biology	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4422067	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q2764000	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2753747	2002-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q2729079	2001-11-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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