( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Dependency safety for Java - Implementing and testing failboxes.

, , , , , , и . Sci. Comput. Program., (2019)

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.

Silvia Dragan

Dragan Griebel

Dragan Gligorievski

Dragan Dinulovic

Dragan Stanojevic

 

Другие публикации лиц с тем же именем

Efficient Approximate Verification of Promela Models Via Symmetry Markers., , , и . ATVA, том 4762 из Lecture Notes in Computer Science, стр. 300-315. Springer, (2007)A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness.. SPIN, том 2648 из Lecture Notes in Computer Science, стр. 89-103. Springer, (2003)Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking., и . SPIN, том 7385 из Lecture Notes in Computer Science, стр. 98-116. Springer, (2012)Cluster-Based Partial-Order Reduction., , и . Autom. Softw. Eng., 11 (4): 365-402 (2004)Parallel probabilistic model checking on general purpose graphics processors., , , и . Int. J. Softw. Tools Technol. Transf., 13 (1): 21-35 (2011)Model checking: recent improvements and applications., и . Int. J. Softw. Tools Technol. Transf., 20 (5): 493-497 (2018)Self-Supervised Multiple Instance Learning for Acute Myeloid Leukemia Classification., , , и . CoRR, (2024)Mining Maximal Frequent Subgraphs in KEGG Reaction Networks., , и . DEXA Workshops, стр. 213-217. IEEE Computer Society, (2009)Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components., , и . Formal Methods Syst. Des., 48 (3): 274-300 (2016)Reconn: a Cytoscape Plug-in for Exploring and Visualizing Reactome., , и . J. Bioinform. Comput. Biol., (2013)