( en | de | ru )

 

Disambiguierung von "Kojima, Hideharu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finding minimum locating arrays using a CSP solver.

, , , und . CoRR, (2019)

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.

Hideharu Umehara

Tomoko Kojima

Hajime Kojima

Taka Bluhme-Kojima

 

Weitere Publikationen von Autoren mit dem selben Namen

Finding minimum locating arrays using a CSP solver., , , und . CoRR, (2019)Using simulated annealing for locating array construction., , , und . CoRR, (2019)A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN., und . ISSRE Workshops, Seite 124-125. IEEE, (2019)A New Generation Children Tracking System Using Bluetooth MANET Composed of Android Mobile Terminals., , , , , , , und . UIC/ATC, Seite 405-407. IEEE Computer Society, (2012)Implementing Access Control in Chaincodes on Hyperledger Fabric with Attribute-Based Encryption., , , und . ICSA Companion, Seite 193-196. IEEE, (2022)Applying Parameter Value Weighting to a Practical Application., , , und . ISSRE Workshops, Seite 130-131. IEEE Computer Society, (2014)Resource Management Middleware Using Mobile Agents for Mobile Ad Hoc Networks., , , , und . ICDCS Workshops, Seite 1-6. IEEE Computer Society, (2010)Maximizing Availability of Consistent Data in Unreliable Networks., , und . ICPADS, Seite 117-123. IEEE Computer Society, (2012)Finding Minimum Locating Arrays Using a SAT Solver., , , und . ICST Workshops, Seite 276-277. IEEE Computer Society, (2017)State space reduction techniques for model checking of MANET protocols., , und . Int. J. Netw. Comput., 7 (1): 29-49 (2017)