( en | de | ru )

 

Disambiguierung von "Bosnacki, Dragan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Commutativity Based Edge Lean Search.

, , , und . ICALP, Volume 4596 von Lecture Notes in Computer Science, Seite 158-170. Springer, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Silvia Dragan

Dragan Dinulovic

Dragan Gligorievski

Dragan Griebel

Dragan Stanojevic

 

Weitere Publikationen von Autoren mit dem selben Namen

Cluster-Based Partial-Order Reduction., , und . Autom. Softw. Eng., 11 (4): 365-402 (2004)Efficient Approximate Verification of Promela Models Via Symmetry Markers., , , und . ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 300-315. Springer, (2007)A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness.. SPIN, Volume 2648 von Lecture Notes in Computer Science, Seite 89-103. Springer, (2003)Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking., und . SPIN, Volume 7385 von Lecture Notes in Computer Science, Seite 98-116. Springer, (2012)Model checking: recent improvements and applications., und . Int. J. Softw. Tools Technol. Transf., 20 (5): 493-497 (2018)Parallel probabilistic model checking on general purpose graphics processors., , , und . Int. J. Softw. Tools Technol. Transf., 13 (1): 21-35 (2011)Self-Supervised Multiple Instance Learning for Acute Myeloid Leukemia Classification., , , und . CoRR, (2024)Mining Maximal Frequent Subgraphs in KEGG Reaction Networks., , und . DEXA Workshops, Seite 213-217. IEEE Computer Society, (2009)Symmetric Spin., , und . SPIN, Volume 1885 von Lecture Notes in Computer Science, Seite 1-19. Springer, (2000)Using Fairness to Make Abstractions Work., , und . SPIN, Volume 2989 von Lecture Notes in Computer Science, Seite 198-215. Springer, (2004)