Author of the publication

Dynamic and Scalable Deep Neural Network Verification Algorithm.

, , and . ICAART (2), page 1122-1130. SCITEPRESS, (2021)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Virtualized network functions chaining and routing algorithms., , and . Comput. Networks, (2017)A mathematical programming approach for full coverage hole optimization in Cloud Radio Access Networks., and . Comput. Networks, (2019)On the design of networks with unicyclic connected components.. 4OR, 11 (2): 197-198 (2013)Scalable and Cost-Efficient Algorithms for Reliable and Distributed Cloud Storage.. CLOSER (Selected Papers), volume 581 of Communications in Computer and Information Science, page 15-37. Springer, (2015)Dynamic and Scalable Deep Neural Network Verification Algorithm., , and . ICAART (2), page 1122-1130. SCITEPRESS, (2021)Edge computing optimization for efficient RRH-BBU assignment in cloud radio access networks., and . Comput. Networks, (2019)Full Coverage Hole Optimization in Cloud Radio Access Networks., , and . GLOBECOM, page 1-7. IEEE, (2018)Mathematical Programming Approach for Revenue Maximization in Cloud Federations., and . IEEE Trans. Cloud Comput., 5 (1): 99-111 (2017)Optimization of maintenance for complex manufacturing systems using stochastic Remaining Useful Life prognostics., , , and . Comput. Ind. Eng., (August 2023)Dynamic Placement of Extended Service Function Chains: Steiner-based Approximation Algorithms., , and . LCN, page 307-310. IEEE, (2018)