( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Finding minimum locating arrays using a CSP solver.

, , , и . CoRR, (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.

Hideharu Umehara

Tomoko Kojima

Hajime Kojima

Taka Bluhme-Kojima

 

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

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