Publisher
Springer Nature Singapore
Reference6 articles.
1. Bouvier, J.B., Nandanoori, S.P., Ornik, M., et al.: Distributed transient safety verification via robust control invariant sets: a microgrid application. arXiv e-prints (2022)
2. Fleszar, K., Slowinski, R., Artalejo, J., et al.: A branch-and-bound algorithm for the quadratic multiple knapsack problem (2022)
3. Xie, Y.: A efficient algorithm for computing k-factor. arXiv e-prints (2022)
4. Franco, S., Jacquin, L., Meller, J., et al.: Integrity verification for a software stack or part of a software stack: US20210232684A1 (2021)
5. Weintraub, G., Kadosh, A.: Integrity verification in cloud key-value stores: US20210334409A1 (2021)